Problema de los cuatro colores

Famosa conjetura formulada por de Morgan a mediados del siglo XIX, que dice que dado un mapa geográfico plano cualquiera, son suficientes cuatro colores para pintarlo de modo tal que dos zonas con frontera común tengan colores diferentes. Es inmediato ver que tres colores no siempre bastan, y poco tiempo después de planteado el problema se demostró que cinco colores alcanzan siempre. Sin embargo, la prueba definitiva de que son suficientes cuatro colores recién pudo efectuarse en 1976, con la ayuda de computadoras.