Publicações recentes sobre NP? = Pergunta coNP


11

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! = NP).

Cheers, Derek


note algum bom P =? As pesquisas de NP cobrirão isso. A pesquisa Fortnows ACM 2009 não menciona o coNP, mas o Allender 2009 possui algumas breves referências.
vzn

Respostas:


10

NP é igual a coNP se e somente se houver provas de insatisfação eficientemente verificáveis. Ou seja, se e somente se existir uma máquina polinomial de rotação do tempo , que forneça qualquer fórmula SAT ϕ e uma sequência π produz M ( ϕ , π ) = 1 se e somente se ϕ for insatisfatória. A maioria dos teóricos acredita que não existem provas tão eficientes, mas provar que elas não existem resolveria a questão P vs NP. No entanto, houve progresso em mostrar que as provas de um tipo restrito devem necessariamente ter tamanho superpolinomial. Este é o assunto da complexidade da prova: veja o artigo fundamentalMϕπM(ϕ,π)=1ϕde Cook e Reckhow, a pesquisa de Krajicek ou essas notas de aula de Razborov.


7

Como está implícito por @ resposta de Sasho, você terá mais sorte se você procurar a questão equivalente a "existência de um sistema à prova proposicional super" de diretamente para " vs. c o N P ". É a questão central da complexidade da prova proposicional. Uma grande porção da área tem sido em provar inferior limites super-polinomiais para determinados sistemas de prova (em termos da teoria complexidade clássicos, provando que alguns algoritmos não-determinística particulares não pode resolver c O N P problemas em tempo polinomial).NPcoNPcoNP

Sam Buss tem um belo artigo recente que pode ser lido pelo público em geral. Você pode querer verificar:


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.