NP signifie temps polynomial non déterministe.
C'est ma première question sur ce site. Je suis en train de suivre un cours de maîtrise sur la théorie du calcul. Comment expliqueriez-vous le problème P = NP à un enfant de 10 ans et pourquoi a-t-il une telle récompense monétaire? Votre prendre? Je mettrai à jour la question au fur et à mesure que...
On prétend parfois que la théorie de la complexité géométrique de Ketan Mulmuley est le seul programme plausible pour régler les questions en suspens de la théorie de la complexité, comme la question P vs NP. Plusieurs théoriciens de la complexité connus ont commenté positivement le programme....
Je suis intéressé par la généralisation naturelle du célèbre casse-tête de 15 , dans laquelle vous devez faire glisser des blocs jusqu'à ce que vous ayez trié tous les nombres donnés (généralement, il y a un écart d'un bloc). La généralisation consisterait maintenant à étendre la taille du puzzle...
De nombreux experts pensent que la conjecture est vraie et l'utilisent dans leurs résultats. Ma préoccupation est que la complexité dépend fortement de la conjecture .P ≠ N PP≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Ma question est donc: Tant que la conjecture n'est pas...
Il est bien connu par le théorème de Ladner que si , alors il existe une infinité de problèmes -intermediate ( ). Il existe également des candidats naturels pour ce statut, tels que l'isomorphisme graphique, et un certain nombre d'autres, voir Problèmes entre P et NPC . Néanmoins, la grande...
On que car l'inverse impliquerait . Le théorème de Ladner établit que si alors . Cependant, la preuve ne semble pas généraliser à donc la possibilité ie semble ouvert.NP⊈P/polyNP⊈P/poly\mathsf{NP} \nsubseteq \mathsf{P}/\text{poly}PH=Σ2PH=Σ2\mathsf{PH} = \Sigma_2P≠NPP≠NP\mathsf{P} \ne...
La question sur la théorie " Qu'est-ce que NP est limité aux témoins de taille linéaire? " Demande à propos de la classe NP limitée aux témoins de taille linéaire O ( n )O(n)O(n) , mais Existe-t-il des problèmes naturels NP-complets dans lesquels (oui) les instances de taille nécessitent des...
Existe-t-il des exemples de jouets qui fournissent des informations «essentielles» sur la compréhension des trois obstacles connus au problème P= NPP=NPP = NP - la relativisation, les preuves naturelles et
Edit : Comme Ravi Boppana l'a correctement souligné dans sa réponse et Scott Aaronson a également ajouté un autre exemple dans sa réponse , la réponse à cette question s'est avérée «oui» d'une manière à laquelle je ne m'attendais pas du tout. J'ai d'abord pensé qu'ils n'avaient pas répondu à la...
Peter Shor a montré que deux des problèmes NP-intermédiaires les plus importants, l'affacturage et le problème de log discret, sont en BQP. En revanche, le meilleur algorithme quantique connu pour SAT (recherche de Grover) ne produit qu'une amélioration quadratique par rapport à l'algorithme...
Cette question a été migrée à partir de Computer Science Stack Exchange car il est possible d'y répondre sur Théoretics Computer Science Stack Exchange. Migré il y a 6 ans . Il semble que beaucoup de gens croient que , en partie parce qu'ils pensent que l'affacturage n'est pas résolu par le...
Y a-t-il un exemple de langue qui est en NPNPNP , mais où nous ne pouvons pas prouver ce fait directement en montrant qu'il existe un témoin polynomial d'appartenance à cette langue? Au lieu de cela, le fait que la langue est en NPNPNP serait prouvé en la réduisant à une autre langue en NPNPNP , où...
Existe-t-il des problèmes naturels dans qui ne sont pas (connus pour être / pensés être) dans ?U P ∩ c o U PNP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Évidemment, le grand que tout le monde connaît dans est la version décisionnelle de l'affacturage (n'a pas un facteur de taille au plus...
Cette réponse aux problèmes majeurs non résolus en informatique théorique? question indique qu'il est ouvert si un problème particulier dans NP nécessite un temps .Ω ( n2)Ω(n2)\Omega(n^2) En regardant les commentaires sous la réponse, je me suis demandé: Mis à part le rembourrage et les astuces...
Il est bien connu que toute preuve résolvant la question P vs NP doit surmonter la relativisation , les preuves naturelles et les barrières d' algèbre . Le diagramme suivant partitionne "l'espace de preuve" en différentes régions. Par exemple, correspond à l'ensemble des preuves qui relativisent et...
Existe-t-il un langage NP (complet de préférence naturel) , tel que pour chaque détient? En d'autres termes, contient précisément la moitié de toutes les instances à bits.L ⊆ { 0 , 1 }∗L⊆{0,1}∗L\subseteq \{0,1\}^*| L ∩ { 0 , 1 } n | = 2 n - 1 Ln ≥ 1n≥1n\geq 1 | L∩{0,1 }n| = 2n -...
Ceci est lié à la question La taille de l'adhésion des témoins pour chaque langue NP est-elle déjà connue? Certains problèmes naturels (-complet) ont des témoins de longueur linéaire: une affectation satisfaisante pour , une séquence de sommets pour ,
L'accès à un oracle fournirait une accélération super-polynomiale majeure pour tout dans N P - P (en supposant que l'ensemble n'est pas vide). Il est cependant moins clair combien P bénéficierait de cet accès Oracle. Bien sûr, l'accélération dans P ne peut pas être super-polynomiale, mais elle peut...
Il s'agit en quelque sorte d'une question ouverte - pour laquelle je m'excuse à l'avance. Y a-t-il des exemples de déclarations qui (apparemment) n'ont rien à voir avec la complexité ou les machines de Turing mais dont la réponse impliquerait ?P≠NPP≠NP\mathbf{P}\neq
Je lisais " Est-ce que P par rapport à NP est officiellement indépendant? ", Mais je suis resté perplexe. Il est largement admis dans la théorie de la complexité que . Ma question est de savoir si ce n'est pas prouvable (disons dans ). (Supposons que nous découvrions seulement que est indépendant...