nLab four-colour theorem




The four-colour theorem, or four colour map theorem, states that given any separation of a plane into contiguous regions, called a map, the regions can be coloured using at most four colours so that no two adjacent regions have the same colour. Regions are considered adjacent if they share a boundary segment.


See also

On the logical equivalence between the four-colour theorem and a statement about the transition from the small N limit to the large N limit for Lie algebra weight systems on Jacobi diagrams via the 't Hooft double line construction:

On a reformulation of the four-colour theorem as a statement about typing in lambda calculus:

Last revised on September 11, 2021 at 07:57:21. See the history of this page for a list of all contributions to it.