The Four-Colour Theorem

@article{Robertson1997TheFT,
  title={The Four-Colour Theorem},
  author={Neil Robertson and Daniel P. Sanders and Paul D. Seymour and Robin Thomas},
  journal={J. Comb. Theory, Ser. B},
  year={1997},
  volume={70},
  pages={2-44}
}
The four-colour theorem, that every loopless planar graph admits a vertex-colouring with at most four different colours, was proved in 1976 by Appel and Haken, using a computer. Here we give another proof, still using a computer, but simpler than Appel and Haken's in several respects. 
View via Publisher
doi.org
603 Citations
Highly Influential Citations
35
Background Citations
210
Methods Citations
99
Results Citations
8

Figures from this paper

603 Citations

A new proof of the four-colour theorem

The four-colour theorem, that every loopless planar graph admits a vertex-colouring with at most four different colours, was proved in 1976 by Appel and Haken, using a computer. Here we announce…

A mathematical proof of four color theorem

The four-color theorem, that every loopless planar graph admits a vertex-coloring with at most four different colors, was proved in 1976 by Appel and Haken, using a computer. In this article I…

Edge-colouring eight-regular planar graphs

Deciding 4-colorability of planar triangulations

We show, without using the Four Color Theorem, that for each planar triangulation, the number of its proper vertex colorings by 4 colors is a determinant and thus can be calculated in a polynomial…

A pictorial proof of the Four Colour Theorem

We give a pictorial, and absurdly simple, proof that transparently illustrates why four colours suffice to chromatically differentiate any set of contiguous, simply connected and bounded, planar…

On the 4-color theorem for signed graphs

Edge-colouring seven-regular planar graphs

Efficiently four-coloring planar graphs

An outline of aquadratic algorithm to 4-color planar graphs is presented, based upon anew proof of the Four Color Theorem. This algorithm improves aquartic algorithm of Appel and Haken.

The chromatic number of the square of subcubic planar graphs

Wegner conjectured in 1977 that the square of every planar graph with maximum degree at most $3$ is $7$-colorable. We prove this conjecture using the discharging method and computational techniques…

The 5 Colour Theorem in Isabelle/Isar

Based on an inductive definition of triangulations, a theory of undirected planar graphs is developed in Isabelle/HOL. The proof of the 5 colour theorem is discussed in some detail, emphasizing the…
...

References

SHOWING 1-10 OF 20 REFERENCES

Kempe Chains and the Four Colour Problem

In October 1971 the combinatorial world was swept by the rumour that the notorious Four Colour Problem had at last been solved, - that with the help of a computer it had been demonstrated that any…

A systematic approach to the determination of reducible configurations in the four-color conjecture

XXIII.—Note on a Theorem in Geometry of Position

  • Tait
  • Mathematics
    Transactions of the Royal Society of Edinburgh
  • 1880
In connection with the problem of Map-colouring, I incidentally gave (Proc. K.S.E. 1880, p. 502) a theorem which may be stated as follows : — If 2n points be joined by 3n lines, so that three lines,…

Every planar map is four colorable. Part I: Discharging

Every planar map is four colorable. Part II: Reducibility

Une proprie te des graphes minimaux dans le proble me des quatre couleurs, in ``Proble mes Combinatoires et The orie des Graphes,'' Colloques internationaux C.N.R.S

  • No. 260,
  • 1978

EVERY PLANAR MAP IS FOUR COLORABLE

\Another proof of the four colour theorem { Part I

  • Manitoba Conf. on Numerical Math. and Computing, Proc. 7th Congressus Numerantium XX
  • 1977

On the Geographical Problem of the Four Colours

Another Reducible Edge Configuration