Leonard Euler resolvió el problema de si se podÃa recorrer los 7 puentes de la ciudad rusa de Kaliningrado sin pasar dos veces por el mismo puente. Lo consiguió abstrayendo la situación a regiones y conexiones, puntos y lÃneas, iniciando con ello la teorÃa de grafos, que tiene grandes aplicaciones en informática, mapas conceptuales, biologÃa, ciencias de la computación y telecomunicaciones. Foto de la ciudad suiza de Berna.
Cualquier mapa geográfico con regiones continuas puede ser coloreado con sólo cuatro colores  diferentes, de forma que no queden regiones fronterizas (sólo un punto no cuenta) con el mismo color, como explica muy bien mati en sus mateaventuras. La conjetura de los 4 colores nació en 1852. Pronto se demostró que con 3 colores no bastaba y con 5 sÃ, pero no se encontró prueba teórica para los 4 colores. Kennenth Appel y Wolfgang Haken lo demostraron comprobando todos los casos posibles por ordenador, como nos cuenta Juan Guirado, en un trabajo que habrÃa costado  100.000 años a 60 horas semanales.  Fue el primer teorema demostrado por computadora.
