Kürzlich habe ich in einer Arbeit [1] eine spezielle symmetrische Version von SAT gefunden, die 2/2/4-SAT genannt wird . Es gibt aber viele vollständige Varianten, zum Beispiel: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...
Einige andere Varianten sind möglich: - SAT , Planar-NAE- SAT , ...
Gibt es Umfragepapiere (oder Webseiten), die alle (seltsamen) Varianten klassifizieren , deren NP- Vollständigkeit nachgewiesen wurde (oder in P )?
- D. Ratner und M. Warmuth (1986) finden eine kürzeste Lösung für die N x N- Erweiterung des 15-Puzzles.
Antworten:
Klassische, bekannte Ergebnisse
Wie von Standa Zivny zu der verwandten Frage von CSTheory erwähnt, sind welche SAT-Probleme einfach? gibt es ein bekanntes Ergebnis von Schäfer aus dem Jahr 1978 (mit der Antwort von Zivny):
Neuere und / oder "komische" Varianten
Lineare CNF-Varianten
Obwohl sie nicht exotisch oder seltsam sind, gibt es einige bekannte Varianten, nämlich NAE-SAT (nicht alle gleich SAT) und XSAT ( genau SAT; genau ein Literal in jedem Satz zu 1 und alle anderen Literale zu 0) Erfüllbarkeitsproblem wurden in der linearen Einstellung untersucht. Sätze einer linearen Formel haben paarweise höchstens eine Variable gemeinsam. Interessanterweise folgt der Komplexitätsstatus nicht aus Schäfers Theorem.
Einige weitere Aspekte bezüglich der Komplexität von NAE-SAT und XSAT sind unter bestimmten Annahmen wahrscheinlich noch offen. Für weitere Einzelheiten siehe zum Beispiel Porschen und Schmidt, Über einige SAT-Varianten über lineare Formeln, 2009 und Porschen et al., Komplexitätsergebnisse für lineare XSAT-Probleme, 2010 .
quelle