Questions marquées «np»

NP signifie temps polynomial non déterministe.

7
Adhésion non triviale à NP
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 à …
27 reductions  np 
2
Raisons de croire
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 …
2
Problèmes NP-intermédiaires avec des solutions quantiques efficaces
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 classique, laissant entendre que les problèmes NP-complets …
3
Des problèmes naturels dans pas dans ?
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 …
1
Qu'est-ce que
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 , etc.NPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH Considérez la classe de complexité " limitée aux témoins …
2
Existe-t-il un algorithme de temps linéaire non déterministe pour CNF-SAT?
Le problème de décision CNF-SAT peut être décrit comme suit: Entrée: Une formule booléenne ϕϕ\phi sous forme normale conjonctive. Question: Existe-t-il une affectation de variable qui satisfait ϕϕ\phi ? J'envisage plusieurs approches différentes pour résoudre CNF-SAT avec une machine de Turing à deux bandes non déterministe . Je crois qu'il …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.