como oráculo

12

Faz NPNPcoNP=NPespera?

Claramente NPNPNP , mas parece-me que NPcoNP é "determinístico", o que me faz acreditar que isso é verdade.

Existe uma prova simples (ou talvez apenas por definição)?

maomao
fonte
6
Primeiro sim. Com efeito, um Oracle A satisfaz NPA=NP se e apenas se ANPcoNP . Esta classe é chamado Low(NP) ou, por vezes, L1P : complexityzoo.uwaterloo.ca/Complexity_Zoo:L#lkp . Segundo, não acho que fique claro que NPNPNP , embora essa seja uma crença amplamente aceita. Em particular, implica PNP e parece ser estritamente mais forte, pois não há implicações relativizáveis ​​pelo contrário.
Joshua Grochow
2
Além disso, as pessoas que acreditam que FACTORING é difícil podem ter problemas com a sua intuição de que NPcoNP é "determinista".
Niel de Beaudrap 20/03/2014
9
@ JoshuaGrochow: Eu acho que você deve adicionar isso como resposta, com alguma exposição sobre o que são as classes na hierarquia baixa; é uma resposta tão boa quanto o OP provavelmente obterá.
Niel de Beaudrap 20/03/2014
2
NPNPcoNPNP
4
@NieldeBeaudrap: Minha hesitação em publicá-la como uma resposta, em vez de comentar, foi que, embora eu acredite que o maomao genuinamente fez essa pergunta a sério, ela pode ser e foi no passado, dada como um exercício de lição de casa.
Joshua Grochow 24/03

Respostas:

13

ANPA=NPANPcoNPLow(NP)L1P

P=NPcoNPAPNPA=NPANPANPcoNP

NPA=NPANPcoNP

Joshua Grochow
fonte