Kenneth Appel y los mapas de colores

El problema es fácil de plantear, pero no tan fácil de responder:

Tenemos un mapa con tantas regiones como queramos, real o imaginario, tan sencillo o enrevesado como queramos. ¿Cuántos colores diferentes necesitamos para colorearlo, con la condición de que no haya dos países limítrofes del mismo color?

¿Alguna idea.....? ¿12 colores? ¿5? ¿3? ¿Muchos más? ¿O acaso no se puede saber.....?

La primera vez que se planteó el problema fue en 1852, pero se tardó más de un siglo en dar una primera demostración y casi siglo y medio en dar una demostración definitiva.

Hoy, 8 de octubre, cumpliría 93 años Kenneth Appel [1932-2013], uno de los matemáticos que demostró por primera vez el teorema de los cuatro colores a mediados de los años 70 junto a Wolfgang Haken, usando ordenadores de la época.

Y sí, basta con cuatro colores. Normalmente parece una respuesta poco intuitiva: tendemos a decir un número más alto o a pensar que puede haber un mapa suficientemente "complicado" como para que hagan falta más de cuatro colores diferentes. Pero no lo hay.... por mucho que compliques el mapa y que las regiones sean cada vez más enrevesadas, con cuatro colores es suficiente. 

Algunas referencias para conocer más sobre el tema:

Un par de vídeos interesantes (de Derivando y de Numberphile) para entender bien el problema y la solución:

Y una estupenda serie de cuatro artículos de la web Cultura Científica contando la historia del problema de los cuatro colores: aquí

***

En 1975, el divulgador matemático Martin Gardner publicó en la revista Scientific American un mapa que propuso como contraejemplo del teorema: el llamado mapa de McGregor., asegurando que necesitaba cinco colores.

Muchos lectores de la revista no se dieron cuenta de que el artículo había sido publicado en el día de los inocentes, y que efectivamente era un "contraejemplo falso", que por supuesto puede ser coloreado con solo 4 colores, como cualquier otro mapa....