# Every Planar Map Is Four Colorable

```@article{Appel2019EveryPM,
title={Every Planar Map Is Four Colorable},
author={Kenneth Appel and Wolfgang Haken},
journal={Mathematical Solitaires \& Games},
year={2019}
}```
• Published 19 March 2019
• Mathematics
• Mathematical Solitaires & Games
As has become standard, the four color map problem will be considered in the dual sense as the problem of whether the vertices of every planar graph (without loops) can be colored with at most four colors in such a way that no pair of vertices which lie on a common edge have the same color. The restriction to triangulations with all vertices of degree at least five is a consequence of the work of A. B. Kempe. Over the past 100 years, a number of authors including A. B. Kempe, G. D. Birkhoff…
1,174 Citations
Colouring planar graphs
The four-colour problem asks whether every planar graph is 4-colourable and one way to colour planar graphs is to investigate the problem of finding nowhere-zero k-flows in graphs: Theorem 4.1 below asserts that there is an equivalence between k-colouring a planargraph and finding a nowhere- zero k-flow in a graph.
TRIANGULATIONS OF S 3 AND THE COLORING OF GRAPHS
A simple necessary and sufficient condition is given for the vertices of a graph, planar or not, to be properly four-colorable. This criterion involves the notion of an "even" triangulation of S3 and
The a-graph coloring problem
Coloring Planar graphs via Colored Paths in the associahedra
• Mathematics
Int. J. Algebra Comput.
• 2013
This paper finds that some recent reformulations of the 4CT are essentially attempting to color elements of ℌ using expressions of elements of F as words in a certain generating set for F, and derives information about not just the colorability of certain elements ofℌ, but also about all possible ways to color these elements.
Further extensions of the Grötzsch Theorem
• Mathematics
Discret. Math.
• 2022
Local girth choosability of planar graphs
• Mathematics
• 2021
In 1994, Thomassen famously proved that every planar graph is 5-choosable, resolving a conjecture initially posed by Vizing and, independently, Erdős, Rubin, and Taylor in the 1970s. Later, Thomassen