El documento resume la historia y demostración del Teorema de los Cuatro Colores, el cual establece que cualquier mapa plano puede ser coloreado con un máximo de cuatro colores de forma que países o regiones adyacentes tengan colores diferentes. El teorema fue probado en 1996 utilizando computadoras luego de más de un siglo de intentos fallidos. El documento también explica conceptos relacionados como grafos planos, coloreo de vértices y regiones, y su aplicación para resolver problemas de coloreo.

1. Teoremas:Los Cuatro yCinco Colores Rosa E. Padilla Torres Presentaciónpara la claseTeorías de Grafos MATE 6200 Dr. ÁlvaroLecompte Montes 28 de junio de 2011

2. Historia El problema de los cuatro colores se remonta al 1852 cuando Francis Guthrie plantea el mismo a su hermano Frederick y luego llega a manos de Augustus de Morgan.

3. En 1879, Sir Alfred BrayKempe publica una demostración del mismo. En esta demostración, PercyHeawood descubre un error. Desde ese momento en adelante, a lo largo de los años se siguen las demostraciones, ya que ninguna es del todo aprobada.

4. No fue hasta el 1996 que N. Robertson, D.P. Sanders, P. Seymour, y R. Thomas que mejoran la demostración con la ayuda de una computadora con sólo 633 configuraciones.

5. GrafosIntegrables Un grafo se dice que es integrable cuando se puede dibujar a partir de los vértices de otro grafo. Si dos grafos están integrados y todos los vértices integran uno a uno, los grafos son isomorfos.

6. Grafo Plano Cuando el grafo es integrable, se le dice “grafo plano”. Un grafo plano es aquel cuyas aristas no se intersecan. No pueden dividirse en sub grafos.

7. Teorema de los cinco colores En todo grafo plano, sus vértices se pueden colorear con cinco colores. Este teorema se demuestra por contradicción. Se asume que existe un grafo crítico de 6 vértices que no puede ser coloreado con 5 colores. Otra forma en la que probaron este teorema es por inducción.

8. Demostración con cinco colores Este es el caso más crítico de un grafo plano de grado 5. El teorema establece que un vértice de un color no puede estar unido por una arista a otro vértice del mismo color.

9. Demostración Este grafo se puede colorear con aún menos de 5 colores.

10. Conjetura de los cuatro colores Del teorema de los cinco colores surge “La conjetura de los cuatro colores” en la cual se establece que en todo grafo plano, sus vértices se pueden colorear con sólo cuatro colores. Esta conjetura ha tomado más de cien años para poder resolverse.

11. Conjetura de los cuatro colores Dice que bastan 4 colores para colorear un mapa geográfico plano, de modo que dos países que con frontera en común tengan diferente color. Dos regiones no pueden tocarse sólo en un punto, y así se pueden ignorar regiones con una única frontera.

12. El Problema de los Cuatro Colores Establece que un grafo plano de k lados se puede colorear con cuatro colores de forma tan que dos lados vecinos no tengan el mismo color.

13. Teorema 9.11 Las siguientes aseveraciones son equivalentes: En todo grafo plano se pueden colorear sus vértices con 4 colores. En todo grafo plano, se pueden colorear sus “ caras” con 4 colores. Todo grafo plano de dos bordes conectados con un grafo regular de grado 3 se puede colorear con 3 colores.

14. Regiones En un problema topológico, no importa la forma de las regiones, sino cómo están colocadas unas respecto a otras.

15. Mapa esférico Para poder colorear un mapa esférico, sólo basta con proyectarlo sobre un plano.

16. Mapa Mundi

17. Mapa Puerto Rico

18. El problema de los cuatro colores se puede utilizar para colorear cualquier región de un dibujo

19. Teorema Fundamental de Euler La proyección estereográfica, permite pasar de poliedros a mapas: en efecto, se infla el poliedro sobre una esfera, se proyecta estereográficamente y se obtiene entonces una imagen plana del poliedro original. Así la fórmula de Euler para mapas se deduce de la correspondiente fórmulas para poliedros, es decir: Núm(regiones) – núm(líneas frontera) + núm(puntos de encuentro) =2

21. Bibliografía J. A. Bondy, U. S. R. Murty; GraphTeorywithApplications; 1976; páginas 156 – 160. J. A. Bondy, U. S. R. Murty; GraphTeory; 2008; páginas 287 – 295; 357-413.

22. Sitios de referencia http://mimosa.pntic.mec.es/jgomez53/matema/proteo/cuatro_colores.htm http://www.cidse.itcr.ac.cr/revistamate/MundoMatematicas/Vol5n1Jun2004/node8.html http://divulgamat.ehu.es/weborriak/TestuakOnLine/04-05/PG-04-05-macho.pdf 17 de mayo de 2011, http://es.wikipedia.org/wiki/Teorema_de_los_cuatro_colores

23. Gracias Por su Atención http://rosaepadilla.blogspot.com