Як видно, що певна властивість не може бути виражена в 2-CNF (2-SAT)? Чи є якісь ігри, наприклад, галькові ігри? Схоже, класична гра з чорною галькою та гра з чорно-білою галькою для цього непридатні (вони PSPACE завершені, згідно з Hertel та Pitassi, SIAM J of Computing, 2010).
Або будь-які прийоми, крім ігор?
Edit : я думав про властивості , які включають підрахунок (або потужність) в якості невідомого предиката ( SO присудок, як кажуть теоретики б кінцеві моделі). Наприклад, як у Clique або у невагомій відповідності. (a) Кліка : Чи є в даному графі G клаца така, що | C | ≥ деяке задане число K ? (Б) Збіг : Чи є відповідність M в G така , що | М | ≥ K ?
Чи можна рахувати 2-SAT? Чи має механізм підрахунку? Здається сумнівно.