Bearbeiten: Ich habe meine Einschränkung (2) zuerst falsch formuliert, sie ist jetzt korrigiert. Ich habe auch weitere Informationen und Beispiele hinzugefügt. Mit einigen Kollegen, die sich mit einer anderen algorithmischen Frage befassten, konnten wir unser Problem auf das folgende interessante...
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
Gibt es NP-vollständige Probleme, für die ein Algorithmus bekannt ist, bei dem die erwartete Laufzeit polynomiell ist (für eine sinnvolle Verteilung auf die Instanzen)? Wenn nicht, gibt es Probleme, für die die Existenz eines solchen Algorithmus nachgewiesen wurde? Oder impliziert die Existenz...
Es ist klar, dass jedes Problem, das im deterministischen Lograum ( ) entscheidbar ist, höchstens zur Polynomzeit ( P ) auftritt . Zwischen L und P gibt es eine Fülle von Komplexitätsklassen . Beispiele umfassen N L , L o g C F L , N C i , S A C i , A C i , S C i . Es wird allgemein angenommen ,...
Es gibt eine reiche Literatur und mindestens ein sehr gutes Buch, in dem die bekannte Härte von Näherungsergebnissen für NP-harte Probleme im Zusammenhang mit multiplikativen Fehlern dargelegt ist (z. B. ist die 2-Näherung für die Vertex-Abdeckung unter der Annahme von UGC optimal). Dies schließt...
Motiviert durch Fortnows Kommentar in meinem Beitrag, den Beweis, dass das Graphisomorphismus- Problem nicht vollständig istNPNPNP , und durch die Tatsache, dass ein Hauptkandidat für Zwischenprobleme ist (weder vollständig noch für ), interessiere ich mich für bekannte Beweise dass nicht in...
Die Unique Games Conjecture von Subhash Khot ist eines der aktiven Forschungsgebiete in der Komplexitätstheorie. Welche Beweise haben wir dafür? Welche Beweise haben wir dagegen?
Es gibt eindeutig eine Reduzierung von CLIQUE auf k-Color, da beide NP-Complete sind. Tatsächlich kann ich einen erstellen, indem ich eine Reduktion von CLIQUE auf 3-SAT mit einer Reduktion von 3-SAT auf k-Color zusammensetze. Ich frage mich, ob es eine vernünftige direkte Reduzierung zwischen...
Es ist bekannt, dass der Hamilton-Zyklus (kurz Schinken) NP-vollständig und der planare Schinken-Zyklus NP-vollständig ist. Der Beweis für den Planaren Schinkenzyklus stammt nicht aus dem Schinkenzyklus. Gibt es ein nettes Gadget, das bei einem gegebenen Graphen G alle Kreuzungen durch ein planares...
Diese Frage bezieht sich auf eine Antwort, die ich als Antwort auf eine andere Frage gepostet habe. Das 3-Partitionsproblem ist das folgende Problem: Instanz : Positive ganze Zahlen a 1 ,…, a n , wobei n = 3 m und die Summe der n ganzen Zahlen gleich mB ist, so dass jedes a i B / 4 <a i erfüllt...
Was sind die überzeugenden Gründe für die Annahme von ? L ist die Klasse von Log-Space-Algorithmen mit Zeigern auf die Eingabe.L≠PL≠PL\neq P Angenommen, L = P für den Moment. Wie würde ein Log-Space-Algorithmus für ein P-complete-Problem in seinen allgemeinen Umrissen
Einige von Ihnen sind möglicherweise dieser Frage gefolgt , die aufgrund mangelnder Forschung abgeschlossen wurde. Ich extrahiere also den Teil der Frage, der sich auf Forschungsebene befindet. Über die "einfacheren" Techniken hinaus, wie das Reduzieren auf Sortierung oder ein EXPTIME-vollständiges...
Was ist über die Komplexität bekannt, minimale Schaltkreise zu finden, die SAT bis zur Länge berechnen ? nnn Genauer gesagt: Wie komplex ist eine Funktion, die bei als Eingabe eine Minimalschaltung ausgibt , die für jede Formel mit , ?1n1n1^{n}φ | φ | ≤ n C ( φ ) = S A T ( φ )CCCφφ\varphi| φ |...
Kürzlich habe ich mehrere Artikel über arxiv gesehen, die sich auf ein Beweissystem beziehen, das als Quadratsumme bezeichnet wird. Kann jemand erklären, was ein Quadratsummenbeweis ist und warum solche Beweise wichtig / interessant sind? In welcher Beziehung stehen sie zu anderen algebraischen...
Das Nicht alle Gleich SAT-Problem (NAE SAT) fragt bei einer Menge von Klauseln über eine Menge von booleschen Variablen, so dass jede Klausel höchstens Literale enthält, ob eine Wahrheitszuordnung der Variablen existiert, so dass Jede Klausel enthält mindestens ein wahres und mindestens ein...
Betrachten Sie Optimierungsprobleme der folgenden Form. Sei eine polynomiell berechenbare Funktion, die eine Zeichenkette in eine rationale Zahl abbildet . Das Optimierungsproblem lautet: Was ist der Maximalwert von über Bit-Strings ?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Nehmen wir an,...
In der Umfrage "Small Depth Quantum Circuits" von D. Bera, F. Green und S. Homer (S. 36 von ACM SIGACT News, Juni 2007, Bd. 38, Nr. 2) las ich den folgenden Satz: Die klassische Version von (in der A N D - und O R -Tore höchstens ein konstantes Fanout aufweisen) ist nachweislich schwächer als A C 0...
Betrachten Sie die folgende Rechenaufgabe: Wir wollen eine 3-SAT-Formel von Variablen (eine Variante: n Variablen) abtastennnnnnn Klauseln) in Bezug auf die gleichmäßige Wahrscheinlichkeitsverteilung abtasten, vorausgesetzt, die Formel ist erfüllbar:mmm F1: Kann dies mit einem klassischen Computer...
Ich weiß, dass trivialerweise die OR-Funktion für Variablen genau durch das Polynom als solches dargestellt werden kann: , das vom Grad .nnn p ( x 1 , ... , x n ) p ( x 1 , ... , x n ) = 1 - ≤ n i = 1 ( 1 - x ix1, … , Xnx1,…,xnx_1,\ldots, x_np ( x1, … , Xn)p(x1,…,xn)p(x_1,\ldots,x_n) np ( x1, … ,...
Derzeit verfügt Bitcoin über ein Proof-of-Work-System (PoW) mit SHA256. Andere Hash-Funktionen verwenden einen Proof-of-Work-System. Ist es möglich, ein Entscheidungsproblem in der Knotentheorie wie die Knotenerkennung zu verwenden und es zu einem Beweis der Arbeitsfunktion zu machen? Hat das auch...