Un langage NP dense complet implique P = NP

16

On dit que le langage est dense s'il existe un polynôme tel que pour tous lesEn d'autres termes, pour une longueur donnée, il n'existe que de nombreux mots polynomiaux de longueur qui ne sont pas enJΣp

|JcΣn|p(n)
nN.nnJ.

Le problème que j'étudie actuellement demande de montrer ce qui suit

S'il existe un langage dense complet, alorsNPP=NP

Ce que le texte suggère est de considérer la réduction polynomiale à - puis de construire un algorithme qui essaie de satisfaire la formule donnée tout en générant des éléments dans3SATCNFJc.

Ce que je me demande c'est

Y a-t-il une preuve plus directe? Cette notion est-elle connue dans un cadre plus général?

Jernej
la source
1
Il existe une notion connexe de langages clairsemés , dans laquelle la condition est tout le contraire: . |JΣn|p(n)
Yuval Filmus
2
Découvrez le théorème de Mahaney .
Pål GD
2
@ PålGD Se transformer en réponse? (en supposant que l'argument se prolonge dans les langues denses)
Yuval Filmus

Réponses:

6

C'est un joli problème de devoirs à propos du théorème de Mahaney.

Notez que le complément d'une langue "dense" est une langue clairsemée. De plus, si une langue est complète, son complément est c o N P- complet.NPcoNP

S'il existe une langue "dense" en complète, il y a une langue clairsemée c o N P - complète.NP coNP

Le théorème de Mahaney nous dit qu'il n'y a pas clairsemés langue -complete à moins que P = N P .NPP=NP

Nous pouvons adopter la preuve pour montrer qu'il n'y a pas de langage incomplet moins que P = c o N P qui soit équivalent à P = N P (puisque P est fermé sous compléments).coNPP=coNPP=NPP

En résumé, la réponse est non moins que . Notez que si P = N P, alors chaque langue non triviale est N P -complète.P=NPP=NPNP

ps: Vous voudrez peut-être essayer ce qui suit et ensuite utiliser le théorème de Mahaney: il y a un ensemble incomplet -complet ssi il y a un ensemble clairsemé C o N P -complet. Cependant, je doute qu'une preuve de cette affirmation serait beaucoup plus facile qu'une preuve du théorème de Mahaney.NPcoNP

Kaveh
la source
4

Comme mentionné ci-dessus selon le théorème de Mahaney . Langues clairsemées et denses ne pouvaient pas être à moins que P = N P .NPHardP=NP

Le projet mentionné contient une preuve complète.

Reza
la source
1
Cela ne donne pas plus que le commentaire (qui n'est même pas le vôtre). Veuillez élaborer pour faire une bonne réponse à partir de ce message.
Raphael
@Raphael: C'est une bonne réponse. Avez-vous vérifié le lien?
Tsuyoshi Ito
5
@TsuyoshiIto: Les réponses consistant uniquement en un lien sont généralement considérées comme mauvaises sur SE; voir ici .
Raphael
@Raphael: La question à laquelle on a répondu a été résolue auparavant dans la littérature. Le lien contient une preuve complète (qui fait 6 pages). Je pense que s'il a d'autres questions, nous pourrions poursuivre la discussion.
Reza
@Raphael: idiot. Un lien vaut mieux que rien. Si vous le souhaitez, élaborez la réponse par vous-même au lieu de blâmer un utilisateur pour avoir publié un lien utile.
Tsuyoshi Ito