Fragen zu oder im Zusammenhang mit P vs. NP
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...
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...
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
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...
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,...
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
Gibt es ein bekanntes, explizites Beispiel für einen Algorithmus mit der Eigenschaft, dass dieser Algorithmus , wenn nicht in Polynomzeit und wenn dann in Polynomzeit ausgeführt wird?P≠ NPP≠NPP\neq NPP=
Die berühmte Isomorphismus-Vermutung von Berman und Hartmanis besagt, dass alle vollständigen Sprachen polynomiell zeitisomorph (p-isomorph) zueinander sind. Die Schlüsselbedeutung der Vermutung ist, dass sie impliziert . Es wurde 1977 veröffentlicht und ein Beleg dafür war, dass alle zu diesem...
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...
Ich interessiere mich für das Erlernen von Zusammenhängen zwischen "Chaos" oder allgemein dynamischen Systemen und der Frage. Hier ist ein Beispiel für die Art von Literatur, die ich suche:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária und Zoltán Toroczkai. "Optimierungshärte als vorübergehendes Chaos in...
Ich halte es für eine gute Idee, eine Liste von Theoremen zu erstellen, aus denen hervorgeht, dass P nicht gleich NP ist, wenn und nur wenn ein und derselbe existiert, eine Komplexitätsklasse in einer anderen Komplexitätsklasse enthalten ist und so weiter und so fort.
Gowers hat kürzlich ein Problem umrissen , das er "diskretisierte Borel-Determiniertheit" nennt und dessen Lösung mit dem Nachweis von Schaltkreisuntergrenzen zusammenhängt. Können Sie einen Überblick über den Ansatz geben, der auf ein Publikum von Komplexitätstheoretikern zugeschnitten ist? Was...
Wir alle wissen, dass Barrieren hat. Wir alle haben diese Barrieren untersucht, weil wir glauben, dass .P ≠ N PP≠ NPP≠NPP\ne NPP≠ NPP≠NPP\ne NP Nehmen wir jedoch an, und es gibt weise Leute, die glauben, dass diese Möglichkeit besteht . Wenn dies tatsächlich der Fall ist, deutet die Tatsache, dass...
Nach meinem Verständnis müsste ein Beweis, dass P = NP oder P ≠ NP ist, nicht relativierbar sein (wie in Orakeln der Rekursionstheorie). Praktisch alle Beweise scheinen jedoch relativierbar zu sein. Was sind gute Beispiele für nicht relativierbare Beweise, wie sie ein P = NP / P ≠ NP-Beweis...
1979 schrieben Hopcroft / Ullman , dass L ⊆ P ⊆ NP ⊆ PSpace bekannt ist, aber L ⊊ PSpace die einzig richtige (& triviale) bekannte Einschließung ist, obwohl alle als richtige Einschließungen vermutet werden und "wo die Dinge noch stehen" ~ 4 Jahrzehnte später . seitdem gibt es bekannte...
Die folgende Frage verwendet Ideen aus der Kryptographie, die auf die Komplexitätstheorie angewendet werden. Es handelt sich jedoch um eine rein komplexitätstheoretische Frage, für deren Beantwortung keinerlei Kryptowissen erforderlich ist. Ich schreibe diese Frage bewusst sehr informell. Mangels...