Corrija um problema de pesquisa completo do NP, por exemplo, o formulário de pesquisa do SAT. A pesquisa de Levin fornece um algoritmo para resolver que é ótimo em algum sentido. Especificamente, o algoritmo é "Execute todos os programas possíveis com a entrada , uma vez que algum retorne a...
Recentemente, fui lembrado sobre o problema vs. N P, conforme explicado por Stephen A. Cook no Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Isso despertou meu interesse e eu gostaria de aprender mais sobre isso. O primeiro passo seria obter uma compreensão mais profunda do problema e...
A pergunta a seguir usa idéias da criptografia aplicada à teoria da complexidade. Dito isso, é uma questão puramente teórica da complexidade e nenhum conhecimento criptográfico é necessário para respondê-lo. Eu deliberadamente escrevo essa pergunta de maneira muito informal. Na falta de detalhes,...
No artigo de Stephen Cook sobre o problema P vs NP, [1] ele afirma o seguinte [2]: Tese de Viabilidade: Um problema natural tem um algoritmo viável se tiver um algoritmo de tempo polinomial. Minha pergunta é: o que exatamente ele (ou, em geral, realmente, o que alguém) quer dizer com "um...
Primeiro, meu entendimento do teorema da incompletude de Gödel (e da lógica formal em geral) é muito ingênuo, e também meu conhecimento sobre ciência da computação teórica (ou seja, apenas um curso de graduação realizado enquanto ainda estou na graduação), então essa pergunta pode ser muito...
Estou interessado na questão de saber se NP é igual a coNP ou não. Eu aprecio muito alguns conselhos sobre boas publicações para ler sobre o assunto. Para o registro, eu sei que esta questão está intimamente ligada à questão de se P é igual a NP ou não (de modo que, se NP! = CoNP, então P! =...
Suponha que P! = NP. Sabemos que podemos criar instâncias fáceis do 3-SAT a qualquer momento. Também podemos gerar o que acreditamos ser instâncias difíceis (porque nossos algoritmos não podem resolvê-los rapidamente). Existe algo que impeça que o conjunto de instâncias rígidas seja...
Para poder explicar o problema P vs NP a não matemáticos, eu gostaria de ter um exemplo pedagógico de quando a busca por força bruta pode ser evitada. Idealmente, o problema deve ser imediatamente compreensível e o truque não deve ser muito fácil nem muito difícil. O melhor que eu vim até agora...
Considere qualquer linguagem . Defina (uma sequência infinita de bits) pela fórmula recursivas ( L ) ∈ { 0 , 1 } ωeuLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )n= χeu( s ( L )< n)s(L)n=χL(s(L)<n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{0:s(L,...