Klasifikasi varian masalah kepuasan yang sulit dipraktekkan / dapat ditelusuri


20

Baru-baru ini saya menemukan di sebuah makalah [1] versi simetris khusus dari SAT yang disebut 2/2/4-SAT . Tetapi ada banyak -varian lengkap di luar sana, misalnya: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NP

Beberapa varian lainnya dapat ditelusuri: - , Planar-NAE- , ...2SATDUDUK

Apakah ada makalah survei (atau halaman web) yang mengklasifikasikan semua (aneh) varian yang telah terbukti sebagai -complete (atau dalam )?DUDUKNPP


  1. Menemukan solusi terpendek untuk x perpanjangan 15-Teka-teki adalah sulit dipecahkanNN oleh D. Ratner dan M. Warmuth (1986)

@mrm: terima kasih, saya tidak tahu kertas Schaefer ( dl.acm.org/citation.cfm?doid=800133.804350 )
Vor

1
Saya menghapus "posting favorit Anda", karena ini adalah contoh buku teks tentang apa yang tidak boleh ditanyakan di Stack Exchange . (Ya, ia bekerja pada Ilmu Komputer Teoritis sampai batas tertentu, tetapi itu adalah kasus khusus karena khalayak yang sangat atipikal.)
Gilles 'SO-stop being evil'

Jawaban:


18

Klasik, hasil yang terkenal

Seperti yang disebutkan oleh Standa Zivny pada pertanyaan terkait CSTheory, Masalah SAT mana yang mudah? , ada hasil terkenal oleh Schaefer dari 1978 (mengutip jawaban Zivny):

Jika SAT parametris dengan seperangkat hubungan yang diizinkan dalam contoh apa pun, maka hanya ada 6 kasus yang dapat ditelusuri: 2-SAT (yaitu setiap klausa adalah biner), Horn-SAT, dual-Horn-SAT, affine-SAT (solusi untuk linier persamaan dalam GF (2)), 0-valid (relasi dipenuhi oleh semua-0 penugasan) dan 1-valid (relasi dipenuhi oleh semua-1 penugasan).

Planar-3SAT yang berarti versi planar dari 3SAT dikenal sebagai -complete. LihatD Lichtenstein, rumus Planar dan penggunaannya, 1981. Versi non-planar dari 3SAT tentu saja merupakanmasalah N P -lengkapklasik yang sangat terkenal.NPNP

3SAT Tidak Sama Semua ( NAE-3SAT ) adalah -complete. Namun, versi planar itu dalam P seperti yang ditunjukkan olehMoret, Planar NAE3SAT dalam P, 1988.NPP

Varian yang lebih baru dan / atau "aneh"

-warna Monoton NAE-3SATk

Berikut varian yang lebih eksotis atau aneh, masalah keputusan yang disebut -colourable Monotone NAE-3SATk :

Diberikan ekspresi CNF monoton dengan tepat tiga variabel berbeda di setiap klausa, sedemikian rupa sehingga grafik kendala yang sesuai G ( ϕϕ adalah k-yg berhasil, adalah ekspresi φ tidak-semua-sama satisfiable?G(ϕ)ϕ

Di sini grafik kendala terkait adalah grafik tak berarah sederhana yang terkait dengan ϕ sebagai berikut: Setiap variabelG(ϕ)ϕ adalah simpul dalam G , dan dua simpul memiliki tepi di antara mereka jika mereka muncul dalam beberapa klausa bersama.ϕG

Untuk masalahnya adalah di P . Namun untuk k = 5 , yak=4Pk=5NP

Varian CNF linier

Meskipun tidak mungkin eksotis atau aneh, beberapa varian terkenal, yaitu NAE-SAT (tidak-semua-sama SAT) dan XSAT ( Pers tepat; persis satu literal dalam setiap klausa ke 1 dan semua literal lainnya ke 0), dari masalah kepuasan telah diselidiki dalam pengaturan linier . Klausa rumus linear berpasangan memiliki paling banyak satu variabel. Menariknya, status kompleksitas tidak mengikuti dari Teorema Schaefer.

NPNPkk3NP

Beberapa aspek lebih lanjut mengenai kompleksitas NAE-SAT dan XSAT berdasarkan asumsi tertentu mungkin masih terbuka. Untuk lebih spesifik, lihat misalnya Porschen dan Schmidt, On Some SAT-Variants over Linear Formulaulas, 2009 dan Porschen et al., Hasil Kompleksitas untuk Linear XSAT-Problem, 2010 .

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.