Wie zeigt man, dass eine bestimmte Eigenschaft nicht in 2-CNF (2-SAT) ausgedrückt werden kann? Gibt es irgendwelche Spiele, wie zum Beispiel Kieselspiele? Das klassische Schwarzkieselspiel und das Schwarz-Weißkieselspiel scheinen dafür ungeeignet zu sein (laut Hertel und Pitassi, SIAM J of Computing, 2010, sind sie PSPACE-vollständig).
Oder andere Techniken als Spiele?
Bearbeiten : Ich dachte an Eigenschaften, die das Zählen (oder die Kardinalität) eines unbekannten Prädikats beinhalten ( SO- Prädikat, wie Theoretiker endlicher Modelle sagen würden). Zum Beispiel wie in Clique oder ungewichtetes Matching. (a) Clique : Gibt es eine Clique in der gegebenen Grafik so dass eine bestimmte Anzahl ? (b) Matching : Gibt es ein passendes in so dass ?
Kann 2-SAT zählen? Hat es einen Zählmechanismus? Scheint zweifelhaft.