The Ringel-Youngs theorem, known before its proof as the Heawood conjecture, gives the minimum number of colors needed to color every map on a surface of a given genus. For surfaces of genus 0, 1, 2, 3 and higher the required number of colors follows a formula giving 4, 7, 8, 9, 10 and so on; P. J. Heawood proposed the conjecture in 1890, and Gerhard Ringel and J. W. T. Youngs proved it in 1968, with the Klein bottle standing as the formula's sole exception, since Philip Franklin had shown in 1930 that it needs only six colors rather than the seven the general formula predicts. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Classification
Statement Form Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
In Branch
Source Heawood conjecture (Wikipedia)
Sources
1. Heawood conjecture (Wikipedia)
- [The Heawood conjecture, restated as the Ringel-Youngs theorem] proven in 1968 by Gerhard Ringel and J.W.T. Youngs
- In Branch: Graph Theory, Lead sentence
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.