É NP em

Respostas:

22

DTEuME(npoeuyeuogn) é conhecido comoQP (quasi-polinomial).

Acredita-se que NP⊄QP , embora seja uma indicação mais forte do que P≠NP .

Algumas conjecturas comuns, tais como o exponencial Tempo hipótese implica NP⊄QP .

RB
fonte
6
Você diz que "algumas conjecturas comuns ...". Quais são os outros além da ETH? Estou extremamente interessado, porque eu estou atualmente trabalhando em relativo NP e QP - pelo menos eu espero que sim ...
Matt Groff
19

Outra boa razão para acreditar que é que N P ⊆ Q P implica E X P = N E X P , e o último é considerado altamente improvável. Essa implicação pode ser comprovada por um argumento de preenchimento, ver, por exemplo, na prova da Proposição 2 no seguinte artigo:NP⊈QPNP⊆QPEXP=NEXP

H. Buhrman e S. Homer, "Circuitos superpolinomiais, oráculos quase esparsos e hierarquia exponencial", Fundamentos de Tecnologia de Software e Ciência da Computação Teórica, Springer LNCS vol. 652, 1992, pp. 116-127, pdf

Andras Farago
fonte
8
Eu gosto muito dessa resposta. Dada a resposta de RB, isso me faz pensar que, se houver, é a relação entre a ETH ea suposição . EXP≠NEXP
Joshua Grochow 21/03
11
@ Josué Não pesquisei na literatura sobre isso, mas acho que qualquer violação da ETH provavelmente implica algum colapso em um nível superior. Eu acho que o nível depende de "quão fortemente" a ETH é violada, violações mais fortes resultando em colapsos mais dramáticos. Como foi salientado na resposta, o forte violação ETH de implica E X P = N E X P . Se tomarmos uma violação mais branda, como supor que N P esteja em uma classe subexponencial maior que Q P , o colapso provavelmente será deslocado para cima (por exemplo, para dobrar classes exponenciais ou até mais).NP⊆QPEXP=NEXPNPQP
Andras Farago 21/03
2
Thansk, mas foi perguntar sobre um directa implicação de qualquer maneira entre ETH e . Agora temos duas respostas - ETH implica N P ⊈ Q P e N E X P ≠ E X P implica N P ⊈ Q P - e fiquei curioso para saber se uma era uma consequência da outra. EXP≠NEXPNP⊈QPNEXP≠EXPNP⊈QP
Joshua Grochow 21/03
2
Infelizmente, não estou ciente de uma implicação direta. Em outra nota, é bastante interessante que as violações de ETH possam resultar não apenas em colapsos, mas também em separações, em termos de limites inferiores do circuito. Um artigo de Ryan Williams (pdf) prova que mesmo a menor violação da ETH implicaria certos limites notoriamente difíceis de provar.
Andras Farago 21/03