Als «reductions» getaggte Fragen

Eine Reduktion ist die Umwandlung eines Problems in ein anderes Problem. Ein Beispiel für die Verwendung einer Reduktion wäre zu zeigen, ob ein Problem P unentscheidbar ist. Dies würde erreicht werden, indem ein Entscheidungsproblem transformiert oder reduziert wirdP.in ein unentscheidbares Problem. Wenn dies erreicht werden kann, haben wir gezeigt, dass dieses Problem P unentscheidbar ist.



3
Warum wirkt sich Zufälligkeit stärker auf Verkleinerungen aus als auf Algorithmen?
Es wird vermutet, dass Zufälligkeit die Leistung von Polynom-Zeit-Algorithmen nicht erweitert, das heißt, es wird vermutet , dass P=BPPP=BPP{\bf P}={\bf BPP} gilt. Auf der anderen Seite scheint die Zufälligkeit eine ganz andere Wirkung auf Polynom Zeit haben Reduzierungen . Durch das bekannte Ergebnis Valiant und Vazirani, SATSATSAT reduziert sich auf …

2
Derandomizing Valiant-Vazirani?
Das Valiant-Vazirani- Theorem besagt, dass, wenn es einen (deterministischen oder randomisierten) polynomiellen Zeitalgorithmus gibt, um zwischen einer SAT-Formel mit genau einer erfüllenden Zuordnung und einer nicht erfüllbaren Formel zu unterscheiden, NP = RP . Dieses Theorem wird bewiesen, indem gezeigt wird, dass UNIQUE-SAT unter randomisierten Reduktionen NP- hart ist . …

5
Schnelle Reduktion von RSA zu SAT
Scott Aaronsons heutiger Blogbeitrag enthielt eine Liste von interessanten offenen Problemen / Aufgaben in der Komplexität. Besonders eines hat meine Aufmerksamkeit erregt: Erstellen Sie eine öffentliche Bibliothek von 3SAT-Instanzen mit möglichst wenigen Variablen und Klauseln, deren Lösung bemerkenswerte Konsequenzen hätte. (Zum Beispiel Instanzen, die die RSA-Faktorisierungsherausforderungen codieren.) Untersuchen Sie die …

7
Nichttriviale Mitgliedschaft in NP
Gibt es ein Beispiel für eine Sprache, die in , aber wo wir diese Tatsache nicht direkt beweisen können, indem wir zeigen, dass es ein polynomisches Zeugnis für die Zugehörigkeit zu dieser Sprache gibt?NPNPNP Stattdessen würde die Tatsache, dass die Sprache in , durch Reduzieren auf eine andere Sprache in …
27 reductions  np 

1
Gibt es subexponentielle Algorithmen für PLANAR SAT?
Einige NP-harte Probleme, die in allgemeinen Graphen exponentiell sind, sind in ebenen Graphen subexponentiell, da die Baumbreite höchstens 4,9 √ beträgt4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|}und sie sind exponentiell in der Baumbreite. Grundsätzlich interessiert mich, ob es subexponentielle Algorithmen für PLANAR SAT gibt, die NP-vollständig sind. Sei ϕϕ\phi eine CNF-Formel für Variablen xixix_i und …

2
Gibt es eine direkte / natürliche Reduktion, um nicht zweiteilige perfekte Übereinstimmungen mit der bleibenden Karte zu zählen?
Das Zählen der Anzahl perfekter Übereinstimmungen in einem zweigeteilten Graphen ist sofort auf die Berechnung der bleibenden Karte reduzierbar. Da sich das Finden einer perfekten Übereinstimmung in einem nicht bipartiten Graphen in NP befindet, gibt es eine gewisse Reduktion von nicht bipartiten Graphen auf die bleibende Zahl, aber es kann …

6
Fortgeschrittene Techniken zur Bestimmung der unteren Grenzen der Komplexität
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 Problem, welche Techniken wurden verwendet, um untere Grenzen für die …

2
Natural CLIQUE zur k-Farbreduktion
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 diesen Problemen gibt. Sagen wir, eine …

5
Neugierig auf computergestützte NP-Vollständigkeitsnachweise
In der Arbeit "Die Komplexität von Zufriedenheitsproblemen" von Thomas J. Schaefer hat der Autor darauf hingewiesen This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. …

1
Binäre Multiplikation und Paritätsfaltung
Bei dieser Frage geht es um die Beziehung zwischen normaler Multiplikation von Binärzahlen und polynomialer Multiplikation Mod 2. Um die Frage zu konkretisieren, möchte ich im Idealfall wissen, ob es eine bessere Lösung für die Frage von Knuth vol. 2, 3. Auflage, Seite 420 als im Buch angegeben. "Kann die …

9
Auszüge aus dem Buch.
Dies ist in Anlehnung an " Algorithmen aus dem Buch ". Obwohl Reduktionen auch Algorithmen sind, hielt ich es für zweifelhaft, dass man sich eine Reduktion der Antwort auf die Frage nach Algorithmen aus dem Buch vorstellen würde. Daher eine separate Abfrage! Ermäßigungen aller Art sind herzlich willkommen. Ich beginne …

3
Probleme, die unter randomisierten oder P / Poly-Reduktionen NP-vollständig sind.
In dieser Frage scheinen wir ein natürliches Problem identifiziert zu haben, das unter randomisierten Reduktionen NP-vollständig ist, möglicherweise jedoch nicht unter deterministischen Reduktionen (obwohl dies davon abhängt, welche unbewiesenen Annahmen in der Zahlentheorie zutreffen). Sind noch andere Probleme bekannt? Gibt es irgendwelche natürlichen Probleme, die unter P / Poly-Reduktionen NP-vollständig …


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.