Está en la página 1de 3

PROGRAMA(S): Varios

ASIGNATURA: Pensamiento Lógico Matemático


DOCENTE: Rubén Darío Lara (adaptado por: Diego Fernando Gómez M)
FECHA: marzo 26 de 2019

TEOREMA DE LOS 4 COLORES: LA TEORÍA DE GRAFOS AL SERVICIO DEL COLOREADO


DE MAPAS

A mediados del siglo XIX Francis Guthrie se dio cuenta mientras coloreaba un mapa de los condados de
Inglaterra de que necesitaba al menos cuatro colores para que se cumpliera la condición de que dos regiones
con frontera común tuvieran colores distintos (si dos regiones se tocan en un único punto se entiende que no
tienen frontera común). Francis le comentó el tema a su hermano Frederick, que a su vez se lo planteó a
Augustus de Morgan (profesor suyo en un curso de matemáticas en aquel momento), que, aunque no supo
responderle se encargó de difundir el asunto entre otros matemáticos. En 1878 Arthur Cayley lo presenta
formalmente a la London Mathematical Society y así el problema queda abierto con un enunciado como éste:

Todo mapa plano puede colorearse con, como máximo, cuatro colores con la condición de que regiones con
frontera común tengan colores distintos.

Al año siguiente, 1879 Alfred Kempe publica una demostración del mismo. En efecto parece ser que con cuatro
colores era suficiente y el problema estaba resuelto……y así fue hasta 1890, año en el que Percy Heawood
encontró un error insalvable en la demostración de Kempe, por lo que el problema volvía a estar abierto. A
partir de aquí muchos matemáticos (entre ellos el propio Heawood) atacaron el problema, pero ninguno de
ellos consiguió dar con el teorema.

Pero todos esos intentos fallidos no fueron en vano. Por el camino quedaron demostraciones de que para
colorear un mapa en una banda de Möbius hacen falta, a lo sumo, seis colores. También se demostró que cinco
colores eran suficientes para un mapa plano. Pero parecía que todos los mapas podían colorearse con cuatro

Por cierto, se ha comentado al principio que este problema pertenece a la teoría de grafos, pero no se ha dicho
cómo relacionar mapas con grafos. Lo que se hace a partir de cada mapa plano es calcular su grafo dual, que
se construye asignando un vértice a cada región y uniendo dos vértices con una arista si en el mapa las dos
regiones correspondientes a dichos vértices tenían frontera común. Por ejemplo, como el mapa que se muestra
a continuación

Página 1 de 3
Tendría como grafo dual al siguiente grafo:

De esta forma el problema queda planteado de la siguiente forma: ¿Es cierto que los vértices de todo grafo
plano pueden colorearse con, a lo sumo, cuatro colores de forma que dos vértices unidos por una arista tengan
colores distintos?

Por ejemplo, el mapa anterior (y, por tanto, también su grafo dual) puede colorearse con, en este caso, tres
colores:

Con todo esto ya en el siglo XX y sobre 1950 se comienza a pensar que los ordenadores podrían ser de gran
ayuda en este problema. El matemático alemán Heinrich Heesch fue uno de los pioneros en este sentido, y sus
investigaciones acabaron siendo fundamentales para el desenlace del asunto. Pero los auténticos protagonistas
de la demostración del teorema de los cuatro colores son Kenneth Appel y Wolfgang Haken. Ellos fueron los
que, en 1976, anunciaron que “Cuatro colores son suficientes”. La demostración que presentaron no es de las
más habituales, ya que una buena parte de la misma se realizó con ayuda del ordenador. Más adelante se
presentaron mejoras a la demostración de Appel y Haken, y hasta hay alguna propuesta que no utiliza ordenador
(que, hasta donde yo sé, no está confirmada como correcta), pero ellos fueron los primeros.

En la actualidad, la opinión más extendida es que el teorema de los cuatro colores está demostrado, aunque
quedan escépticos que consideran que no es “lícito” utilizar el ordenador de la forma en la que se hace en estas
demostraciones. (Tomado de: https://www.gaussianos.com/el-teorema-de-los-cuatro-colores-la-teoria-de-
grafos-al-servicio-del-coloreado-de-mapas/)
Página 2 de 3
Página 3 de 3