 FACTOID # 30: If Alaska were its own country, it would be the 26th largest in total area, slightly larger than Iran.

 Home Encyclopedia Statistics States A-Z Flags Maps FAQ About

 WHAT'S NEW

SEARCH ALL

FACTS & STATISTICS    Advanced view

Search encyclopedia, statistics and forums:

(* = Graphable)

Encyclopedia > Four colour theorem

The four color theorem states that every possible geographical map can be colored with at most four colors in such a way that no two adjacent regions receive the same colour. Two regions are called adjacent if they share a border segment, not just a point.

It is obvious that three colors are inadequate, and it is not difficult, relatively speaking, to prove that five colors are sufficient to color a map.

The four color theorem was the first major theorem to be proven using a computer, and the proof is not accepted by all mathematicians because it can not directly be verified by a human. Ultimately, one has to have faith in the correctness of the compiler and hardware executing the program used for the proof.

The lack of mathematical elegance was another factor, and to paraphrase comments of the time, "a good mathematical proof is like a poem—this is a telephone directory!"

 Contents

The problem itself dates to 1852, when Francis Guthrie, while trying to color the map of counties of England, noticed that four colors sufficed. According to Augustus De Morgan:

A student of mine [Guthrie] asked me today to give him a reason for a fact which I did not know was a fact - and do not yet. He says that if a figure be anyhow divided and the compartments differently coloured so that figures with any portion of common boundary line are differently coloured - four colours may be wanted, but not more - the following is the case in which four colours are wanted. Query cannot a necessity for five or more be invented...

The first printed reference is due to Arthur Cayley in 1878, "On the colourings of maps.", Proc. Royal Geog. Soc. 1 (1879), 259-261.

There were several early failed attempts at proving the theorem. One proof of the theorem was given by Alfred Kempe in 1879, which was widely acclaimed; another proof was given by Peter Tait in 1880. It wasn't until 1890 that Kempe's proof was shown incorrect by Percy Heawood, and 1891 that Tait's proof was shown incorrect by Julius Petersen - each false proof stood unchallenged for 11 years.

In 1890, in addition to exposing the flaw in Kempe's proof, Heawood proved that all planar graphs are five-colorable.

Significant results were produced by Croatian mathematician Danilo Blanuša in the 1940s by finding an original snark.

During the 1960s and 70s German mathematician Heinrich Heesch developed methods of applying the computer in searching for a proof.

However, it was not until 1977 that the four-color conjecture was finally proven by Kenneth Appel and Wolfgang Haken at the University of Illinois. They were assisted in some algorithmic work by J. Koch.

The proof reduced the infinitude of possible maps to 1,936 configurations (later reduced to 1,476) which had to be checked one by one by computer. The work was independently double checked with different programs and computers. In 1996, Neil Robertson, Daniel Sanders, Paul Seymour and Robin Thomas produced a similar proof which required checking 633 special cases. This new proof also contains parts which require the use of a computer and are impractical for humans to check alone.

Formal statement in graph theory

To formally state the theorem, it is easiest to rephrase it in graph theory. It then states that the vertices of every planar graph can be colored with at most four colors so that no two adjacent vertices receive the same color. Or "every planar graph is four-colorable" for short. Here, every region of the map is replaced by a vertex of the graph, and two vertices are connected by an edge if and only if the two regions share a border segment.

Generalizations

One can also consider the coloring problem on surfaces other than the plane. The problem on the sphere is equivalent to that on the plane. For closed (orientable or non-orientable) surfaces with positive genus, the maximum number p of colors needed depends on the surface's Euler characteristic χ according to the formula

where the outermost brackets denote the floor function. The only exception to the formula is the Klein bottle, which has Euler characteristic 0 and requires 6 colors. This was initially known as the Heawood conjecture and proved by Gerhard Ringel and J. T. W. Youngs in 1968.

Real world counter examples

In the real world, not all countries are contiguous (e.g. Alaska as part of the United States). If the chosen coloring scheme requires that the territory of a particular country must be the same color, four colors may not be sufficient. Conceptually, a constraint such as this enables the map to become non-planar, and thus the four color theorem no longer applies. For instance, consider a simplified map:

In this map, the two regions labeled A belong to the same country, and must be the same color. This map then requires five colors, since the two A regions together are contiguous with four other regions, each of which is contiguous with all the others. If A consisted of three regions, six or more colors might be required; one can construct maps that require an arbitrarily high number of colors. Results from FactBites:

 Four color theorem - Wikipedia, the free encyclopedia (2214 words) The four color theorem (also known as the four color map theorem) states that given any plane separated into regions, such as a political map of the counties of a state, the regions may be colored using no more than four colors in such a way that no two adjacent regions receive the same color. The four color theorem was the first major theorem to be proven using a computer, and the proof is not accepted by all mathematicians because it would be unfeasible for a human to verify by hand (see computer-aided proof). O'Connor and Robertson, The Four Colour Theorem, at the MacTutor archive, 1996.
 four (1618 words) He successfully investigated the number of colours needed for maps on other surfaces and gave what is known as the Heawood estimate for the necessary number in terms of the Euler characteristic of the surface. Reynolds increased it to 27 in 1926, Winn to 35 in 1940, Ore and Stemple to 39 in 1970 and Mayer to 95 in 1976. The Four Colour Theorem was the first major theorem to be proved using a computer, having a proof that could not be verified directly by other mathematicians.
More results at FactBites »

Share your thoughts, questions and commentary here
Press Releases | Feeds | Contact