¿Cuál es un ejemplo de una fórmula 3-CNF insatisfactoria?

15

Estoy tratando de entender una prueba de integridad de NP que parece girar en torno a SAT / 3CNF-SAT.

Tal vez sea tarde, pero me temo que no puedo pensar en una fórmula 3CNF que no pueda satisfacerse (probablemente me falta algo obvio).

¿Me puede dar un ejemplo para tal fórmula?

usuario11171
fuente

Respuestas:

29

Técnicamente, puede escribir en 3-CNF como ( x x x ) ( ¬ x ¬ x ¬ x ) , pero probablemente desee un ejemplo "real".X¬X(XXX)(¬X¬X¬X)

En ese caso, una fórmula 3CNF necesita al menos 3 variables. Dado que cada cláusula descarta exactamente una asignación, eso significa que necesita al menos cláusulas para tener una fórmula no satisfactoria. De hecho, el más simple es:23=8

(Xyz)(Xy¬z)(X¬yz)(X¬y¬z)(¬Xyz)(¬Xy¬z)(¬X¬yz)(¬X¬y¬z)
No es difícil ver que esta fórmula es insaciable.
Shaull
fuente
2vvnorte(norte-1)2
@BenCrossley: no estoy seguro de lo que quieres decir. ¿Puede dar un ejemplo?
Shaull
8

Si desea ejemplos más complejos de tales fórmulas, eche un vistazo a algunos problemas de referencia de SATLIB . ToughSAT también es una buena herramienta para crear instancias 3-SAT; Es fácil construir instancias satisfactorias e insatisfactorias.

Juho
fuente