Como alguém mostra que uma determinada propriedade não pode ser expressa em 2-CNF (2-SAT)? Existem jogos, como jogos de seixos? Parece que o clássico jogo de pedras negras e preto e branco é inadequado para isso (eles são completos para o PSPACE, de acordo com Hertel e Pitassi, SIAM J of Computing, 2010).
Ou alguma outra técnica além dos jogos?
Edit : Eu estava pensando em propriedades que envolvem a contagem (ou cardinalidade) de um predicado desconhecido ( predicado SO , como diriam os teóricos do modelo finito). Por exemplo, como em Clique ou Correspondência não ponderada. (a) Clique : Existe um clique no gráfico fornecido G, de modo que | C | ≥ algum número dado K ? (b) Correspondência : Existe um M correspondente em G tal que | M | ≥ K ?
O 2-SAT pode contar? Possui um mecanismo de contagem? Parece duvidoso.