Sprachen wie sind mit vielen Reduzierungen. Es ist trivial zu sehen, dass auch vollständige Probleme hat. S. Schmitz [1] betrachtet einige Klassen zwischen und . Sie stellen für diese Klassen vollständige Probleme unter speziell gestalteten
Wir wissen , dass in ist N L von Immerman-Szelepcsenyi Theorem Theorem und da s t - c o n n e c t i v i t y ist N L - h a r d daher s t - n
Wie bekannt ist, ist das 0-1-Entscheidungsproblem von ILP NP-vollständig. Es ist einfach zu zeigen, dass es sich um NP handelt, und die ursprüngliche Reduzierung stammte von SAT. Seitdem wurde gezeigt, dass viele andere NP-Complete-Probleme ILP-Formulierungen aufweisen (die als Reduktion von diesen...
Da die ganzzahlige lineare Programmierung NP-vollständig ist, gibt es eine Karp-Reduktion von jedem Problem in NP zu diesem. Ich dachte, dies impliziert, dass es für jedes Problem in NP immer eine ILP-Formulierung in Polynomgröße gibt. Aber ich habe Artikel über bestimmte NP-Probleme gesehen, in...
Ich habe das problem: Zeigen Sie, dass es eine reelle Zahl gibt, für die kein Programm existiert, das unendlich lange läuft und die Dezimalstellen dieser Zahl schreibt. Ich nehme an, es kann gelöst werden, indem man es auf das Halting-Problem reduziert, aber ich habe keine Ahnung, wie ich das tun...
Planar 3SAT ist NP-vollständig. Eine planare 3SAT-Instanz ist eine 3SAT-Instanz, für die das unter Verwendung der folgenden Regeln erstellte Diagramm planar ist: fügen Sie einen Eckpunkt für jeden und ¯ x ixichxichx_ixich¯xich¯\bar{x_i} füge einen Vertex für jede Klausel CjCjC_j Addiere eine Kante...
Das 3-Partitions-Problem fragt, ob ein Satz von 3 n3n3n Ganzzahlen in nnn Sätze von drei Ganzzahlen unterteilt werden kann, so dass jeder Satz eine bestimmte Ganzzahl ergibt BBB. Das Problem der ausgeglichenen Partition fragt, ob 2 n2n2n Ganzzahlen in zwei Gruppen gleicher Kardinalität aufgeteilt...
Ich bin gespannt, ob es in der Arthur-Merlin-Komplexitätsklasse vollständige Probleme gibt. Der Graph Non-Isomorphism (GNI) scheint das kanonische Beispiel für ein Problem in AM zu sein, aber es ist wahrscheinlich kein vollständiges. Ich frage mich wahrscheinlich auch, ob ein "vollständiges"...
Definition: Karp-Reduktion Eine Sprache AAA ist Karp reduzierbar auf eine Sprache BBB , wenn es eine Polynom-berechenbare Funktion ist f : { 0 , 1 } * → { 0 , 1 } *f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* so dass für jeden xxx , x ∈ Ax∈Ax\in A , wenn und nur wenn f ( x ) ∈ Bf(x)∈Bf(x)\in B ....
In der Testrunde zum Google Hash Code 2015 ( Problemstellung ) wurde nach folgendem Problem gefragt: Eingabe: ein Gitter mit einigen markierten Quadraten, eine Schwelle T ∈ N , eine maximale Fläche A ∈ N.M.M.MT.∈ N.T.∈N.T \in \mathbb{N}A ∈ N.EIN∈N.A \in \mathbb{N} Ausgabe: Die größtmögliche...
Es tut mir leid, wenn diese Frage eine triviale Antwort hat, die mir fehlt. Immer wenn ich ein Problem untersuche, das sich als unentscheidbar erwiesen hat, stelle ich fest, dass der Beweis auf einer Reduktion auf ein anderes Problem beruht, das sich als unentscheidbar erwiesen hat. Ich verstehe,...
Der Complexity Zoo definiert als die Klasse von Entscheidungsproblemen, die von einer deterministischen Turing-Maschine in linearer Zeit gelöst werden können.L ichN.LINLIN L ichN.⊆ P.LIN⊆PLIN \subseteq P Da HORN-SAT in lösbar ist (wie in linearen Zeitalgorithmen zum Testen der Erfüllbarkeit von...
Ich studiere für mein Finale in Theorie der Berechnung und ich kämpfe mit der richtigen Art zu antworten, ob diese Aussage wahr oder falsch ist. Durch die Definition von wir die folgende Aussage konstruieren:≤m≤m\leq_m w ∈ A.⟺f( w ) ∈ B → w ∉ A.⟺f( w ) ∉ B.w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in...
Wir hatten mehrere Fragen zum Verhältnis von Cook- und Karp-Reduktionen . Es ist klar, dass Cook-Reduktionen (Poluring-Zeit-Turing-Reduktionen) nicht den gleichen Begriff der NP-Vollständigkeit definieren wie Karp-Reduktionen (Polynom-Zeit-Viel-Eins-Reduktionen), die normalerweise verwendet werden....
Betrachten Sie das folgende Problem, dessen Eingabeinstanz ein einfacher Graph und eine natürliche ganze Zahl .GGGkkk Gibt es eine Menge so dass zweigeteilt ist und ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Ich möchte zeigen, dass dieses Problem ist -komplette entweder durch...
Um über Dinge wie die NP-Vollständigkeit nachzudenken, verwenden wir normalerweise Mehrfachreduktionen (dh Karp-Reduktionen). Dies führt zu Bildern wie diesen: (unter Standardvermutungen). Ich bin sicher, wir sind alle mit solchen Dingen vertraut. Welches Bild bekommen wir, wenn wir mit...
Nehmen wir an, wir wissen, dass Problem A schwierig ist, dann reduzieren wir A auf das unbekannte Problem B, um zu beweisen, dass B auch schwierig ist. Als Beispiel: Wir wissen, dass 3-Farben schwer sind. Dann reduzieren wir 3-Farben auf 4-Farben. Durch das Zusammenführen einer der Farben in der...
Ich versuche, einen Beweis für Folgendes zu finden: Für jede Sprache gibt es eine Sprache B, so dass A ≤ T B, aber B ≰ T A ist .EINAAB.BBA ≤T.B.A≤TBA \le_{\mathrm{T}} B≰T.EIN≰TA\nleq_{\mathrm{T}} A Ich dachte zu lassen seine A T M , aber ich merke , dass nicht alle Sprachen sind Turing -...
Ist eine Turing-Maschine, die Symbole aus einem unendlichen Alphabet lesen und schreiben darf, leistungsfähiger als ein normales TM (das ist der einzige Unterschied, die Maschine hat immer noch eine endliche Anzahl von Zuständen)? Die Intuition sagt es mir nicht, da Sie eine unendliche Anzahl von...
Ich versuche, dieses Problem anhand von Algorithmen zu verstehen . von S. Dasgupta, CH Papadimitriou und UV Vazirani, Kapitel 8 , S. 281. Problem 8.19 Ein Drachen ist ein Graph auf einer geraden Anzahl von Eckpunkten, beispielsweise , in dem der Eckpunkte eine Clique bilden und die verbleibenden n...