# 4 color Maps

**URL:** <https://boards.straightdope.com/t/4-color-maps/500175>\
**Category:** Cecil's Columns/Staff Reports\
**Created:** [June 18, 2009, 2:44pm UTC](https://boards.straightdope.com/t/4-color-maps/500175 "2009-06-18T14:44:38Z")\
**Posts on this page:** 20\
**Page:** 1

<div class="post-metadata">

**Author:** ![a.t.w](https://avatars.discourse-cdn.com/v4/letter/a/e68b1a/32.png) [@a.t.w](https://boards.straightdope.com/u/a.t.w)\
**Post date:** [June 18, 2009, 2:44pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/1 "2009-06-18T14:44:38Z")

</div>

In response to the recent article regarding maps that require 4 or more colors…What about Bolivia? It is bordered by Peru, Paraguay, Brazil, Argentina, and Chile. During the 1800s it also bordered the Pacific. I think we would need more than 4 colors to map this region.

---

<div class="post-metadata">

**Author:** ![tullsterx](https://avatars.discourse-cdn.com/v4/letter/t/e9bcb4/32.png) [@tullsterx](https://boards.straightdope.com/u/tullsterx)\
**Post date:** [June 18, 2009, 3:04pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/2 "2009-06-18T15:04:05Z")

</div>

You don’t need more than four in order to avoid having **adjacent** polygons having the same color. In a map like you describe, colors might be duplicated, but the same color polygons do not have to be adjacent.

---

<div class="post-metadata">

**Author:** ![Exapno\_Mapcase](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/exapno_mapcase/32/1051_2.png) [@Exapno\_Mapcase](https://boards.straightdope.com/u/Exapno_Mapcase)\
**Post date:** [June 18, 2009, 3:10pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/3 "2009-06-18T15:10:49Z")

</div>

You can see this even more emphatically in the U.S. Tennessee is bordered by 8 states, Arkansas, Mississippi, Alabama, Georgia, North Carolina, Virginia, Kentucky, and Missouri.

Yet [here](http://www.ato.org/images/us_map.jpg) is a map using four colors.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [June 18, 2009, 3:11pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/4 "2009-06-18T15:11:21Z")

</div>

[A four-coloring of South America](http://jaxknits.blogspot.com/2008/12/since-when-is-this-graph-theory-blog.html).

[The column in question](http://www.straightdope.com/columns/read/117/did-they-finally-solve-the-four-color-map-problem).

---

<div class="post-metadata">

**Author:** ![John\_W.Kennedy](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/john_w.kennedy/32/1031_2.png) [@John\_W.Kennedy](https://boards.straightdope.com/u/John_W.Kennedy)\
**Post date:** [June 18, 2009, 4:22pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/5 "2009-06-18T16:22:48Z")

</div>

To expand on Cecil’s explanation, there was an old proof, from about a hundred years ago, that turned to have an error in it. However, the error was slight enough that a modified version successfully proved that you never needed more than five colors. That’s where the problem rested for decades.

Then Haken and Appel showed that the number of ways the old proof could go wrong was finite. So they programmed a computer to list the (roughly a thousand, I think) ways. Then they looked at one of the simple cases, and proved that _that_ could be done with four colors, too. Then they told the computer to look at the other cases and create new variations on that proof. If the computer failed for a certain case, they solved it by hand again, and then had the computer do variations on that, until, at last, all the possible exceptions were proven not to be exceptions.

---

<div class="post-metadata">

**Author:** ![DSYoungEsq](https://avatars.discourse-cdn.com/v4/letter/d/c6cbf5/32.png) [@DSYoungEsq](https://boards.straightdope.com/u/DSYoungEsq)\
**Post date:** [June 18, 2009, 5:33pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/6 "2009-06-18T17:33:11Z")

</div>

Just for clarification, it should be noted (since Cecil doesn’t expound at length on the “rules” of the game) that two regions are not adjacent if they share only one point. Thus, even if at the famous “Four Corners” intersection in the United States they created a fifth state that shared that point, it wouldn’t cause the four color rule to be violated.

---

<div class="post-metadata">

**Author:** ![TRogers91](https://avatars.discourse-cdn.com/v4/letter/t/b5ac83/32.png) [@TRogers91](https://boards.straightdope.com/u/TRogers91)\
**Post date:** [June 18, 2009, 7:02pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/7 "2009-06-18T19:02:16Z")

</div>

Considering the changes in political geography since this columns first appear in 1984 (Europe and Asia are VASTLY different), has the four-color map been applied to the way the world is TODAY?

---

<div class="post-metadata">

**Author:** ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)\
**Post date:** [June 18, 2009, 7:11pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/8 "2009-06-18T19:11:12Z")

</div>

> [@TRogers91](#):
>
> Considering the changes in political geography since this columns first appear in 1984 (Europe and Asia are VASTLY different), has the four-color map been applied to the way the world is TODAY?

It doesn’t necessarily apply to countries, provinces, etc., in the real world, because they sometimes fail one of the important conditions of the four-colour theorem: their territories are not necessarily one continuous shape, but can have parts disconnected from other parts of the territory. Two examples are Alaska as part of the United States and Kaliningrad as part of Russia.

---

<div class="post-metadata">

**Author:** ![Deeg](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/deeg/32/2955_2.png) [@Deeg](https://boards.straightdope.com/u/Deeg)\
**Post date:** [June 18, 2009, 8:29pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/9 "2009-06-18T20:29:25Z")

</div>

Pretty good article on it at Wikipedia: [Four color theorem - Wikipedia](http://en.wikipedia.org/wiki/Four-color_problem)

---

<div class="post-metadata">

**Author:** ![BigT](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/bigt/32/12044_2.png) [@BigT](https://boards.straightdope.com/u/BigT)\
**Post date:** [June 18, 2009, 9:49pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/10 "2009-06-18T21:49:15Z")

</div>

JWK: You are the first person to explain to me the use of the computer in solving the theorem so that I understood it.

Incidentally, I first learned about the theorem from a program on PBS. It had Max Headroom in it (or a clone) and some math detectives with days for last names. Anyone know the name of it?

ETA: Nevermind. It’s called [Square One](http://en.wikipedia.org/wiki/Square_One_%28TV_series%29).

---

<div class="post-metadata">

**Author:** ![tim314](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/tim314/32/3468_2.png) [@tim314](https://boards.straightdope.com/u/tim314)\
**Post date:** [June 18, 2009, 9:53pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/11 "2009-06-18T21:53:54Z")

</div>

The examples above probably clarify things, but just to be clear . . .

Bolivia has five neighbors. None of these five neighbors can be colored the same color as Bolivia. _However,_ one neighbor of Bolivia (say Peru), can have the same color as _another_ neighbor of Bolivia (say Argentina), because Peru and Argentina don’t neighbor each other.

---

<div class="post-metadata">

**Author:** ![tim314](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/tim314/32/3468_2.png) [@tim314](https://boards.straightdope.com/u/tim314)\
**Post date:** [June 18, 2009, 9:55pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/12 "2009-06-18T21:55:29Z")

</div>

> [@BigT](#):
>
> JWK: You are the first person to explain to me the use of the computer in solving the theorem so that I understood it.
> 
> Incidentally, I first learned about the theorem from a program on PBS. It had Max Headroom in it (or a clone) and some math detectives with days for last names. Anyone know the name of it?
> 
> ETA: Nevermind. It’s called [Square One](http://en.wikipedia.org/wiki/Square_One_%28TV_series%29).

Square One was a great show. The segment with the detectives was “Mathnet”, a parody of “Dragnet”.

---

<div class="post-metadata">

**Author:** ![John\_W.Kennedy](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/john_w.kennedy/32/1031_2.png) [@John\_W.Kennedy](https://boards.straightdope.com/u/John_W.Kennedy)\
**Post date:** [June 19, 2009, 4:24pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/13 "2009-06-19T16:24:55Z")

</div>

> [@Giles](#):
>
> It doesn’t necessarily apply to countries, provinces, etc., in the real world, because they sometimes fail one of the important conditions of the four-colour theorem: their territories are not necessarily one continuous shape, but can have parts disconnected from other parts of the territory. Two examples are Alaska as part of the United States and Kaliningrad as part of Russia.

Not to mention water, which counts as a “country” for coloring purposes.

---

<div class="post-metadata">

**Author:** ![John\_W.Kennedy](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/john_w.kennedy/32/1031_2.png) [@John\_W.Kennedy](https://boards.straightdope.com/u/John_W.Kennedy)\
**Post date:** [June 19, 2009, 4:29pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/14 "2009-06-19T16:29:40Z")

</div>

> [@tim314](#):
>
> Square One was a great show.

“That’s…  
Infinity.  
You can count forever;  
There’ll always be one more!  
That’s Infinity.  
Count from dusk to dawn;  
You’ll never reach Infinity, you’ll just go on  
And on  
And on and on and on  
And on and on and on and on…”

> [@](#):
>
> The segment with the detectives was “Mathnet”, a parody of “Dragnet”.

“It was 9:00 A.M. in Los Angeles, and the smog was so thick you could cut it with a cliché.”

---

<div class="post-metadata">

**Author:** ![Powers](https://avatars.discourse-cdn.com/v4/letter/p/edb3f5/32.png) [@Powers](https://boards.straightdope.com/u/Powers)\
**Post date:** [June 19, 2009, 5:19pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/15 "2009-06-19T17:19:14Z")

</div>

> [@John\_W.Kennedy](#):
>
> Not to mention water, which counts as a “country” for coloring purposes.

Yes, and would theoretically allow Britain, Ireland, and France to all be colored the same.

So just because a map _could_ be colored with four colors doesn’t mean it’s a good idea!  
Powers &8^]

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [June 19, 2009, 5:33pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/16 "2009-06-19T17:33:13Z")

</div>

> [@](#):
>
> Just for clarification, it should be noted (since Cecil doesn’t expound at length on the “rules” of the game) that two regions are not adjacent if they share only one point. Thus, even if at the famous “Four Corners” intersection in the United States they created a fifth state that shared that point, it wouldn’t cause the four color rule to be violated.

There’s a point in Florida where five counties do come together at a point. IIRC, it’s in the middle of Lake Okeechobee.

And you could treat the ocean as a “country” for purposes of four-coloring, but then you might be forced to color some landlocked countries blue, too.

> [@](#):
>
> Yes, and would theoretically allow Britain, Ireland, and France to all be colored the same.

Well, the UK and the Republic of Ireland do share a land border, but the point remains.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [June 19, 2009, 5:52pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/17 "2009-06-19T17:52:02Z")

</div>

I think you might run into problems with planarity if you consider the ocean, since it borders everything.

---

<div class="post-metadata">

**Author:** ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)\
**Post date:** [June 19, 2009, 5:58pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/18 "2009-06-19T17:58:31Z")

</div>

> [@ultrafilter](#):
>
> I think you might run into problems with planarity if you consider the ocean, since it borders everything.

It doesn’t border landlocked countries, such as Switzerland.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [June 19, 2009, 6:34pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/19 "2009-06-19T18:34:44Z")

</div>

> [@Giles](#):
>
> It doesn’t border landlocked countries, such as Switzerland.

Fair enough. But take a look at the South America map I linked to earlier, where the ocean borders all but two countries.

---

<div class="post-metadata">

**Author:** ![tim314](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/tim314/32/3468_2.png) [@tim314](https://boards.straightdope.com/u/tim314)\
**Post date:** [June 19, 2009, 7:15pm UTC](https://boards.straightdope.com/t/4-color-maps/500175/20 "2009-06-19T19:15:53Z")

</div>

> [@ultrafilter](#):
>
> Fair enough. But take a look at the South America map I linked to earlier, where the ocean borders all but two countries.

Take that map, make Venezuela and Suriname gray, and paint the water blue like land-locked Bolivia. You still need just four colors.

[Next page](https://boards.straightdope.com/t/4-color-maps/500175.md?page=2)
