EL TEOREMA DE LOS CUATRO COLORES

Appel, que naci en Brooklyn, Nueva York, fue educado en la Universidad de Michigan, donde complet su doctorado en 1959. Despus de trabajar durante dos aos en el Instituto de anlisis de defensa en Princeton, se uni a la Facultad de la Universidad de Illinois, Urbana, donde se desempe como profesor de matemticas de 1991 a 1993. Luego tom la Presidencia del Departamento de matemticas en la Universidad de New Hampshire. En 1976, en colaboracin con Wolfgang Haken (1928sp; sp;), Appel anunci la solucin a uno de muchos aos sin resolver problemas de matemticas, el problema de los cuatro colores del mapa. En 1852 Francis Guthrie haba notado que pareca posible colorear cualquier mapa, suponiendo que los pases con fronteras comunes eran un color diferente, con no ms de cuatro colores. Guthrie fue suficientemente intrigado por el punto para subirla con el matemtico de Morgan y pida una demostracin de la conjetura. De Morgan encontr el problema inesperadamente difcil, como hicieron generaciones de matemticos.

Appel y Hagen utilizan una variacin de un mtodo probado primero por Arthur Kempe en 1879. Depende el hecho de que los mapas deben contener ciertas configuraciones inevitable Appel y Hagen reconocieron 1482 de estos. Entonces utilizaron un ordenador para mostrar que todo esto podra reducirse a cuatro configuraciones. Comenz a trabajar en 1972, pero no fue hasta 1976 que estaban satisfechas con su anlisis y su programa. Tard ms de 1200 horas de tiempo de computadora para probar el teorema. Kenneth Appel de Ira (nacido el 08 de octubre de 1932 en Brooklyn, Nueva York) es un matemtico que en 1976, con el colega Wolfgang Haken en la Universidad de Illinois en Urbana-Champaign, resuelto uno de los problemas ms famosos en matemticas, el Teorema de cuatro color. Probaron que cualquier mapa de dos dimensiones, con ciertas limitaciones, puede ser rellena con cuatro colores sin cualquier adyacentes "pases" que comparten el mismo color. La prueba ha sido una de las ms polmicas de las matemticas modernas debido a su fuerte dependencia en la computadora "clculo" para ordenar a travs de posibilidades, que generaron crticas de muchos en la comunidad matemtica para su elegancia: "una buena prueba matemtica es como un poema, se trata de una gua telefnica!" [1] Appel y Haken acept en una entrevista de 1977 que no era "elegante, conciso y totalmente comprensible por una mente matemtica humana". [2]

Appel estudiada en Queens College y la Universidad de Michigan, seguido por la investigacin en el Instituto de anlisis de defensa en Princeton, antes de convertirse en un miembro de la Facultad de la Universidad de Illinois en Urbana-Champaign en 1961. De 1993 a 2002, Appel fue Presidente del Departamento de matemticas en la Universidad de New Hampshire en Durham, New Hampshire. [3] Aunque retirado ya, todava trabaja y ocasionalmente se ensea y cuenta con una oficina en el campus. Como emrito Facultad que Appel trabaja con las escuelas locales en la implementacin y mantenimiento de WeBWorK, un sistema de asignacin de matemticas basadas en la web de cdigo abierto desarrollado en la Universidad de Rochester.

Teorema de cuatro colores

Ejemplo de un mapa de cuatro colores El Teorema de cuatro colores afirma que cada posible mapa geogrfico puede ser coloreado con no ms de cuatro colores de tal manera que no hay dos regiones adyacentes reciban el mismo color. Dos regiones se llaman adyacente si comparten un segmento de la frontera, no slo un punto. Es evidente que tres colores son insuficientes, y es no difcil, relativamente hablando, para probar que los cinco colores son suficientes para un mapa de color. El teorema de cuatro colores fue el primer teorema importante demostrarse usando una computadora, y la prueba no es aceptada por los matemticos porque sera imposible para un ser humano verificar a mano. En definitiva, uno tiene que tener fe en la correccin del compilador y ejecutar el programa utilizado para la prueba de hardware. La falta de elegancia matemtica fue otro factor, y parafraseando a comentarios de la poca, "una buena prueba matemtica es como un poema, se trata de una gua telefnica!"

Teorema de los cuatro colores

De Wikipedia, la enciclopedia libre

Saltar a: navegacin, bsqueda

Ejemplo de mapa coloreado con cuatro colores.

Mapa del mundo coloreado de verde, amarillo, azul y rojo.

En teora de grafos, el teorema de cuatro colores es un teorema sobre la coloracin de grafos que establece lo siguiente: Dado cualquier mapa geogrfico con regiones continuas, ste puede ser coloreado con cuatro colores diferentes, de forma que no queden regiones adyacentes con el mismo color.

Formulacin precisa del teorema

En primer lugar, todas las esquinas y puntos en comn que pertenecen a tres o ms pases, deben ser ignoradas. Sin esta restriccin, los mapas extraos (utilizando las regiones del rea finita pero permetro infinito) pueden requerir ms de cuatro colores. En segundo lugar, para el propsito del teorema cada "pas" tiene que ser una regin simplemente conexa o continua. En el mundo real, esto no es cierto (por ejemplo, Alaska como parte de los Estados Unidos, Nakhchivan como parte de Azerbaiyn, y Kaliningrado como parte de Rusia no son regiones continuas). Debido a que el territorio de un pas en particular debe ser del mismo color, cuatro colores no son suficientes. Por ejemplo, considrese un mapa simplificado:

La polmica demostracin
El teorema de cuatro colores ha sido demostrado con la ayuda de un ordenador. La prueba sin embargo, no es aceptada por todos los matemticos dado que sera impracticable por su gran cantidad de detalles que una persona se vera imposibilitada de verificar manualmente. Slo queda aceptar la exactitud del programa, del compilador y del computador en el cual se ejecut la prueba.