Überprüfung einer Subtilität von Karps ursprünglichem Beweis, dass SAT eine Polynomzeitreduktion auf 3SAT aufweist

8

Kurz gesagt, meine Frage lautet: Ist Karps ursprünglicher Beweis, der SAT auf 3SAT reduziert, unnötig aufwändig? Die Einzelheiten sind wie folgt.

In seiner Arbeit Reducibility Among Combinatorial Problems aus dem Jahr 1972 bewies Karp, dass sich SAT auf 3SAT reduziert, indem er Folgendes feststellte:

Ersetzen einer Klausel , wobei die σ i Literalen sind und m > 3 , die von ( σ 1σ 2U 1 ) ( σ 3... σ mˉ u 1 ) ( ˉ σ 3u 1 ) ( ˉ σ muσ1σ2σmσim>3 wobei u 1 eine neue Variable ist. Wiederholen Sie diese Umwandlung, bis keine Klausel mehr als drei Literale enthält.

(σ1σ2u1)(σ3σmu¯1)(σ¯3u1)(σ¯mu1),
u1

Es scheint mir, dass die letzten Klauseln (dh die Klauseln, die zwei Literale enthalten) hier unnötig sind. Die Konstruktion ist also wie geschrieben korrekt, aber aufwändiger als nötig. Ohne die 2-Literal-Klauseln erhalten wir die Konstruktion, die normalerweise in Lehrbüchern für Studenten angegeben ist. Ist das richtig oder fehlt mir etwas Offensichtliches? Ich bin mir sehr unsicher, ob etwas, das Karp getan hat, eleganter ausgedrückt werden könnte.m2

John MacCormick
quelle

Antworten:

9

(σ1σ2u1)(σ3σmu¯1)σiu1σiu1u¯1

u1σ3σm

Klaus Draeger
quelle
Danke für die hilfreiche Antwort. Um mein Verständnis zu erweitern und zu überprüfen, besteht eine andere Möglichkeit, dies zu erklären, darin, dass die zusätzlichen Klauseln sicherstellen, dass dies eine Reduzierung von #SAT auf # 3SAT darstellt (da sie die Anzahl der Lösungen und nicht nur die Existenz von Lösungen bewahren).
John MacCormick