Goody! A serious discussion of the four-color map theorem! (I had tried to start one of these a year or so ago, but it was quickly hijacked by people who did not understand the word “contiguous.”)
Another point worth making: on real maps, all water must always be blue; no land area can ever be blue (or at least not the same shade of blue). On these theoretical maps, there are no such restrictions. Any area can be any color, so long as no two adjacent areas are the same color.
Which leads me to my question. I have a simple explanation for the phenomenon. But I assume it is not a “proof.” (Pehaps this is the simple, hole-filled proof Mr. Kennedy alludes to.) So, assuming there is something wrong with this, I present it so the math whizzes can show me where I went wrong:
-
Start with a flat surface. Divide it into any number of areas. The rules of contiguity and no-special-color-for-water apply.
-
Pick any area. Count how many neighbors it has – how many other areas it shares a border with. (A border being a line segment, and not just a single point.)
-
The number of areas must be a whole, positive number. It will thus be either odd or even.
If the number of neighbors is even, then you need only three colors (red for the central area, and then alternate blue and green for the others).
Example: Iowa red, Minnesota blue, Wisconsin green, Illinois blue, Missouri green, Nebraska blue, South Dakota Green.
If the number of neighbors is odd, then you need four colors (red for the central area, alternate blue and green, and then insert one yellow so you don’t get two blues next to each other.)
Example: Nevada red, California blue, Arizona green, Utah blue, Idaho green, and then Oregon yellow, since it also borders blue California.
It is possible that you may have a small area (like DC in the earlier example) that is surrounded by areas you are coloring. This can add a complication – but if you find such an area, just use it as your starting point and assign colors from there.
Clearly, this is too simple. But I can’t see where it goes wrong. Can someone help? Thanks!
– Beruang