Die Frage kam mir, als ich von Dana Moshkovitz eine Antwort auf ein anderes Thema erhielt . Sei eine NP- Sprache und sei die jeweilige NP- Beziehung. Wir wissen, dass es ein Polynom so dass:LLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in...
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...
Ich bin mir ziemlich sicher, dass ich nicht der erste bin, der die Idee aufgreift, die ich präsentieren werde. Es wäre jedoch hilfreich, wenn ich Literatur zu dieser Idee finden könnte. Die Idee ist, eine Turing-Maschine M mit der Eigenschaft zu konstruieren, dass wenn P = NP, dann M 3-SAT in der...
Fix ein NP-vollständiges Suchproblem zB die Suchform von SAT. Die Levinsuche liefert einen Algorithmus zum Lösen von der in gewissem Sinne optimal ist. Im Einzelnen lautet der Algorithmus "Führe alle möglichen Programme in Verzahnung mit der Eingabe , sobald die Antwort zurückgibt prüft, ob sie...
In diesem Skript von Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf heißt es, dass wir nicht wissen, ob der euklidische TSP im NP ist: Der Grund dafür ist, dass wir nicht wissen, wie man Quadratwurzeln effizient berechnet. Auf der anderen Seite gibt es dieses Papier...
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...
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...
Gibt es vollständige NP-Probleme (oder sogar NP-harte oder NP-Probleme), die gute topologische Eigenschaften aufweisen, die untersucht werden müssen? Haben NP-Probleme knotentheoretische Formulierungen? Wir wissen über # Ergebnisse über das Jones-Polynom Bescheid . Graphprobleme (Einbettungen?),...
Ich frage mich insbesondere, ob es eine interessante Bedingung für den Prozentsatz der Aufgaben gibt, die eine 3SAT-Formel erfüllen, um sicherzustellen, dass solche Probleme behoben werden können. Nehmen wir zum Beispiel die Klasse der 3SAT-Probleme an, dass der möglichen Zuordnungen die Boolesche...
Eine Grapheneigenschaft wird als erblich bezeichnet, wenn sie in Bezug auf das Löschen von Eckpunkten geschlossen wird (dh alle induzierten Untergraphen erben die Eigenschaft). Eine Grapheneigenschaft wird als additiv bezeichnet, wenn sie in Bezug auf disjunkte Gewerkschaften geschlossen ist. Es...
Ich wurde kürzlich an das vs. , wie es von Stephen A. Cook am Clay Mathematics Institute erklärt wurde.PP\mathsf{P}NPNP\mathsf{NP} Es hat mein Interesse geweckt und ich würde gerne mehr darüber erfahren. Der erste Schritt wäre ein tieferes Verständnis des Problems und des Gebiets im Allgemeinen....
Angenommen, P NP.≠≠\ne Ladners Theorem besagt, dass es NP-Zwischenprobleme gibt (Probleme in NP, die weder in P noch in NP-Complete vorliegen). Ich habe einige verschleierte Online-Referenzen gefunden, die darauf hindeuten (ich denke), dass es in NPI viele "Ebenen" gegenseitig reduzierbarer...
Erstens ist mein Verständnis des Unvollständigkeitssatzes von Gödel (und der formalen Logik im Allgemeinen) sehr naiv, ebenso wie mein Wissen über theoretische Informatik (dh nur ein Abschlusskurs, der bereits während meines Studiums belegt wurde), so dass diese Frage möglicherweise gestellt wird...
Betrachten Sie die vollständigen Informationen zu kombinatorischen Spielen für zwei Spieler, die nach einer Polynomanzahl von Zügen enden. Abwechselnd wählen die Spieler aus einer endlichen Anzahl zulässiger Züge. Die übliche Frage ist, wie schwierig es ist, aus einer bestimmten Position den...
Ich interessiere mich für die Frage, ob NP gleich coNP ist oder nicht. Ich würde mich sehr über Ratschläge zu guten Veröffentlichungen zum Thema freuen. Ich weiß, dass diese Frage eng mit der Frage verbunden ist, ob P gleich NP ist oder nicht (so dass, wenn NP! = CoNP, dann P! = NP). Prost,...
Angenommen, NP = co-NP und das Polynom begrenzen die Länge des Beweises der Unzufriedenheit für eine 3-CNF-Instanz . Dann gibt es keine Ergebnisse auf , was bildet einen Beweis Unerfüllbarkeit für die Länge kann nehmen? Dh im Allgemeinen müsste ein solcher Beweis zum Beispiel die volle Kraft der...
In Stephen Cooks Artikel über das P vs NP-Problem [1] stellt er Folgendes fest [2]: Machbarkeitsthese: Ein natürliches Problem hat einen realisierbaren Algorithmus, wenn es einen Polynom-Zeit-Algorithmus hat. Meine Frage ist, was genau meint er (oder im Allgemeinen wirklich, was bedeutet einer) mit...
Die ETH gibt an, dass SAT im schlimmsten Fall in subexponentieller Zeit nicht gelöst werden kann. Was ist mit dem Durchschnittsfall? Gibt es natürliche Probleme in NP, von denen vermutet wird, dass sie im Durchschnitt exponentiell schwer sind? Unter Durchschnittsfall versteht man die...
Die Komplexität von Beweisen ist ein grundlegendster Bereich der Theorie der rechnerischen Komplexität. Ein letztendlicher Zweck dieses Bereichs besteht darin, zu beweisen , dh, jeder Prüfer kann keinen Beweis für die Unzufriedenheit der gegebenen Eingabeformel erbringen. N.P.≠ c o...
Es ist bekannt, dass bestimmte Klassen von NP- Problemen Dichotomiesätze haben , die garantieren, dass jede Aufgabe in der Klasse entweder NP- vollständig oder in P ist . Das bekannteste derartige Ergebnis ist Schäfers Dichotomiesatz zusammen mit einer Reihe von Verallgemeinerungen. Mein...