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?"...
( 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,...
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...
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...
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...
Es ist bekannt, dass Quantencomputer hinsichtlich der Komplexität von Abfragen strikt leistungsfähiger sind als ihre klassischen Gegenstücke . Gibt es andere (natürliche oder künstliche) Modelle, die in Bezug auf die Komplexität von Abfragen streng zwischen dem Quanten- und dem Klassischen liegen?...
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...
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...
IP = PSPACE wird als kanonisches Beispiel für ein nicht relativierendes Ergebnis aufgeführt, und der Beweis dafür ist, dass es ein Orakel , das während für alle Orakeln O .C O N P O ⊈ I P O C O N P O ⊆ P S P A C E O OOOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf...
Wurde daran gearbeitet, wie die Komplexität zufälliger Instanzen von # 2-SAT mit der Klauseldichte variiert? Das heißt: Wie variiert die Schwierigkeit, zufriedenstellende Lösungen für eine zufällig generierte Instanz von 2-SAT zu zählen , wenn sich die Klauseldichte ändert ? Gibt es insbesondere...
Wie Sie sie wissen viele Anomalien für die einzelne Band sind Turing - Maschinen , wenn die Zeit ist : Mehrband-TM - Simulation, Simulation von größerer Band Alphabet mit nur , Zeit constructability, Nichtdichtheit des Zeithierarchiesatzes, ...{ 0 , 1 , b }o ( n2)o(n2)o(n^2){ 0 , 1 , b...
Der Komplexitätszoo hat nicht viel mit dem S CSC\mathsf{SC} . Ich suche ein nettes † Problem, das in höheren Hierarchieebenen liegt, dh ein Problem in D T i m e S p a c e ( n O ( 1 ) , lg O ( 1 ) n ) aber nicht bekannt ist in D T i m e S p a c e ( n O ( 1 )††^\daggerD T i m e S p a c e ( nO ( 1 ),...
Mafia ist ein beliebtes Rollenspiel auf Partys. Eine ausführliche Beschreibung finden Sie auf Wikipedia unter http://en.wikipedia.org/wiki/Mafia_%28game%29 . Grundsätzlich funktioniert es wie folgt: Zu Beginn wird jedem der Spieler heimlich eine Rolle zugewiesen, die entweder mit der Mafia oder mit...
Sei die Klasse der Entscheidungsprobleme mit einem beschränkten zweiseitigen fehlerzufälligen Algorithmus, der in der Zeit O ( f ( n ) ) abläuft .BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Kennen wir jedes Problem , so dass Q ∈ B P T I M E ( n k ) aber Q ∉ D T I M E ( n k )...
Kategorietheorie und abstrakte Algebra befassen sich mit der Art und Weise, wie Funktionen mit anderen Funktionen kombiniert werden können. Die Komplexitätstheorie befasst sich damit, wie schwer eine Funktion zu berechnen ist. Es ist seltsam für mich, dass ich niemanden gesehen habe, der diese...
Werden alle Funktionen, deren Fouriergewicht sich auf die kleinen Mengen (oder Terme mit niedrigem Grad) konzentriert, von Kreisen berechnet ?A
Der Begriff der Polynomzeitverkürzung (Cook Reductions) ist eine Abstraktion eines sehr intuitiven Konzepts: ein Problem effizient zu lösen, indem ein Algorithmus für ein anderes Problem verwendet wird. In der Theorie der -Vollständigkeit wird der Begriff der -Härte jedoch über Mapping-Reduktionen...
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...
Gibt es eine Folge ungerichteter Graphen , wobei jedes genau Eckpunkte und das Problem hat C n n{ Cn}n ∈ N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Ist ein induzierter Teilgraph von , und ein Graph sind ?G C n GnnnGGGCnCnC_nGGG befindet sich bekanntermaßen in der Klasse ? (Wenn beispielsweise , ist...