Apa contoh formula 3-CNF yang tidak memuaskan?


15

Saya mencoba untuk membungkus kepala saya di sekitar bukti NP-kelengkapan yang tampaknya berputar di sekitar SAT / 3CNF-SAT.

Mungkin ini sudah larut tetapi saya khawatir saya tidak dapat memikirkan formula 3CNF yang tidak dapat dipenuhi (saya mungkin kehilangan sesuatu yang jelas).

Bisakah Anda memberi saya contoh untuk formula seperti itu?

Jawaban:


29

Secara teknis, Anda dapat menulis di 3-CNF sebagai ( x x x ) ( ¬ x ¬ x ¬ x ) , tetapi Anda mungkin ingin "nyata" misalnya.x¬x(xxx)(¬x¬x¬x)

Dalam hal itu, rumus 3CNF membutuhkan setidaknya 3 variabel. Karena setiap klausa mengesampingkan satu penugasan, itu berarti Anda membutuhkan setidaknya klausa untuk memiliki formula yang tidak memuaskan. Memang, yang paling sederhana adalah:23=8

(xyz)(xy¬z)(x¬yz)(x¬y¬z)(¬xyz)(¬xy¬z)(¬x¬yz)(¬x¬y¬z)

2vvn(n1)2 comparisons to be made
Ben Crossley

@BenCrossley - not sure what you mean. Can you give an example?
Shaull

8

If you want more complex examples of such formulas, have a look some benchmark problems of SATLIB. ToughSAT is also a nice tool for creating 3-SAT instances; it's easy to build both satisfiable and unsatisfiable instances.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.