El Teorema de los Cuatro Colores está considerado como el más difícil de entre los que tienen el enunciado más sencillo. Su demostración llevó más de 100 años de intensas investigaciones y fue el primer teorema de Matemáticas que se demostró por medio de una computadora.
Todavia recuerdo mi examen de lógica en ing informática en el que nos pedía demostrar que un tocho de mapa se podia pintar con solo 4 colores y sacar de ahí el grafo plano...a parte de tener que pintarlo jajaja
"un grafo plano es aquel que se puede dibujar en un plano de manera que los vértices sean puntos del plano y las aristas curvas continuas que no se cortan"
Comentarios
¿Es cierto el teorema para superficies no planas, por ejemplo en la superficie de una esfera?.
Percy John Heawood vivió 149 años?
Conocía este problema por Coq, una herramienta de ayuda a la demostración de teoremas con la que trabajé en la Universidad. Coq se utilizó para demostrar este mismo teorema de una forma analizable: http://en.wikipedia.org/wiki/Coq#Four_color_theorem_and_ssreflect_extension
Todavia recuerdo mi examen de lógica en ing informática en el que nos pedía demostrar que un tocho de mapa se podia pintar con solo 4 colores y sacar de ahí el grafo plano...a parte de tener que pintarlo jajaja
"un grafo plano es aquel que se puede dibujar en un plano de manera que los vértices sean puntos del plano y las aristas curvas continuas que no se cortan"