One aspect of the fourcolor theorem, which was seldom covered and relevant to the field of visual communication, is the actual effectiveness of the distinct 4 colors scheme chosen to define its mapping. If t is a minimal counterexample to the four color theorem, then no good configuration appears in t. The intuitive statement of the four color theorem, i. This is usually done by constructing the dualgraphof the map, and then appealing to the compactness theorem of propositional logic. Part i covers basic graph theory, eulers polyhedral formula, and the first published false proof of the four colour theorem. Pdf the four color theorem a new proof by induction. In graph theoretic terms, the theorem states that for loopless planar, the chromatic number of its dual graph is. In this way, the controversy over the modern methods used in the proof of the fourcolor theorem had also spread to disciplines outside of mathematics. In 1879, alfred kempe gave a proof that was widely known, but was incorrect, though it was not until 1890 that this was noticed by percy heawood, who modified the proof to show that five colors suffice to color any planar graph. If \g\ is a planar graph, then the chromatic number of \g\ is less than or equal to 4. By focusing on graph theory, trudeau teaches the important elements of mathematics.
Thus, the formal proof of the four color theorem can be given in the following section. Gerda fritsch this elegant little book discusses a famous problem that helped to define the field now known as graph theory. The mathematical reasoning used to solve the theorem lead to many practical applications in mathematics, graph theory, and computer science. But nobody could prove it until in 1976 appel and haken proved the theorem with the aid of a computer.
All regular maps can be simplified by removing all faces with less than five edges, without affecting the search and the validity of the proof. This is certainly an important contribution, but its not like its the first proof of the theorem. History, topological foundations, and idea of proof 9781461272540 by fritsch, rudolf and a great selection of similar new, used and collectible books available now at great prices. The ideas involved in this and the four color theorem come from graph theory.
The very best popular, easy to read book on the four colour theorem is. This elegant little book discusses a famous problem that help. There are many introduction useful to understand this problem, some of them more formal then others, but all can contribute to give an idea about the problem of coloring maps. Part i covers basic graph theory, eulers polyhedral formula, and the first published false proof of the fourcolour theorem. Ultimately, one has to have faith in the correctness of the compiler. In 1976 appel and haken achieved a major break through by thoroughly establishing the four color theorem 4ct. Kempes proof for the four color theorem follows below. This excellent book predates the four color theorems proof.
The four color theorem is a theorem of mathematics. Four color theorem simple english wikipedia, the free. In mathematics, the four color theorem, or the four color map theorem, states that, given any. Why is the obvious proof of the four colour map theorem. It says that in any plane surface with regions in it people think of them as maps, the regions can be colored with no more than four colors. Four, five, and six color theorems nature of mathematics. We want to color so that adjacent vertices receive di erent colors. 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 infeasible for a human to verify by hand. At a high level, the question proposes a local appr.
The proof theorem 1the four color theorem every planar graph is fourcolorable. A graph is a pair of sets, whose elements called vertices and edges. Appel and haken published an article in scienti c american in 1977 which showed that the answer to the problem is yes. For a more detailed and technical history, the standard reference book is.
A summary of the method, below, was taken from the book four. From the above two theorems it follows that no minimal counterexample exists, and so the 4ct is true. In graph theoretic terminology, the fourcolor theorem states that the vertices of every. However, this simple concept took over one hundred years and involved more than a dozen mathematicians to finally prove it. They are called adjacent next to each other if they share a segment of the border, not just a point.
It includes all the elementary graph theory that should be included in an introduction to the subject, before concentrating on specific topics relevant to the fourcolour problem. There were many false proofs, and a whole new branch of mathematics known as graph theory was developed to try to solve the theorem. Ive chosen the following introduction, but there are others that can be found here. Diestel is excellent and has a free version available online.
A simpler statement of the theorem uses graph theory. If gis a connected planar graph on nitely many vertices, then. A graph is planar if it can be drawn in the plane without crossings. In other words, only maps with all faces with five or more edges can be considered when searching for a demonstration of the problem.
Two regions that have a common border must not get the same color. Id like to offer a perspective that may help readers understand more clearly not only why this proof doesnt work, but what is it about this kind of approach that makes it unlikely to succeed. They contain an introduction to basic concepts and results in graph theory, with a special emphasis put on the networktheoretic circuitcut dualism. Part ii ranges widely through related topics, including mapcolouring on surfaces with holes, the famous theorems of kuratowski, vizing, and brooks, the conjectures of hadwiger and hajos, and much more besides. The four colour theorem nrich millennium mathematics project. A formal proof has not been found for the four color theorem since 1852 when francis guthrie first conjectured the four. This book gives a self contained historical introduction to graph theory using thirtyseven extracts from original articles translated when necessary. We assume that there exists a minimal graph that is not four colorable, thus every smaller graph can be four colored, for coloring graphs we will use the colors. What are some good books for selfstudying graph theory. The fourcolor theorem states that any map in a plane can be colored using. For every internally 6connected triangulation t, some good configuration appears in t. I, as a trained algebraic topologist, was asked to comment on this. For each vertex that meets more than three edges, draw a small circle around that vertex and erase the portions of the edges that lie in the circle. Pdf the four color theorem download full pdf book download.
Although flawed, kempes original purported proof of the four color theorem provided some of the basic tools later used to prove it. In particular, we present kempes proof of the fourcolor theorem. Some people think that, although their proof was correct, it was cheating to use a computer. Graphs, colourings and the fourcolour theorem oxford. To understand the principles of the four color theorem, we must know some basic graph theory.
Werner, verified the 1996 proof robertson, sanders, seymour, thomas proof of the theorem in coq see mathworld on the 4color theorem. Then there is some vertex vin our graph with degree at. Kempes proof was accepted for a decade until heawood showed an error using a map. The four color problem dates back to 1852 when francis guthrie, while trying to. If a graph ghas no subgraphs that are cycle graphs, we call gacyclic. Through a considerable amount of graph theory, the four color theorem was reduced to a nite, but large number 8900 of special cases. It is not the easiest book around, but it runs deep and has a nice unifying theme of studying how. We will prove this five color theorem, but first we need some other results. Very simple proof of this theorem, it has been around without a sustainable proof for more than 120 years. Planar map is fourcolorable, a book claiming a complete and detailed proof with a. Mathematically, the book considers problems on the boundary of geometry, combinatorics, and number theory, involving graph coloring problems such as the four color theorem, and generalizations of coloring in ramsey theory where the use of a toosmall number of colors leads to monochromatic structures larger than a single graph edge. Cs6702 graph theory and applications notes pdf book. In graphtheoretic terminology, the fourcolor theorem 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 for short, every planar graph is fourcolorable thomas 1998, p.
The notes form the base text for the course mat62756 graph theory. For graph theory, wikipedia gives a good overview, and you can skip the really. The theoretical part of our proof is described in 7. The four color theorem is true for maps on a plane or a sphere. The fact that three colors are not sufficient for coloring any map plan was quickly found see fig. It can also be used in an algorithm, for if a reducible configuration appears in a planar graph g, then. In this degree project i cover the history of the four color theorem, from the origin, to the first proof by appel and haken in. Theorem b says we can color it with at most 6 colors.