Als «reductions» getaggte Fragen

In Bezug auf Berechenbarkeit und Komplexität finden Sie Zuordnungen zwischen Problemen, die es ermöglichen, ein Problem mithilfe einer Lösung eines anderen zu lösen. Zur Reduktion der Programmiersprachentheorie (zB Beta-Reduktion) siehe [Lambda-Kalkül] oder [Term-Rewriting].

1
Reduzierungen bei unentscheidbaren Problemen
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, dass es …
2
Ist HORN-SAT in LIN, wenn ja, warum ist das kein Hinweis darauf, dass P = LIN ist?
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 Aussagenhornformeln angegeben (1984) )O ( n )O(n)O(n) Es werden neue …
1
Wie sehen Komplexitätsklassen aus, wenn wir Turing-Reduktionen verwenden?
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 Turing-Reduktionen (dh Cook-Reduktionen) arbeiten? Wie verändert sich das Bild? Was sind insbesondere …
2
Können wir eine Karp-Reduktion aus einer Cook-Reduktion zwischen NP-Problemen konstruieren?
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. Insbesondere können Cook-Reduktionen NP nicht von Co-NP trennen, selbst wenn P NP. Daher sollten wir Cook-Reduktionen nicht in typischen …
1
Zeigen, dass das minimale Löschen von Scheitelpunkten in einem zweigeteilten Diagramm NP-vollständig ist
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 3-SAT, wodurch -CLIQUE, -DOMINATING SET oder -eckiges COVER …
1
Härte und Reduktionsrichtungen
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 3-Färbung …
2
Unendliches Alphabet Turing Machine
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 Zuständen benötigen, um jedes Symbol …
2
Für jede Sprache
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 …
1
Ausdruckskraft moderner regulärer Ausdrücke
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei ||||||||denen die Anzahl der |Primzahlen ist. Ich sagte ihm sofort, dass dies …
2
Die Färbbarkeit von Grafik 3 ist selbstreduzierbar
Ich interessiere mich für die Selbstreduzierbarkeit des Graph 3-Coloralibity-Problems. Definition des Graph 3-Coloralibity-Problems. Gibt es bei einem ungerichteten Graphen eine Möglichkeit, die Knoten rot, grün und blau zu färben, sodass keine benachbarten Knoten dieselbe Farbe haben?GGG Definition der Selbstreduzierbarkeit. Eine Sprache ist selbst reduzierbar , wenn eine Oracle Turingmaschine TM …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.