Teorema de los cuatro colores
teorema en teoría de grafos / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Teorema de los cuatro colores?
Resumir este artículo para un niño de 10 años
En teoría de grafos, el teorema de los cuatro colores (o teorema de la minimalidad cromática) es un teorema sobre la coloración de grafos que establece lo siguiente:
|
Asumiendo que las regiones adyacentes comparten no solo un punto, sino todo un segmento de borde (frontera) en común.
Tres colores son suficientes para mapas simples, pero en algunos casos es necesario un cuarto color adicional, esto es, cuando una región a colorear queda encerrada por un número impar de regiones que se tocan formando un ciclo. El teorema de los cinco colores, cuya demostración es corta y elemental, establece que cinco colores son suficientes para colorear un mapa y fue probado en el siglo XIX por Heawood.[1] Una serie de pruebas falsas y falsos contraejemplos han aparecido desde el primer enunciado del teorema de los cuatro colores en 1852.
El problema del mapa de cuatro colores fue planteado, por primera vez, por el estudiante Francis Guthrie en 1852, lo que fue comunicado a Augustus de Morgan.[2] La conjetura se hizo famosa con la declaración de Arthur Cayley, en 1878, en el sentido de que la había abordado. Fue resuelto, a mediados de 1970, por Kenneth Appel y Wolfgang Haken.[3]
La demostración de Appel-Haken consiste en analizar un gran número de configuraciones reducibles. Esto fue mejorado en 1997 por Robertson, Sanders, Seymour y Thomas, que consiguieron reducir el número de tales configuraciones a 633, lo que sigue siendo un caso de análisis extremadamente largo. En 2005, Georges Gonthier verificó el teorema utilizando un programa informático de demostración de teoremas de uso general.