Los orígenes de este problema son muy antiguos. Los cartógrafos renacentistas sabían ya que les bastaban cuatro colores para iluminar sus mapas de manera que dos países vecinos quedaran iluminados de distintos color, logrando así que sus mapas fueran claros y fáciles de entender.
Pero, hasta el siglo XIX, a nadie se le había ocurrido que este hecho tuviera que ver con matemáticas y mucho menos que se podía demostrar con ella.
Durante muchos años, matemáticos y no matemáticos, expertos y novatos intentaron resolver el problema de los cuatro colores, es decir, demostrar que bastan cuatro colores para dar una coloración correcta a cualquier mapa. El problema de los cuatro colores se hizo tan famos en el medio matemático, que en 1878 el matemático inglés Arthur Cayley lo propuso oficialmente a la Sociedad Matemática de Londres (London Mathematical Society), una de las sociedades de matemáticos más importantes del mundo en esa época, como un problema a resolver.
Varios matemáticos dieron demostraciones que resultaron tener errores, pero lo que sí se logró con el paso de los años y el trabajo de tanta gente que aunque no se había probado nada respecto a los cuatro colores finalmente en 1976 (124 años después de que se había propuesto el problema) dos matemáticos de la Universidad de Illinois en Estados Unidos, Kenneth Appel y Wolfgang Haken, usando una computadora Cray de segunda generación, analizaron 1900 posibles arreglos de regiones en el plano, o sea, analizaron 1900 tipos distintos de mapas. La computadora tardó 1,200 horas en correr un programa que tenía miles de líneas de largo, y para todos los mapas encontró una coloración en la que a lo más se usaban cuatro colores.
¡El problema había sido resuelto kawabonga!!!
