Als «np» getaggte Fragen

NP steht für Nondeterministic Polynomial Time.




7
Nichttriviale Mitgliedschaft in NP
Gibt es ein Beispiel für eine Sprache, die in , aber wo wir diese Tatsache nicht direkt beweisen können, indem wir zeigen, dass es ein polynomisches Zeugnis für die Zugehörigkeit zu dieser Sprache gibt?NPNPNP Stattdessen würde die Tatsache, dass die Sprache in , durch Reduzieren auf eine andere Sprache in …
27 reductions  np 

2
Gründe zu glauben, dass
Es scheint, dass viele Leute glauben, dass , auch weil sie glauben, dass Factoring nicht polyzeitlösbar ist. (Shiva Kintali hat hier einige andere Kandidatenprobleme aufgelistet ).P≠NP∩coNPP≠NP∩coNPP \ne NP \cap coNP Andererseits haben Grötschel, Lovász und Schrijver geschrieben, dass "viele Leute glauben, dass ". Dieses Zitat ist in Geometrische Algorithmen und …

2
NP-intermediäre Probleme mit effizienten Quantenlösungen
Peter Shor hat gezeigt, dass zwei der wichtigsten NP-Intermediate-Probleme, Factoring und das diskrete Log-Problem, im BQP liegen. Im Gegensatz dazu liefert der bekannteste Quantenalgorithmus für SAT (Grovers Suche) nur eine quadratische Verbesserung gegenüber dem klassischen Algorithmus, was darauf hindeutet, dass NP-vollständige Probleme auf Quantencomputern immer noch nicht gelöst werden können. …

3
Natürliche Probleme in nicht in ?
Gibt es in irgendwelche natürlichen Probleme , die in nicht vorhanden sind (von denen bekannt ist, dass sie es sind) ?NP∩ c o NPNP∩cONPNP \cap coNPUP∩ c o UPUP∩cOUPUP \cap coUP Offensichtlich ist die große, die jeder in kennt, die Entscheidungsversion des Factorings (hat n einen von höchstens k), aber …



1
Was ist
Dies hängt mit der Frage zusammen, ob die Mitgliederzahl der Zeugen für jede NP-Sprache bereits bekannt ist. Einige natürliche (-vollständige) Probleme haben Zeugen linearer Länge: eine befriedigende Zuordnung für S A T , eine Folge von Eckpunkten für H A M P A T H usw.NPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH Betrachten Sie die Komplexitätsklasse …



2
Gibt es bekannte NP-vollständige Probleme, weder NP-schwer im eigentlichen Sinne noch mit pseudopolynomialem Algorithmus?
In ihrer Arbeit (S. 503) bemerken Garey und Johnson: ... es könnte ein NP-vollständiges Problem geben, das weder im engeren Sinne NP-vollständig noch durch einen pseudo-polynomiellen Zeitalgorithmus lösbar ist ... Kennt jemand einige Kandidatenprobleme mit den oben genannten Eigenschaften? Ich denke, die mögliche Antwort auf diese Frage kann eine Liste …

2
Gibt es einen nicht deterministischen linearen Zeitalgorithmus für CNF-SAT?
Das Entscheidungsproblem CNF-SAT kann wie folgt beschrieben werden: Eingabe: Eine Boolesche Formel ϕϕ\phi in konjunktiver Normalform. Frage: Gibt es eine Variablenzuordnung, die erfüllt ϕϕ\phi? Ich überlege mir verschiedene Ansätze, um CNF-SAT mit einer nicht deterministischen Zwei-Band-Turing-Maschine zu lösen . Ich glaube, dass es ein NTM gibt, das CNF-SAT in n⋅poly(log(n))n⋅poly(log⁡(n))n …


Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.