Teorema de los cuatro colores.

En teoría de grafos, el teorema de cuatro colores es un teorema sobre la coloración de grafos que establece lo siguiente:

“Dado cualquier mapa geográfico con regiones continuas, éste puede ser coloreado con cuatro colores diferentes, de forma que no queden regiones adyacentes (es decir, regiones que compartan no sólo un punto, sino todo un segmento de borde en común) con el mismo color.”

No es posible colorear cualquier mapa en estas condiciones utilizando sólo tres colores. En cambio, sí es posible hacerlo considerando cinco colores.El problema de los cuatro colores fue planteado por primera vez por Francis Guthrie en 1852 y resuelto positivamente en 1976 por Kenneth Appel y Wolfgang Haken.