Gráficos y RedesMaps

Se hicieron pocos progresos en el problema de los cuatro colores hasta 1976, cuando Wolfgang Haken y Kenneth Appel usaron una computadora para finalmente resolverlo. Redujeron infinitamente muchos mapas posibles a 1936 casos especiales, que fueron verificados por una computadora que tomó más de 1000 horas en total.