Definitions
Nearby Words

# Heawood conjecture

The Heawood conjecture or Ringel–Youngs theorem in graph theory gives an upper bound for the number of colors which are sufficient for graph coloring on a surface of a given genus. It was proven in 1968 by Gerhard Ringel and J. W. T. Youngs. One case, the non-orientable Klein bottle, proved an exception to the general formula. An entirely different approach was needed for finding the number of colors needed for the sphere, eventually solved as the four color theorem.

## Formal statement

P.J. Heawood conjectured in 1890 that for a given genus g > 0, the minimum number of colors necessary to color all graphs drawn on an orientable surface of that genus (or equivalently to color the regions of any partition of the surface into simply connected regions) is given by

$gamma \left(g\right) = left lfloor frac\left\{7 + sqrt\left\{1 + 48g\right\}\right\}\left\{2\right\} right rfloor,$

where $left lfloor x right rfloor$ is the floor function.

Replacing the genus by the Euler characteristic, we obtain a formula that covers both the orientable and non-orientable cases,

$gamma\left(chi\right) = left lfloor frac\left\{7 + sqrt\left\{49 - 24chi\right\}\right\}2 right rfloor.$

This relation holds, as Ringel and Youngs showed, for all surfaces except for the Klein bottle. Franklin (1930) proved that the Klein bottle requires at most 6 colors, rather than 7 as predicted by the formula (see Franklin graph).

In one direction, the proof is straightforward: by manipulating the Euler characteristic, one can show that any graph embedded in the surface must have at least one vertex of degree less than the given bound. If one removes this vertex, and colors the rest of the graph, the small number of edges incident to the removed vertex ensures that it can be added back to the graph and colored without increasing the needed number of colors beyond the bound. In the other direction, the proof is more difficult, and involves showing that in each case (except the Klein bottle) a complete graph with a number of vertices equal to the given number of colors can be embedded on the surface.

## Example

The torus has g = 1, so χ = 0. Therefore, as the formula states, any subdivision of the torus into regions can be colored using at most seven colors. The illustration shows a subdivision of the torus in which each of seven regions are adjacent to each other region; this subdivision shows that the bound of seven on the number of colors is tight for this case. The boundary of this subdivision forms an embedding of the Heawood graph onto the torus.

## References

• Franklin, P. (1934). "A six color problem". J. Math. Phys. 13 363–379.
• Heawood, P. J. (1890). "Map colour theorem". Quart. J. Math. 24 332–338.
• Ringel, G.; Youngs, J. W. T. (1968). "Solution of the Heawood map-coloring problem". Proc. Nat. Acad. Sci. USA 60 438–445. 0228378.

| doi = 10.1073/pnas.60.2.438}}
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 3, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8870718479156494, "perplexity_flag": "head"}