El teorema de cuatro colores es un teorema sobre el coloreo de grafos –un tipo de problemas en los cuales el objetivo es encontrar el menor numero de colores que se pueden utilizar para colorear un mapa sin que existan dos áreas próximas con el mismo color–.

El teorema establece lo siguiente:

Cualquier mapa geográfico, puede ser coloreado con cuatro colores diferentes, de forma que no queden regiones adyacentes con el mismo color.

El problema de los cuatro colores fue planteado por primera vez por Francis Guthrie en 1852 y resuelto en 1976 por Kenneth Appel y Wolfgang Haken con la ayuda de un ordenador.

La prueba sin embargo, no es aceptada por todos los matemáticos dado que sería imposible para una persona verificarla manualmente por su gran cantidad de detalles. Sólo queda aceptar la exactitud del programa, del compilador y del computador en el cual se ejecutó la prueba.

Actualmente el teorema solo se ha hecho valido para mapas que tengan no más de 38 regiones, por ejemplo África, que tiene mas de 38 regiones, no podría colorearse con 4 colores sin que queden países adyacentes con el mismo color, aunque el mapa en este articulo parece corroborar el teorema.

Fuente: Wikipedia [1] [2]