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.
Sei eine erfüllbare CNF-Formel mit Variablen und Klauseln. Sei der Lösungsraum von . n m S F 1 F 1F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Betrachten Sie das Problem, mit andere CNF-Formel mit demselben Satz von Variablen wie bestimmen, mit (demselben Lösungsraum wie ), aber mit möglichst wenigen (einzigen) Klauseln Ziel ist es, die Anzahl …
Was ist über die genaue Komplexität des kürzesten Superstring-Problems bekannt? Kann es schneller gelöst werden als ? Gibt es bekannte Algorithmen, die den kürzesten Superstring lösen, ohne ihn auf TSP zu reduzieren?O∗( 2n)O∗(2n)O^*(2^n) UPD: unterdrückt Polynomfaktoren.O∗( ⋅ )O∗(⋅)O^*(\cdot) Das kürzeste Superstring-Problem ist ein Problem, dessen Antwort die kürzeste Zeichenfolge ist, …
BEARBEITEN (22. August 2011): Ich vereinfache die Frage weiter und lege ein Kopfgeld auf die Frage. Vielleicht hat diese einfachere Frage eine einfache Antwort. Ich werde auch alle Teile der ursprünglichen Frage durchstreichen, die nicht mehr relevant sind. (Vielen Dank an Stasys Jukna und Ryan O'Donnell für die teilweise Beantwortung …
XORification ist die Technik, um eine Boolesche Funktion oder Formel zu erschweren, indem jede Variable durch das XOR von k ≥ 2 verschiedenen Variablen x 1 ⊕ … ⊕ x k ersetzt wird . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Ich bin mir bewusst, dass diese Technik bei der Komplexität …
( n + 1 )(n+1)(n + 1) Punkte sind erforderlich, um ein Polynom des Grades eindeutig zu bestimmennnn; Beispielsweise bestimmen zwei Punkte in einer Ebene genau eine Linie. Wie viele Punkte sind erforderlich, um eine berechenbare Funktion eindeutig zu bestimmen f: N→ Nf:N→Nf : N \rightarrow N, angesichts der Länge …
Hier besteht das Ziel darin, ein beliebiges SAT-Problem in Polynomzeit unter Verwendung der geringsten Anzahl von Klauseln und Variablen auf 3-SAT zu reduzieren. Meine Frage ist von Neugierde motiviert. Weniger formal möchte ich wissen: "Was ist die 'natürlichste' Reduzierung von SAT auf 3-SAT?" Die Reduktion, die ich in Lehrbüchern immer …
Das direkte Arbeiten mit Zeitkomplexität oder Schaltkreisuntergrenzen ist beängstigend. Daher entwickeln wir Tools wie die Komplexität von Abfragen (oder die Komplexität von Entscheidungsbäumen), um die unteren Grenzen in den Griff zu bekommen. Da jede Abfrage mindestens einen Einheitsschritt dauert und Berechnungen zwischen Abfragen als frei gezählt werden, ist die Zeitkomplexität …
Ich denke, dass ein Größenhierarchiesatz für die Schaltungskomplexität ein großer Durchbruch in diesem Bereich sein kann. Ist es ein interessanter Ansatz zur Klassentrennung? Die Motivation für die Frage ist, dass wir sagen müssen Es gibt eine Funktion, die nicht mit Schaltkreisen der Größe berechnet werden kann und die mit Schaltkreisen …
Trifft es zu, dass es Probleme in dem Polynom Hierarchie auflösbar in Zeit (durch eine alternierende Turingmaschine in einem bestimmten Ebene der Polynom Hierarchie) , die nicht auflösbar ist in in irgendeine Ebene der Polynom-Hierarchie? Mit anderen Worten - gibt es einen Zeithierarchiesatz für die Polynomhierarchie wie für P und …
Es ist gut bekannt , dass , wenn P=NPP=NP\mathbf{P}=\mathbf{NP} dann das Polynom Hierarchie kollabiert und P=PHP=PH\mathbf{P}=\mathbf{PH} . Dies kann mit Orakelmaschinen leicht induktiv verstanden werden. Die Frage ist - warum können wir nicht den induktiven Prozess über einen konstanten Wert von Abwechslungen fortsetzen und beweisen , P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)}) (auch bekannt als …
Die Komplexitätstheorie scheint etwas Grundlegendes über die Struktur des Universums zu erfassen, indem sie die intuitive Vorstellung formalisiert, dass einige Probleme schwieriger sind als andere. Scott Aaronson prognostizierte : "Die NP-Härteannahme wird letztendlich als analog zum zweiten Hauptsatz der Thermodynamik oder als Unmöglichkeit der überluminalen Signalübertragung angesehen." Sogenannte "harte Probleme" …
Kürzlich haben Watrous et al. Bewiesen, dass QIP (3) = PSPACE ein bemerkenswertes Ergebnis ist. Das war, gelinde gesagt, ein überraschendes Ergebnis für mich und hat mich zum Nachdenken angeregt ... Ich fragte mich, was wäre, wenn Quantencomputer durch klassische Computer effizient simuliert werden könnten. Könnte dies EINFACH mit der …
Ich interessiere mich für das folgende Problem: Wenn eine Menge X und Teilmengen X_1, ..., X_n von X gegeben sind, finde eine Färbung der Elemente von X mit k Farben, so dass die Elemente in jedem X_i alle unterschiedlich gefärbt sind. Insbesondere betrachte ich den Fall, in dem alle X_i …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.