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 adyacentesno puedan tener el mismo color?

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 F ORMAL 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.

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. 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 cuenta de que siempre podía colorear correctamente los mapas sin usar más de cuatro colores. Intuyendo que esto podía ser demostrado, se lo conto a su germano Frederick, quien había estudiado con un prestigioso matemático ingles de la época llamado Augustus De Morgan. A. Sociedad Matemática de Londres En 1878 el matemático Arthur Cayley propuso oficialmente el problema a la Sociedad Matemática de Londres, una de las sociedades de matemáticos más importantes del mundo en esa época. Con el paso de los años y el trabajo de tanta gente, se pudo demostrar dos cosas fundamentales: Primero que tres colores son insuficientes para colorear cualquier mapa, es decir, existen mapas que no pueden colorearse de ningún modo usando únicamente tres colores. Segundo que con cinco colores se puede colorear cualquier mapa correctamente. Finalmente en 1976, 124 años después de que se había propuesto el problema, dos matemáticos de la Universidad de Illinois en Estados Unidos, Kenneth Appel y Wolfgang Haken,

Fig. 1 Conversión del mapa geográfico en un grafo plano.

La demostración, que en 1976 llevaron a cabo Kenneth Appel y Wolfgang Haken se baso en demostrar que no existía ningún vértice adicional para ningún grafo tal que fueran necesarios cinco colores. Por ello, se dice que un grafo plano correspondiente a un mapa es, como mucho, un grafo 4coloreable. A. Coloreo de Grafos En la teoría de grafos, uno de los problemas mas interesantes es el de coloreo o coloración de grafos. El objetivo de este problema consiste en asignarle distintos colores (o números enteros) a los vértices de un grafo, de manera que ningún par de vértices adyacentes compartan el mismo color o numero. El problema puede plantearse también para aristas o para caras de la inmersión plana de un grafo, siendo el desarrollo muy similar al coloreado de vértices.

Prueba de ello es que se han tenido que emplear ordenadores para acabar la demostración (se reali o un programa que permitió verificar una multitud de casos. Un grafo es plano si sus nodos pueden ser conectados de manera que sus aristas no se crucen. Número Cromáti o Un grafo se denomina k-coloreado si puede colorearse con k colores distintos. ¦ ¥ ¤ Fig. primero seleccionar del mapa sin pintar el nodo de mayor grado y pintarlo con cualquiera de los 4 colores disponibles. 2) Nodos que Presentan Problemas: Cuando se esta pintando un grafo. Grado de Error Al utili ar el algoritmo con mapas bastante complicados. 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. lo que ha creado una fuerte polémica dentro de la comunidad matemática. 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. algunos pueden ser modificaciones de otros. 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. Es decir. Al oritmo para Coloreo de Mapas Existen diversos algoritmos para el coloreo de mapas. ¡ ¢ £   D. 2 Algoritmo de Eliminación de Posibilidades [2] [3] § § § B. lo que ahorro mucho tiempo a los matemáticos).com/informatica/teorema -4colores-aplicado-compiladores. Sabiendo que los nodos de grado inferior a cuatro no pueden generar errores. 3) Al oritmo de Eliminaci n de Posibilidades: Este algoritmo consiste en. además de que reconocemos claramente su aplicabilidad en los diferentes campos. IV. De esta manera. Anali ando esto. 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. Fue así como por primera vez la comunidad matemática acepto una demostración asistida por ordenador. O lo que es igual. pero en general se tiene la misma idea y se debe llegar a soluciones casi iguales que es la que se esta buscando. ³Four Colors Suffice´ Fig. si existe una asignaci n de k colores diferentes que permitan un coloreo valido de un grafo G. podemos definir un algoritmo para calcular el grado de error de un nodo de la siguiente manera. este presentaba algunos problemas. elimino de sus listas de posibles colores candidatos el/los color/es con el que pinte el/los nodo/s adyacentes. El numero cromático de un grafo es el menor numero natural k entre todos los valores posi les que permiten kcolorear un grafo. Coloreo de Grafos: ht tp://es. 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. 3 Algoritmo del grado de error.html.caerolus.C. 1) Grafos Planos: Cada región del mapa se considera un nodo del grafo. donde Grado(n) devuelve el grado del nodo n. 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. Se denomina a este valor como X (G). REFERENCIAS [1] Teorema 4 Colores: http://www. Robin Wilson.wikipedia. en los pasos siguientes. . Luego de reali ar pruebas se encontró que el problema estaba dado por los nodos adyacentes a los que generaban errores que eran pintados antes que estos. podemos concluir que los nodos que presentan problemas son aquellos de grado mayor o igual que 4. estoy limitando a los nodos adyacentes de los ya coloreados a la posibilidad de tomar uno de los colores restantes. unos mas óptimos que otros. y las aristas del grafo representan los límites entre las distintas regiones. CONCLUSIONES El teorema de los cuatro colores no es nada obvio. y que cuanto mayor sea su grado mas posibilidades tiene de presentar un problema. 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.org/wiki/Coloreo_de_grafos . 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. gracias a ello hemos comprendido muchas cosas acerca de estas estructuras abstractas.

Sign up to vote on this title
UsefulNot useful