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].

3
Wenn P = NP, warum nicht
Offenbar , wenn , alle Sprachen in P mit Ausnahme von ∅ und Σ * wäre N P -komplette.P=NP{\sf P}={\sf NP}P{\sf P}∅\emptysetΣ∗\Sigma^*NP{\sf NP} Warum gerade diese beiden Sprachen? Können wir keine andere Sprache in auf sie reduzieren, indem wir sie ausgeben, wenn wir akzeptieren oder nicht akzeptieren?P{\sf P}
2
Ist Hidoku NP vollständig?
Ein Hidoku ist ein Gitter mit einigen vorgefüllten ganzen Zahlen von 1 bis n 2 . Ziel ist es, einen Pfad für aufeinanderfolgende ganze Zahlen (von 1 bis n 2 ) im Raster zu finden. Genauer gesagt muss jede Zelle des Gitters eine andere ganze Zahl von 1 bis n …
1
Gibt es ein vollständiges Problem für die Klasse der entscheidbaren Probleme?
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 Reduzierungen.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Gibt es vollständige Probleme für (auch bekannt als ) im Vergleich zu schwächeren Reduktionen? …
1
Planaritätsbedingungen für planares 1-in-3-SAT
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 für jedes ( xich, xich¯)(xich,xich¯)(x_i,\bar{x_i}) Paar Addiere eine …
1
Direktreduktion von
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 ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} viel einem log-Raum ist reduzierbar s t …
2
Mehrfachzeitverkürzung von ILP zu SAT?
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 Problemen auf ILP fungieren), da ILP sehr allgemein ist. …
1
Gibt es bekannte Probleme mit AM-complete / ist AM-complete gut definiert?
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" Problem für AM gut definiert ist. Da AM = BP.NP, …
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.