THE 4-COLOR THEOREM

Authors
ROBERTSON N SANDERS D SEYMOUR P THOMAS R
Citation
N. Robertson et al., THE 4-COLOR THEOREM, J COMB TH B, 70(1), 1997, pp. 2-44
Citations number
15
Categorie Soggetti
Mathematics, Pure",Mathematics
Journal title
JOURNAL OF COMBINATORIAL THEORY SERIES B
ISSN journal
00958956 → ACNP
Volume
70
Issue
1
Year of publication
1997
Pages
2 - 44
Database
ISI
SICI code
0095-8956(1997)70:1<2:T4T>2.0.ZU;2-R
Abstract
The four-colour theorem, that every loopless planar graph admits a ver tex-colouring with at most four different colours, was proved in 1976 by Appel and Haken, using a computer. Here we give another proof, stil l using a computer, but simpler than Appel and Haken's in several resp ects. (C) 1997 Academic Press.