Das Sipser-Buch "Einführung in die Berechnungstheorie" auf Seite 286 enthält eine Reduktion von 3SAT zu Hamilton-Pfadproblem.
Gibt es eine einfachere Reduzierung?
Mit einfacher meine ich eine Reduktion, die (für Studenten) leichter zu verstehen wäre.
Gibt es eine Reduktion, die eine lineare Anzahl von Variablen verwendet?
Die Reduktion von Sipser verwendet -Variablen, wobei die Anzahl von Sätzen und die Anzahl von Variablen ist. Mit anderen Worten, es ist möglich, dass die Verkleinerung die Größe von auf . Gibt es eine einfache Reduzierung, bei der die Größe des Ausgangs der Reduzierung in der Größe seines Eingangs linear ist?
Wenn es nicht möglich ist, gibt es einen Grund? Bedeutet das, dass ein unbekanntes Ergebnis Komplexität / Algorithmen bedeutet?
quelle
Antworten:
quelle