Pertanyaan yang diberi tag «3-sat»

2
Apa contoh formula 3-CNF yang tidak memuaskan?
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?
1
Kondisi planaritas untuk Planar 1-in-3 SAT
Planar 3SAT adalah NP-complete. Contoh planar 3SAT adalah instance 3SAT yang grafiknya dibuat menggunakan aturan berikut adalah planar: tambahkan simpul untuk setiap dan ¯ x ixsayaxsayax_ixsaya¯xsaya¯\bar{x_i} tambahkan simpul untuk setiap klausa CjCjC_j menambahkan keunggulan untuk setiap pasangan( xsaya, xsaya¯)(xsaya,xsaya¯)(x_i,\bar{x_i}) tambahkan edge dari vertex (atau ¯ x i ) ke setiap …
1
Bagaimana cara membuktikan bahwa versi 3SAT yang terbatas di mana tidak ada literal yang dapat muncul lebih dari sekali, dapat dipecahkan dalam waktu polinomial?
Saya mencoba mengerjakan tugas (diambil dari buku Algoritma - oleh S. Dasgupta, CH Papadimitriou, dan UV Vazirani , Bab 8, masalah 8.6a), dan saya memparafrasekan apa yang dinyatakannya: Mengingat bahwa 3SAT tetap NP-lengkap bahkan ketika terbatas pada rumus di mana setiap literal muncul paling banyak dua kali, menunjukkan bahwa jika …
1
Algoritma acak untuk 3SAT
Ada algoritma acak yang sangat sederhana yang, diberikan 3SAT, menghasilkan penugasan yang memenuhi setidaknya 7/8 dari klausa (dengan harapan): pilih penugasan acak. Penugasan acak memenuhi setiap klausa dengan probabilitas 7/8, dan dengan demikian linearitas harapan menunjukkan bahwa fraksi yang diharapkan dari klausa yang dipenuhi oleh penugasan acak adalah 7/8. Bisakah …
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.