Post navigation

Graph Coloring, or Proof by Crayon

This is a precursor to a post which will actually use graph coloring to do interesting computational things. Even so, there are many fascinating ideas and theorems that result from graph coloring, so we devote an entire post just to it. For those who need an additional primer on the basic ideas of graph theory, see our gentle primer on the subject.

Why, Paris Hath Colour Enough.

How many colors are required to color the provinces of Costa Rica?

A common visual aid for maps is to color the regions of the map differently, so that no two regions which share a border also share a color. For example, to the right is a map of the provinces of Costa Rica (where the author is presently spending his vacation). It is colored with eight different colors, one for each province. Of course, before the days of 24-bit “true color,” designing maps was a long and detailed process, and coloring them was expensive. It was in a cartographer’s financial interest to minimize the number of colors used for any given map. This raises the obvious question, what is the minimum number of colors required to color Costa Rica in a way that no two provinces which share a common border share a common color?

With a bit of fiddling, the reader will see that the answer is obviously three. The astute reader will go further to notice that this map contains a “triangle” of three provinces which pairwise share common borders. Hence even these three alone cannot be colored with just two.

This problem becomes much trickier, and much more interesting to we mathematicians, as the number of provinces increases. So let us consider the map of the arrondissements of Paris.

The twenty arrondissements of Paris, which are arranged in a strangely nautilusy spiral.

With so many common borders, we require a more mathematically-oriented description of the problem. Enter graph theory.

Let us construct an undirected graph (for Paris), in which the vertices are the arrondissements, and two vertices are connected by an edge if and only if they share a common border. In general, when we color graphs we do not consider two regions to share a border if their borders intersect in a single point, as in the four corners of the United States. Performing this construction on Paris, we get the following graph. Recognizing that the positions of the corresponding vertices are irrelevant, we shift them around to have a nicely spread-out picture.

Now that the relationships between arrondissements are decidedly unambiguous, we may rigorously define the problem of coloring a graph.

Definition: A coloring of a graph is a map , such that if are connected by an edge, then . We call the size of a coloring, and if has a coloring of size we say that is -colorable, or that it has an -coloring.

Definition: The chromatic number of a graph , denoted is the smallest positive number such that is -colorable.

Our first map of Costa Rica was 3-colorable, and we saw indeed that .

We now turn our attention to coloring Paris. To do so, we use the following “greedy” algorithm. For the sake of the pseudocode, we represent colors by natural numbers.

Given a set of vertices V of a graph G:
For each vertex w in V:
let S_w be the set of colors which have been previously
assigned to neighbors of w
Color w with the smallest number that is not in S_w

Obviously, the quality of the coloring depends on the order in which we investigate the vertices. Further, there always exists an ordering of the vertices for which this greedy algorithm produces a coloring which achieves the minimum required number of colors, . Applying this to Pairs, we get the following 4-coloring:

Translating this back into its original form, we now have a pretty picture of Paris.

The Parisians will be thrilled when they find out they’re at most 4-colorable.

But this is not enough. Can we do it with just three colors? The call of the wild beckons! We challenge the reader to find a 3-coloring of Paris, or prove its impossibility. In the mean time, we have other matters to attend to.

We note (without proof) that to determine algorithmically is NP-complete in general. Colloquially this means a fast solution is believed not to exist, and to find one (or prove this belief is true) would immediately make one the most famous mathematician in the world. In other words, it’s very, very hard. The only general solutions take at worst an exponential or factorial amount of time with regards to the number of vertices in the graph. In other words, trying to run a general solution on a graph of 50 vertices is likely to take 50! (a 65-digit number) steps to finish, far beyond the computational capacity of any computer in the foreseeable future.

We Are But Planar Fellows, Sir.

Now we turn to a different aspect of graph theory, which somewhat simplifies the coloring process. The maps we have been investigating thus far are special. Specifically, their representations as graphs admit drawings in which no two edges cross. This is obvious by our construction, but on the other hand we recognize that not all graphs have such representations. For instance, try to draw the following graph so that no two edges cross:

If it seems hard, that’s because it’s impossible. The proof of this fact requires a bit more work, and we point the reader in the direction of Wagner’s Theorem. For now, we simply recognize that not all graphs have such drawings. This calls for a definition!

Definition: A simple graph is planar if it can be embedded in , or, equivalently, if it can be drawn on a piece of paper in such a way that any two intersecting edges do so only at a vertex.

As we have seen, the graphs corresponding to maps of arrondissements or provinces or states are trivially planar. And after a lifetime of cartography, we might notice that every map we attempt to color admits a 4-coloring. We now have a grand conjecture, that every planar graph is 4-colorable.

The audacity of such a claim! You speak from experience, sir, but experience certainly does not imply proof. If we are to seriously tackle this problem, let us try a simpler statement first: that every planar graph is 5-colorable. In order to do so, we need a few lemmas:

Lemma: If a graph has edges, then .

Proof. Since the degree of a vertex is just the number of edges touching it, and every edge touches exactly two vertices, by counting up the degrees of each vertex we count twice the number of edges.

Lemma: If a planar graph has edges and faces (regions bounded by edges, or the exterior of a graph) then , and .

Proof. In a planar graph, every face is bounded by at least three edges (by definition), and every edge touches at most two faces. Hence, counts each edge at most twice, while counts each face at least three times. .

We also recognize without proof the Euler Characteristic Formula for Planar Graphs, (which has an equally easy proof, provided you understand what an edge contraction is): , where has vertices, edges, and faces.

Lemma: Every planar graph has a vertex of degree less than 6.

Proof. Supposing otherwise, we may arrive at a contradiction in Euler’s formula: , so rearranging terms we get , and so . Recall that is the sum of the degrees of the vertices of . If every vertex has degree at least 6, then , which is just silly. .

This is all we need for the five color theorem, so without further ado:

Theorem: Every planar graph admits a 5-coloring.

Proof. Clearly every graph on fewer than 6 vertices has a 5-coloring. We proceed by induction on the number of vertices.

Suppose to the contrary that is a graph on vertices which requires at least 6 colors. By our lemma above, has a vertex of degree less than 6. Removing from , the inductive hypothesis provides a 5-coloring of the remaining graph on vertices. We simply need to color with one of these five colors, and the theorem is proved.

If has fewer than 5 neighbors or its neighbors use fewer than 5 colors, then we may assign it the color that is not used in any of its neighbors. Otherwise, we may assume has five neighbors, and each neighbor has a distinct color (presumably requiring to have the sixth, new color). Let be the neighbors of , labelled in some clockwise order around , and say they have colors , respectively.

Consider , the subgraph of which contains only vertices of colors 1 and 3. There are two cases: either is in the same connected component as (there exists a path connecting them which does not go through ), or not. If not, then we may take the component which contains , and switch the colors 1 and 3. Then is connected to two vertices of color 3, and we may color it 1.

Otherwise, there is a path from to . This path is special, because with , the path completely encapsulates with vertices of colors 1 and 3 (and ). The planarity of the graph implies, then, that cannot be connected to either of or . Hence, we may repeat the color-swapping argument on , the subgraph of colors 2 and 4, to give color 2. .

So that was entirely done with elementary arguments, and is a pretty neat proof. Of course, we really want the head of the four-color theorem on a mantle, but he is a much more elusive beast.

Computers Doing Proofs? Blasphemy.

But that is what it took to finish off the four-color theorem. Despite a hundred years of research and diversions, it took a brute-force computer search of 1,936 configurations, and over 1200 computer hours, to prove that no counterexample to the four-color theorem exists.

It was proved in 1976 by Appel and Haken, and it was very controversial for a long time, in principle because no human could verify that the computer hadn’t made an error. On the other hand, it was not hard to verify the correctness of the program itself, but after 1200 CPU hours, who can guarantee a bit wasn’t mistakenly flipped by some cosmic rays or a magnetic malfunction? Luckily, the proof was further simplified and reproved over the next twenty years, so today the problem is widely believed to be solved.

So indeed it is true! We may color every map with just four colors! Unfortunately, even a sketch of the proof is far beyond the scope of this blog. We are content to marvel at the work ethic of other mathematicians.

Next time, we will discuss the applications of graph coloring to computer problems, such as job scheduling and register allocation in compilers.

Spiral chain coloring is not only color the map of Paris in four colors but all normal maps. Correctness and termination condition (the colorabilty of the outer regions) have been given in my 2004 proof. Extended summary of the proofs can be found in:

As far as I know, the Four Color Theorem has already been proved without the need to appeal to computers. This has been done by appealing to the so-called snark theorem, which implies the four color theorem.

Is your algorithm faster than quadratic? If so, I’d love to see some pseudocode.

RSST proof (announced but not appeared) is rely on the existing computer aided proof of the 4CT. Instead of this I would suggest my spiral chains proof e.g., http://arxiv.org/abs/math/0507127

Complexity of the spiral chain coloring algorithm is order of O(n) for spiral chain decomposition of the graph and another order of kO(n) for coloring the nodes, where k is an constant greater than 1 representing number of Kempe switches in the coloring algorithm.

Paris cannot be 3-coloured. Proof by contradiction: Label vertex 6 with colour A. Vertex 1 cannot have colour A, so label it with colour B. Then vertex 5 (adjacent to 6 and 1) must be colour C; vertex 14 (adjacent to 6 and 5) must be colour B; vertex 15 (adjacent to 6 and 14) must be colour C; and now vertex 7 is adjacent to vertices 6, 1, and 15, which have colours A, B, and C, so the 3-colouring fails. Since our only choices be made without loss of generality, there is no possible 3-colouring.

Yes, you’ve identified a common structure that cannot be three-colored: the central node is completely connected to an exterior cycle. The thing which makes it work is that the exterior cycle has odd length (that is, by itself it cannot be 2-colored, and because every node in the cycle is connected to the central node, the whole thing cannot be three colored).

I like the statement of that theorem: Paris cannot be 3-colored. I hope the French aren’t offended by it 🙂

Another way to see that “Paris cannot be 3-colored” is the following. The map of Paris is not normal map that is there are points of degree 4 e.g., common point of regions (X,XI,XX,XIX). These correspond to the cycles of length for four in the graph. On the other hand by using the Kempe-argument the map of Paris can be transformed into a cubic map (normal map) without increasing its chromatic number. In that case the corresponding planar graph must be triangulated (every face is an triangle). But it can easily seen that in the maximal planar graph corresponding to the map of Paris cannot be made an even triangulation (all vertex degrees are even). Hence by the Heawood theorem chromatic number of Paris map is 4.

I have implemented in matlab a graph called “graph gabriel” which is a sub planar graph. my quetsion is how to calculate or find the faces of the graph for example F1 = {vertice1, vertice3, vertice4} so how to fin this liste of vertices that formes the face. So how to determine

Write code, not cover letters
Triplebyte's common application lets talented programmers skip resume and recruiter screens while applying to multiple top tech companies at once. Beat their online coding quiz to get started. People interested in math and physics tend to do well.