Algoritma GSAT sebagian besar lurus ke depan: Anda mendapatkan rumus dalam bentuk normal konjungtif dan membalikkan literal klausa hingga Anda menemukan solusi yang memenuhi rumus atau Anda mencapai batas max_tries / max_flips dan tidak menemukan solusi. Saya menerapkan algoritma...
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...
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...
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...
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...