Perguntas com a marcação «big-list»

À luz de Stephen Hawking falecendo hoje, eu queria saber se algum de seus resultados tem impacto direto no cs? O candidato óbvio seria na computação quântica, ou melhor, na construção de um computador quântico físico, mas talvez haja resultados que tenham outro impacto. Estou familiarizado com o trabalho dele …

8 big-list  physics  bibliography 

Em https://en.wikipedia.org/wiki/Geometric_complexity_theory , é mencionado que ".. Ketan Mulmuley acredita que o programa, se viável, provavelmente levará cerca de 100 anos para resolver o problema P vs. NP". Parece indicar que o único programa atualmente viável poderia enfrentar sérios obstáculos. Quais são alguns dos obstáculos em que o programa pode …

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

Quais são as aplicações da complexidade de Kolmogorov na teoria dos números e em campos relacionados a provas? (A monografia de Li & Vitanyi não possui muitas aplicações relacionadas à Teoria dos Números.) Uma das boas provas que encontrei é a prova da existência de um número infinito de números …

8 reference-request  big-list  it.information-theory  kolmogorov-complexity 

Eu sou novo no estudo de sistemas de reescrita como aluno de doutorado no primeiro ano. Gostaria de propor um curso de tópicos especiais sobre a reescrita da teoria e quero ter certeza de não deixar nenhuma das fontes originais de fora. Tenho uma cópia de Barendregt e Terese como …

8 lo.logic  big-list  type-theory  lambda-calculus  term-rewriting-systems