Perguntas com a marcação «proofs»

Desculpe pelo título cativante. Quero entender, o que se deve fazer para refutar a tese de Church-Turing? Em algum lugar que li, é matematicamente impossível fazê-lo! Por quê? Turing, Rosser etc usaram termos diferentes para diferenciar entre: "o que pode ser calculado" e "o que pode ser calculado...

O objetivo desta pergunta é coletar exemplos da ciência da computação teórica em que o uso sistemático de computadores foi útil na construção de uma conjectura que leva a um teorema, falsificar uma abordagem de conjectura ou prova, construir / verificar (partes de) uma prova. Se você tem um...

No MathOverflow, Timothy Gowers fez uma pergunta intitulada " Demonstrando que o rigor é importante ". A maior parte da discussão houve sobre casos mostrando a importância da prova, sobre a qual as pessoas do CSTheory provavelmente não precisam ser convencidas. Na minha experiência, as provas...

Esta é uma pergunta relacionada a esta . Colocando novamente de uma forma muito mais simples, depois de muita discussão lá, parecia uma pergunta totalmente diferente. A prova clássica da indecidibilidade do problema da parada depende de demonstrar uma contradição ao tentar aplicar a si próprio um...

A prova padrão do limite de Chernoff (do livro de algoritmos aleatórios ) usa as funções de desigualdade e geração de momentos de Markov, com um pouco de expansão de Taylor. Nada muito difícil, mas um tanto mecânico. Mas existem outras provas vinculadas a Chernoff que expõem a estrutura mais...

Sabemos que, se você possui uma máquina PSPACE, ela é poderosa o suficiente para fornecer uma prova interativa de qualquer nível da hierarquia polinomial. (E se bem me lembro, tudo o que você precisa é #P.) Mas suponha que você queira fornecer uma prova interativa de associação em um idioma. É...

Eu estava (e ainda estou) realmente interessado na resposta a essa pergunta, porque essa é uma variação interessante da complexidade dos jogos que não foi resolvida, então eu ofereci uma recompensa. Eu pensei que a pergunta original provavelmente era muito difícil, então eu postei três perguntas...

Tenho um interesse crescente na teoria dos grafos espectrais, o que acho fascinante, e comecei a coletar alguns documentos que ainda tenho que ler mais profundamente do que o que tenho até agora. No entanto, estou curioso sobre uma declaração que apareceu em várias fontes (por exemplo, por lá ),...

Existem exemplos de brinquedos que fornecem insights 'essenciais' para a compreensão das três barreiras conhecidas ao problema - relativização, provas naturais e algebrização?P=NPP=NPP =

Estou interessado em exemplos de problemas em que um teorema que aparentemente não tem nada a ver com mecânica / informação quântica (por exemplo, afirma algo sobre objetos puramente clássicos) pode, no entanto, ser provado usando ferramentas quânticas. Uma pesquisa Quantum Proofs for The Classems...

É sabido que qualquer prova que resolva a questão P vs NP deve superar a relativização , provas naturais e barreiras à algebrização . O diagrama a seguir divide o "espaço de prova" em diferentes regiões. Por exemplo, corresponde ao conjunto de provas que relativizam e naturalizam. (Teoria da...

Já faz mais de um ano desde a sua retração e correção em janeiro de 2017. Há novidades? Se não, isso é normal para a validação demorar tanto? Eu esperaria que isso chamasse muita atenção. Alguém de destaque falou para apoiar / duvidar do resultado quase

Eu estava lendo " O P Versus NP é formalmente independente? ", Mas fiquei intrigado. É amplamente aceito na teoria da complexidade que . Minha pergunta é sobre o que se não for possível (digamos no ). (Vamos supor que descobrimos apenas que é independente do mas não há mais informações sobre como...

O lema de bombeamento para linguagens regulares pode ser provado considerando-se um autômato de estado finito que reconhece a linguagem estudada, escolhendo uma corda com um comprimento maior que o número de estados e aplicando o princípio do buraco de pombo. O lema de bombeamento para linguagens...

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...

Recentemente, Watrous et al provaram que QIP (3) = PSPACE é um resultado notável. Este foi um resultado surpreendente para mim, para dizer o mínimo, e isso me fez pensar ... Eu me perguntava e se os Computadores Quânticos pudessem ser eficientemente simulados pelos Computadores Clássicos. Isso...

OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO No entanto, vi poucas pessoas dando uma explicação "direta" para o motivo pelo qual o resultado não é relativizado, e a resposta usual é "aritmetização". Após a inspeção da...

Penso que um teorema da hierarquia de tamanho para a complexidade do circuito pode ser um grande avanço na área. É uma abordagem interessante para a separação de classes? A motivação para a pergunta é que temos que dizer existe alguma função que não pode ser calculada pelos circuitos de...

É sabido que o conjunto de idiomas com sistemas de prova interativa de dois provadores, nos quais o verificador é executado em tempo polinomial (MIP), é NEXP. Mas existem limites conhecidos sobre o poder de tais provas interativas quando os provadores têm um poder restrito? Por exemplo, qual é a...

Uma cobertura de aresta é um subconjunto de arestas de um gráfico, de modo que todos os vértices do gráfico sejam adjacentes a pelo menos uma aresta da cobertura. Os dois documentos a seguir dizem que a contagem de capas de arestas é #P : Um FPTAS simples para contar capas de arestas e gerar capas...