Teorema de los Cuatro Colores

Gustavo Eduardo Mendoza Ramírez

Universidad Tecnológica de Bolívar
Ternera Km. 1 – Cartagena, Bolívar - Colombia
gemr1423@hotmail.com
t00017506@utbvirtual.edu.co

Resumen — El presente documento revela como mediante la
aplicación de los grafos se llega a la solución de un problema
concreto como es el que se genera a partir de la pregunta
¿Cuantos colores son necesarios para dibujar un mapa político,
con la condición obvia que dos países adyacentes no puedan tener
el mismo color?
I. INTRODUCCIÓN
El teorema de los cuatro colores tiene su fundamento en el
teorema sobre el coloreo de grafos, y establece lo siguiente:
“Dado cualquier mapa geográfico, este puede ser coloreado
con cuatro colores diferentes, de forma que no queden
regiones adyacentes con el mismo color”, cabe destacar que
los países deben tener un borde en común no solamente un
punto, además se supone que los países son de un solo pedazo,
y que el mundo es esférico o plano, ya que en un mundo en
forma de toro; el teorema siguiente no es válido: estas son
condiciones indispensables para el desarrollo del teorema.
Haken, usando una computadora Cray de segunda generación,
analizaron 1900 posibles arreglos de regiones en el plano,
ósea, analizaron 1900 tipos distintos de mapas. La
computadora tardo 1200 horas en correr un programa que
tenia miles de líneas de largo, y para todos los mapas encontró
una coloración en la que a lo más se usaban cuatro colores.
III. ENUNCIADO FORMAL EN TEORÍA DE GRAFOS
En teoría de grafos, el problema se puede formular
convirtiendo el mapa en un grafo plano tal que cada región es
un vértice y las aristas van desde los vértices que
corresponden con regiones adyacentes. La solución seria
aquella en la que cada vértice tiene un color, de forma que dos
vértices adyacentes no tengan el mismo color.

II. RESEÑA
Los orígenes de este problema son muy antiguos, Los
cartógrafos renacentistas sabían ya que les bastaban cuatro
colores para colorear sus mapas de manera que dos países
vecinos quedaran con distinto color. Sin embargo, hasta el
siglo XIX, a nadie se le había ocurrido que este hecho tuviera
que ver con matemáticas y mucho menos que se podía o debía
demostrar. Es así como el llamado “problema de los cuatro
colores” se convirtió formalmente en un problema matemático
en 1850, cuando un estudiante ingles, Francis Guthrie, se dio Fig. 1 Conversión del mapa geográfico en un grafo plano.
cuenta de que siempre podía colorear correctamente los mapas
sin usar más de cuatro colores. Intuyendo que esto podía ser La demostración, que en 1976 llevaron a cabo Kenneth
demostrado, se lo conto a su germano Frederick, quien había Appel y Wolfgang Haken se baso en demostrar que no existía
estudiado con un prestigioso matemático ingles de la época ningún vértice adicional para ningún grafo tal que fueran
llamado Augustus De Morgan. necesarios cinco colores. Por ello, se dice que un grafo plano
correspondiente a un mapa es, como mucho, un grafo 4-
A. Sociedad Matemática de Londres coloreable.
En 1878 el matemático Arthur Cayley propuso oficialmente
A. Coloreo de Grafos
el problema a la Sociedad Matemática de Londres, una de las
sociedades de matemáticos más importantes del mundo en esa En la teoría de grafos, uno de los problemas mas
época. Con el paso de los años y el trabajo de tanta gente, se interesantes es el de coloreo o coloración de grafos. El
pudo demostrar dos cosas fundamentales: Primero que tres objetivo de este problema consiste en asignarle distintos
colores son insuficientes para colorear cualquier mapa, es colores (o números enteros) a los vértices de un grafo, de
decir, existen mapas que no pueden colorearse de ningún manera que ningún par de vértices adyacentes compartan el
modo usando únicamente tres colores. Segundo que con cinco mismo color o numero. El problema puede plantearse también
colores se puede colorear cualquier mapa correctamente. para aristas o para caras de la inmersión plana de un grafo,
Finalmente en 1976, 124 años después de que se había siendo el desarrollo muy similar al coloreado de vértices.
propuesto el problema, dos matemáticos de la Universidad de
Illinois en Estados Unidos, Kenneth Appel y Wolfgang
B. Número Cromático
Un grafo se denomina k-coloreado si puede colorearse con
k colores distintos. Es decir, si existe una asignación de k
colores diferentes que permitan un coloreo valido de un grafo
G. Se llama coloreo valido al coloreo que cumple la propiedad
ya mencionada de no asignar el mismo color a un par de
vértices adyacentes.
El numero cromático de un grafo es el menor numero
natural k entre todos los valores posibles que permiten k-
colorear un grafo. Se denomina a este valor como X (G).
C. Algoritmo para Coloreo de Mapas
Existen diversos algoritmos para el coloreo de mapas, unos
mas óptimos que otros, algunos pueden ser modificaciones de
otros, pero en general se tiene la misma idea y se debe llegar a
soluciones casi iguales que es la que se esta buscando. A
continuación se desarrolla un algoritmo que trabaja de una
manera intuitiva tratando de detectar cuales nodos son los que
tienen mayor posibilidad de generar un error y pintándolos en
las primeras instancias.
1) Grafos Planos: Cada región del mapa se considera un
nodo del grafo, y las aristas del grafo representan los límites
entre las distintas regiones. Un grafo es plano si sus nodos
pueden ser conectados de manera que sus aristas no se crucen.
2) Nodos que Presentan Problemas: Cuando se esta
pintando un grafo, los nodos que presentan problemas son
aquellos que cuando van a ser pintados ya tienen los nodos
adyacentes pintados con los cuatro colores disponibles de
manera que no pueden ser pintado con ningún color.
Analizando esto, podemos concluir que los nodos que
presentan problemas son aquellos de grado mayor o igual que
4, y que cuanto mayor sea su grado mas posibilidades tiene de
presentar un problema.
3) Algoritmo de Eliminación de Posibilidades: Este
algoritmo consiste en, primero seleccionar del mapa sin pintar
el nodo de mayor grado y pintarlo con cualquiera de los 4
colores disponibles. De esta manera, en los pasos siguientes,
estoy limitando a los nodos adyacentes de los ya coloreados a
la posibilidad de tomar uno de los colores restantes. O lo que
es igual, elimino de sus listas de posibles colores candidatos
el/los color/es con el que pinte el/los nodo/s adyacentes. En el
siguiente algoritmo vemos que Pintar (n) pinta al nodo n con
el color de menor valor que no esta asignado a ninguno de los
nodos adyacentes a n.
Fig. 2 Algoritmo de Eliminación de Posibilidades
B. Grado de Error
Al utilizar el algoritmo con mapas bastante complicados,
este presentaba algunos problemas. Luego de realizar pruebas
se encontró que el problema estaba dado por los nodos
adyacentes a los que generaban errores que eran pintados
antes que estos. Fue así como se planteo un nuevo algoritmo
definiendo “el grado de error de un nodo” como el grado del
nodo mas la cantidad de nodos adyacentes que tengan grado
igual o superior a el. Sabiendo que los nodos de grado inferior
a cuatro no pueden generar errores, podemos definir un
algoritmo para calcular el grado de error de un nodo de la
siguiente manera, donde Grado(n) devuelve el grado del nodo
n.
Fig. 3 Algoritmo del grado de error.
IV. CONCLUSIONES
El teorema de los cuatro colores no es nada obvio. Prueba
de ello es que se han tenido que emplear ordenadores para
acabar la demostración (se realizo un programa que permitió
verificar una multitud de casos, lo que ahorro mucho tiempo a
los matemáticos). Fue así como por primera vez la comunidad
matemática acepto una demostración asistida por ordenador,
lo que ha creado una fuerte polémica dentro de la comunidad
matemática, llegando en algunos casos a plantearse la cuestión
de que esta demostración y su aceptaciones uno de los
momentos que han generado una de las mas terribles crisis en
el mundo matemático.
RECONOCIMIENTOS
Se reconoce la labor de la profesora Angélica Mendoza
González en su desempeño por enseñarnos y guiarnos a través
del curso de Estructuras de Datos, gracias a ello hemos
comprendido muchas cosas acerca de estas estructuras
abstractas, además de que reconocemos claramente su
aplicabilidad en los diferentes campos. Con todo este
conocimiento he desarrollado este trabajo donde se muestra
claramente una aplicación concreta de las estructuras llamadas
Grafos en la resolución de una demostración bastante
compleja.
REFERENCIAS
[1] Teorema 4 Colores: http://www.caerolus.com/informatica/teorema-4-
colores-aplicado-compiladores.html.
[2] Coloreo de Grafos: http://es.wikipedia.org/wiki/Coloreo_de_grafos.
[3] Robin Wilson, “Four Colors Suffice”