Teorema de los cuatro colores - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Teorema_de_los_cuatro_colores

Teorema de los cuatro colores

En teoría de grafos, el teorema de los cuatro colores (o teorema de
la minimalidad cromática) es un teorema sobre la coloración de grafos
que establece lo siguiente:

Dado cualquier mapa geográfico con regiones

continuas, este puede ser coloreado con cuatro
colores diferentes, de forma que no queden
regiones adyacentes con el mismo color.

Asumiendo que las regiones adyacentes comparten no solo un punto,

sino todo un segmento de borde (frontera) en común.

Tres colores son suficientes para mapas simples, pero en algunos casos
Ejemplo de mapa coloreado con
es necesario un cuarto color adicional, esto es, cuando una región a
cuatro colores
colorear queda encerrada por un número impar de regiones que se
tocan formando un ciclo. El teorema de los cinco colores, cuya
demostración es corta y elemental, establece que cinco colores son
suficientes para colorear un mapa y fue probado en el siglo XIX por
Heawood.1 Una serie de pruebas falsas y falsos contraejemplos han
aparecido desde el primer enunciado del teorema de los cuatro colores
en 1852.
Mapa del mundo coloreado de
El problema del mapa de cuatro colores fue planteado, por primera verde, amarillo, azul y rojo
vez, por el estudiante Francis Guthrie en 1852, lo que fue comunicado a
Augustus de Morgan.2 La conjetura se hizo famosa con la declaración
de Arthur Cayley, en 1878, en el sentido de que la había abordado. Fue resuelto, a mediados de 1970, por Kenneth
Appel y Wolfgang Haken.3

Índice
Formulación precisa del teorema
Historia
La polémica demostración

Resumen de las ideas de la demostración

Generalizaciones
Referencias
Bibliografía
Enlaces externos

1 de 6 16/04/2018 06:31 p. m.
Teorema de los cuatro colores - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Teorema_de_los_cuatro_colores

Formulación precisa del teorema

En primer lugar, todas las esquinas y puntos en común que pertenecen a tres o más países, deben ser ignoradas.
Sin esta restricción, los mapas extraños (utilizando las regiones del área finita pero perímetro infinito) pueden
requerir más de cuatro colores.

En segundo lugar, para el propósito del teorema cada "país" tiene que
ser una región simplemente conexa o continua. En el mundo real, esto
no es cierto (por ejemplo, Alaska como parte de los Estados Unidos,
Nakhchivan como parte de Azerbaiyán, y Kaliningrado como parte de
Rusia no son regiones continuas). Debido a que el territorio de un país
en particular debe ser del mismo color, si se permitiesen "países" no
continuos, cuatro colores podrían no ser suficientes. Por ejemplo,
considérese un mapa simplificado:

Ejemplo de un mapa de Azerbaijan

con regiones no continuas

En este mapa, las dos regiones A pertenecen a un mismo país, y por lo tanto, deben ser del mismo color. En
consecuencia, este mapa requiere cinco colores, puesto que las dos regiones A son contiguas con las otras cuatro
regiones, y cada una de estas regiones son contiguas entre sí. Si hay tres regiones A, entonces se necesitan seis o
más colores; se pueden construir mapas que requieren un número arbitrariamente elevado de colores. Un
escenario similar también se puede dar si el color azul se reserva para el agua.

Una versión más simple del teorema

utiliza la teoría de grafos. El conjunto de
las regiones de un mapa se puede
representar de manera más abstracta
como un grafo simple no dirigido
asociando un vértice para cada región y
una arista para cada par de regiones que
Mapa y grafo dual asociado
comparten un segmento de borde. Esta
representación del mapa con vértices y
aristas es un grafo dual y el problema de colorear países se cambia por la coloración del grafo. Este grafo es plano, o
sea, que se puede dibujar en el plano sin cruce de aristas mediante la colocación de cada vértice en un lugar elegido
arbitrariamente dentro de la región a la que corresponde. Con la terminología de la teoría de grafos, el teorema de
cuatro colores establece que:

2 de 6 16/04/2018 06:31 p. m.
Teorema de los cuatro colores - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Teorema_de_los_cuatro_colores

Teorema de los 4 colores. Si es un grafo plano, entonces

Es decir, los vértices de cada grafo plano pueden ser coloreados con un máximo de cuatro colores de modo que no
existan dos vértices adyacentes con el mismo color. χ(G) corresponde al número cromático.

Historia
El teorema de los cuatro colores surgió como conjetura. En 1852, Francis Guthrie era un estudiante de Augustus De
Morgan y formuló esa conjetura, que no pudo ser probada por Guthrie, ni por su hermano Frederick, que había
sido también estudiante de De Morgan, ni por sir William Rowan Hamilton, a quien De Morgan le escribió
formulando la conjetura.

En 1879 Alfred Bray Kempe anunció en la revista Nature que tenía una demostración para la conjetura. En 1890,
Percy John Heawood encontró un error en la demostración de Kempe. Heawood no pudo demostrar que la
conjetura no era válida, pero siguió trabajando en el coloreo de mapas, pudiendo probar que con cinco colores se
podía colorear cualquier mapa.4

En 1976 la conjetura tuvo demostración, gracias a Kenneth Appel y Wolfgang Haken, que utilizaron un ordenador
para la demostración, lo cual generó múltiples controversias en el ambiente matemático.

La polémica demostración
El teorema de cuatro colores fue demostrado con la ayuda de un ordenador. Sin embargo, la demostración no es
aceptada por todos los matemáticos dado que sería impracticable por su gran cantidad de detalles, de manera que
una persona se vería imposibilitada para verificarlo manualmente. Solo queda aceptar la exactitud del programa,
del compilador y del computador en el cual se ejecutó la prueba.

Otro aspecto de la demostración, que puede ser considerado negativo, es su falta de elegancia. Una crítica que
habla sobre la elegancia de la misma, comentada en la época de su publicación, dice:

«una buena prueba matemática es similar a un poema —¡pero esto es una guía
telefónica!».5

En la actualidad se realizó otra demostración, también haciendo uso de cálculos por ordenador, lo cual verifica la
prueba original; pero sigue sin existir una demostración matemática.

Resumen de las ideas de la demostración

El siguiente resumen está basado en el libro Every Planar Map is Four Colorable de Appel y Haken publicado en
1989. Aunque la prueba del teorema de los cuatro colores dada por Kempe contenía un fallo, proporcionó algunas
de las herramientas básicas utilizadas posteriormente para demostrarlo. La explicación que se da aquí se ha
reformulado utilizando términos modernos de la teoría de grafos.

El argumento de Kempe es el siguiente. En primer lugar, si el grafo tiene regiones o caras planas no triangulares, es
decir, no tienen tres aristas como fronteras, se pueden agregar aristas al grafo (sin introducir nuevos vértices) de
manera que cada región del grafo sea triangular, incluida la región exterior. Si este grafo triangular obtenido del

3 de 6 16/04/2018 06:31 p. m.
Teorema de los cuatro colores - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Teorema_de_los_cuatro_colores

original admite una coloración con cuatro colores o menos, entonces el grafo inicial también admite la misma
coloración (o una coloración con menos colores), ya que la coloración sigue siendo válida si se eliminan las aristas
introducidas. Así que basta demostrar el teorema de los cuatro colores para el caso particular de los grafos
triangulares para probarlo a todos los grafos planos, y sin pérdida de generalidad, suponemos que el grafo es
triangular.

Supongamos que v, a, y c es el número de vértices, aristas y regiones. Dado que cada región es triangular y cada
arista es compartida por dos regiones, tenemos que 2a = 3c. Esto, junto con la fórmula del teorema de Euler para
poliedros (v - a + c = 2) se puede utilizar para demostrar que 6v - 2a = 12. Ahora bien, el grado de un vértice es el
número de las aristas incidentes. Si vn es el número de vértices de grado n, y D es el grado máximo de un vértice, se
tiene:

Pero 12 > 0, es un número positivo y "6 - i ≤ 0" para todo "i ≥ 6", esto demuestra que existe al menos un vértice de
grado 5 o menos.

Si existe un grafo que requiere 5 colores, entonces existe un grafo minimal, donde la eliminación de cualquier
vértice lo hace cuatro colorable. Llamemos a este grafo G. El grafo G no puede tener un vértice de grado 3 o menos,
porque si g(v) ≤ 3, podemos eliminar v de G, y colorear con cuatro colores el grafo modificado más pequeño, y a
continuación, añadir de nuevo el vértice v y colorearlo con un color diferente al de sus vecinos.

Kempe también demostró que G no puede tener ningún vértice de grado 4. Como antes se elimina el vértice v, y
cuatro colores de los vértices restantes. Si los cuatro vecinos de v son de diferentes colores, por ejemplo rojo, verde,
azul y amarillo en sentido horario, buscamos una ruta alterna de vértices de color rojo y azul que una los vecinos
rojo y azul. Tal camino se llama una cadena de Kempe. Puede haber una cadena de Kempe uniendo a los vecinos de
color rojo y azul, y puede haber una cadena de Kempe uniendo a los vecinos verdes y amarillos, pero no ambos, ya
que estos dos caminos necesariamente se cruzan, y el vértice donde se interceptan no puede ser coloreado.
Supongamos que se trata a los vecinos rojas y azules que no están encadenados entre sí. Explora todos los vértices
conectados al vecino rojo por el rojo-azul caminos alternos, y luego invertir los colores rojo y azul en todos estos
vértices. El resultado sigue siendo un válido de cuatro colores, y ahora v se puede agregar de nuevo y de color rojo.

Esto deja sólo el caso en que G tiene un vértice de grado 5; pero el argumento de Kempe era defectuoso para este
caso particular. Heawood notó el error de Kempe y también advirtió que si se estaba satisfecho con probar que sólo
cinco colores son necesarios, se podría usar el argumento anterior (cambiando el contraejemplo por uno que
requiere 6 colores) y usar las cadenas de Kempe en el vértice de grado 5 para demostrar el teorema de los cinco
colores:

Teorema de los cinco colores. Si es un grafo plano,

entonces

Heawood (1890)

Generalizaciones
Se ha estudiado también el problema de colorear otras superficies que no sean equivalentes a un plano. Para

4 de 6 16/04/2018 06:31 p. m.
Teorema de los cuatro colores - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Teorema_de_los_cuatro_colores

superficies cerradas (orientables o no orientables) con

género positivo, el número máximo de colores p que se
necesitan depende de la característica de Euler χ, dados
por la siguiente fórmula:

Uniendo las flechas simples y las flechas dobles,

donde los paréntesis externos determinan la función parte se obtiene un toro con siete regiones colindantes,
con lo que son necesarios siete colores.
entera.

Alternativamente, para una

superficie orientable, la
fórmula puede ser dada en
términos del género de la
superficie, g:

Esta construcción muestra un toro dividido en el máximo de siete regiones, cada

una de las cuales toca a las otras.

(Weisstein).

Esta fórmula, conocida como conjetura de Heawood, fue conjeturada por P. J. Heawood en 1890 y demostrada
para los casos de superficies orientables (y no orientables) no acotadas por Gerhard Ringel y J. T. W. Youngs en
1968. La única excepción a la fórmula es la Botella de Klein, que tiene una característica de Euler 0 (de ahí la
fórmula da p=7) y requiere 6 colores, como lo demostró P. Franklin en 1934 (Weisstein). (Una Banda de Möbius,
cuya característica de Euler χ = 0, también requiere 6 colores, pero en este caso la fórmula no es aplicable, puesto
que es una superficie acotada. (Weisstein))

El toro tiene una característica de Euler χ = 0 (y género g = 1) y por lo tanto p = 7, de manera que no más de 7
colores son requeridos para colorear cualquier mapa sobre un toro. El Poliedro de Szilassi es otro ejemplo que
requiere 7 colores.

No hay extensión obvia del problema de coloreo de regiones de sólidos tridimensionales. Usando un conjunto de n
varillas flexibles, uno puede hacer que cada varilla toque a cada una de las otras. El conjunto luego requerirá n
colores, o n+1 si se considera que el espacio vacío también toca cada varilla. Para el número n puede tomarse un
entero tan grande como se quiera. tales ejemplos fueron propuestos por Fredrick Gurthrie en 1880. (Wilson, 2002)

Referencias
1. Thomas, Robin (1998), «An Update on the Four-Color Theorem» (http://www.ams.org/notices/199807
/thomas.pdf), Notices of the American Mathematical Society 45 (7): 848-859
2. (en inglés) Fritsch, Rudolph; Fritsch, Gerda (1998). The Four Color Theorem: History, Topological
Foundations, and Idea of Proof, pág. 5. Springer (http://books.google.es/books?id=oGuXAkR6tlMC&
printsec=frontcover&dq=Four+color+theorem&hl=en&sa=X&ei=8PteUa_DH9GEhQeL_IDgCA&
ved=0CCwQ6AEwAA#v=onepage&q=Four%20color%20theorem&f=false) En Google Books.

5 de 6 16/04/2018 06:31 p. m.
Teorema de los cuatro colores - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Teorema_de_los_cuatro_colores

3. (en inglés) Scheinerman, Edward R. (2001) Mathematics: A Discrete Introduction, pág. 332. Cengage
Learning (http://books.google.es/books?id=DZBHGD2sEYwC&printsec=frontcover&dq=Scheinerman&hl=en&
sa=X&ei=-fleUf76KomAhQe04oFg&ved=0CCwQ6AEwAA#v=onepage&q=map&f=false) En Google Books.
Consultado el 5 de abril de 2013.
4. Paenza, Adrián (2004). Matemática ¿estás ahí?, pág. 173 a 177. http://mate.dm.uba.ar/~cepaenza/libro
/matemati4.pdf.
5. Mathematics (https://web.archive.org/web/20090820230437/http://encarta.msn.com
/encyclopedia_761578291_12/Mathematics.html), Microsoft Encarta Online Encyclopedia, Microsoft
Corporation, 2007. (en inglés)

Bibliografía
Gonthier, Georges (2008), «Formal Proof--The Four-Color Theorem» (http://www.ams.org/notices/200811
/tx081101382p.pdf), Notices of the American Mathematical Society 55 (11): 1382-1393
Wilson, Robin (2002), Four Colors Suffice, London: Penguin Books, ISBN 0-691-11533-8
Weisstein, Eric W. «Four-Color Theorem» (http://mathworld.wolfram.com/Four-ColorTheorem.html). En
Weisstein, Eric W. MathWorld (en inglés). Wolfram Research.
Weisstein, Eric W. «Map coloring» (http://mathworld.wolfram.com/MapColoring.html). En Weisstein, Eric W.
MathWorld (en inglés). Wolfram Research.

Enlaces externos
Wikimedia Commons alberga una categoría multimedia sobre Teorema de los cuatro colores.
Teorema de los cuatro colores (http://descubriendo.fisica.unlp.edu.ar/descubriendo/index.php
/F%C3%ADsica_y_Matem%C3%A1tica) Artículo divulgativo sobre la historia del problema de los cuatro
colores.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Teorema_de_los_cuatro_colores&oldid=107054744»

Se editó esta página por última vez el 15 abr 2018 a las 19:31.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

6 de 6 16/04/2018 06:31 p. m.