Superconjunto de tempo poli do idioma completo do NP com infinitas seqüências de caracteres excluídas

14

Para qualquer linguagem arbitrária completa do NP, há sempre um superconjunto polytime cujo complemento também é infinito?

Uma versão trivial que não estipula que o superconjunto tenha um complemento infinito foi solicitada em /cs//q/50123/42961

Para os fins desta questão, você pode assumir que PNP . Como Vor explicou, se P=NP , a resposta é "Não". (Se P=NP , então X={xxN+x>1} é NP-completo. Claramente, não há um superconjunto de X que seja infinito e tenha um complemento infinito, pois o complemento de X tem apenas um único elemento.) Assim, pode concentrar-se no caso PNP .

ARi
fonte
5
Se , X = { x x N +x > 1 } está NP-completo. Claramente, não existe um superconjunto de X que seja infinito e tenha um complemento infinito (observe que ˉ X = { 1 } ). Assim, você pode "concentrar-se" sobre o que acontece se P N P . P=NPX={xxN+x>1}XX¯={1}PNP
Marzio De Biasi
3
Como sobre a versão relativizada: Existe um oráculo st todos os co-NP A conjuntos são P Um imune a. AAA
precisa
@LanceFortnow ... ou para qualquer idioma completo em particular. Classe de complexidade, sempre existe um superconjunto não trivial de menor complexidade.
ARi

Respostas:

10

Cada conjunto -completo contém um subconjunto infinito em P assumindo quecoNPP

  • existem geradores pseudo-aleatórios e
  • existem permutações unidirecionais seguras.

Em outras palavras, admitindo que estes dois pressupostos forem verdadeiras, não conjunto -completo é P- imune . Conforme apontado nos comentários de Lance, isso está implícito no Teorema 4.4 decoNP

(Kaveh já mostrou que sua pergunta é equivalente a se todos os conjuntos -Complete contém um infinito P subconjunto. Em outra língua, este está dizendo que nenhuma c o N P -completo conjunto é " P imune a." Este é a linguagem usada no teorema mencionado acima.)coNPPcoNPP

Joshua Grochow
fonte
Por fortes funções de núcleo duro (e iteração ), permutações unidirecionais implicam geradores pseudo-aleatórios.
1
@RickyDemer: Veja as Definições 4.1-4.3 no documento citado. Se estou entendendo corretamente, os OWPs implicam o que chamam de "PRGs de criptografia", mas não necessariamente o que chamam de "PRGs" no documento Glasser-Pavan-Selman-Sengupta. Para o resultado, eles (parecem) precisam dos OWPs e do que chamam de PRGs.
Joshua Grochow
6
Kaveh mostrou apenas que a equivalência entre conjuntos completos co-NP é imune a P, mas a conclusão do teorema 4.4 em Glasser et al. conjuntos imunológicos P completos.
precisa
@ JoshuaGrochow Obrigado ... mas existem suposições que podemos fazer que, por sua vez, implicam na inexistência de tal linguagem. Eu estava mais interessado em cenários onde não há super tempo poli
ARi
5

Pergunta interessante. A declaração

para todo NP completo , há U em P, de modo que L U e U c são infinitos.LULUUc

é equivalente a:

para cada NP completo , o complemento de L contém um conjunto P infinito.LL

que por sua vez é equivalente a

todo conjunto coNP completo contém um conjunto P infinito.

que é por simetria o mesmo que

todo conjunto NP completo contém um conjunto P infinito.

Eu não acho que a resposta seja conhecida. Acho que conjuntos NP-completos naturais atendem facilmente a essa condição. Acho que não temos ferramentas para construir um conjunto artificial que falha na declaração. (veja o comentário de Lance abaixo)

Kaveh
fonte
Sua afirmação inicial é trivialmente verdadeira. (Let L ser a língua cheia.)
É uma cadeia interessante de deduções ... Você poderia dar um exemplo de uma linguagem completa do NP natural a esse respeito
ARi
3
A simetria não faz sentido. Por exemplo, todo conjunto de ce tem um subconjunto computável infinito, mas existem co-conjuntos que não.
Lance Fortnow