NP steht für Nondeterministic Polynomial Time.
Es ist meine erste Frage auf dieser Seite. Ich mache einen Masterstudiengang in Rechentheorie. Wie würden Sie einem 10-jährigen Kind das P = NP-Problem erklären und warum wird es mit so einer finanziellen Belohnung belohnt? Deine Meinung? Ich werde die Frage aktualisieren, sobald mein Kopf klar...
Es wird manchmal behauptet, dass Ketan Mulmuleys geometrische Komplexitätstheorie das einzige plausible Programm ist, um die offenen Fragen der Komplexitätstheorie wie die P vs. NP-Frage zu klären. Es gab mehrere positive Kommentare von berühmten Komplexitätstheoretikern zum Programm. Laut Mulmuley...
Ich interessiere mich für die natürliche Verallgemeinerung des berühmten 15-Puzzles , bei dem Sie Blöcke schieben müssen, bis Sie alle angegebenen Zahlen sortiert haben (normalerweise gibt es eine Lücke von 1 Block). Die Verallgemeinerung wäre nun, die Größe des Puzzles von 15 auf , wobei ein Feld...
Viele Experten glauben, dass die Vermutung wahr ist, und verwenden sie für ihre Ergebnisse. Meine Sorge ist, dass die Komplexität stark von der P ≠ N P- Vermutung abhängt .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Meine Frage lautet also: Kann / sollte man die...
Nach Ladners Theorem gibt es unendlich viele N P -Intermediat- ( N P I ) -Probleme , wenn ist . Es gibt auch natürliche Kandidaten für diesen Status, wie zum Beispiel Graph Isomorphism, und eine Reihe anderer, siehe Probleme zwischen P und NPC . Dennoch ist die überwiegende Mehrheit in der Menge...
Es wird vermutet, dass da die Umkehrung \ mathsf {PH} = \ Sigma_2 implizieren würde . Ladners Theorem besagt, dass wenn \ mathsf {P} \ ne \ mathsf {NP}, dann \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset . Der Beweis scheint jedoch nicht auf \ mathsf...
Die Frage zu cstheory " Was ist NP auf Zeugen linearer Größe beschränkt? " Fragt nach der Klasse NP, die auf Zeugen linearer Größe , aberO(n)O(n)O(n) Gibt es natürliche NP-vollständige Probleme, bei denen (ja) Fälle der Größe Zeugen einer Größe größer als erfordern ?nnnnnn Natürlich können wir...
Gibt es Spielzeugbeispiele, die "wesentliche" Einblicke in das Verständnis der drei bekannten Hindernisse für das P=NPP=NPP = NP Problem liefern - Relativierung, natürliche Beweise und
Edit : Wie Ravi Boppana in seiner Antwort richtig hervorhob und Scott Aaronson in seiner Antwort ein weiteres Beispiel hinzufügte , stellte sich heraus, dass die Antwort auf diese Frage auf eine Weise "Ja" war, die ich überhaupt nicht erwartet hatte. Zuerst dachte ich, dass sie die Frage, die ich...
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...
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...
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...
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),...
Diese Antwort auf große ungelöste Probleme in der theoretischen Informatik? Frage besagt, dass es offen ist, wenn ein bestimmtes Problem in NP Ω(n2)Ω(n2)\Omega(n^2) Zeit erfordert . Als ich mir die Kommentare unter der Antwort ansah, fragte ich mich: Was ist, abgesehen von Auffüllen und ähnlichen...
Es ist allgemein bekannt, dass jeder Beweis, der die P-gegen-NP- Frage löst , Relativierung , natürliche Beweise und Algebrierungsbarrieren überwinden muss. Das folgende Diagramm unterteilt den "Proof Space" in verschiedene Regionen. Beispielsweise entspricht der Menge von Beweisen, die...
Gibt es eine (vorzugsweise natürliche) NP-vollständige Sprache , so dass für jedes n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 gilt? Mit anderen Worten enthält L genau die Hälfte aller n- Bit-Instanzen.L ⊆ { 0 , 1 }∗L⊆{0,1}∗L\subseteq \{0,1\}^*n ≥ 1n≥1n\geq 1 | L∩{0,1 }n| = 2n - 1|L∩{0,1}n|=2n−1|L\cap...
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
Der Zugriff auf ein -Orakel würde für alles in N P - P (vorausgesetzt, die Menge ist nicht leer) eine bedeutende, superpolynomielle Beschleunigung bewirken. Es ist jedoch weniger klar, wie sehr P von diesem Zugang zum Orakel profitieren würde . Natürlich kann die Beschleunigung in P kein...
Dies ist eine Art offene Frage, für die ich mich im Voraus entschuldige. Gibt es Beispiele für Aussagen, die (scheinbar) nichts mit Komplexität oder Turing-Maschinen zu tun haben, deren Antwort aber implizieren würde ?P≠NPP≠NP\mathbf{P}\neq
Ich las " Ist P gegen NP formal unabhängig? ", Aber ich wurde verwirrt. Es ist weit verbreitet in der Komplexitätstheorie glaubt , dass P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} . Meine Frage ist, was ist, wenn dies nicht nachweisbar ist (sagen wir in ZFCZFCZFC ). (Nehmen wir an, wir finden nur heraus,...