¿Se ha solucionado el problema de los cuatro colores?
El problema de los cuatro colores está solucionado. Sólo en junio de 1976, se necesitaron 1.200 horas y 10 mil millones de juicios en dos computadoras diferentes en la Universidad de Illinois en los Estados Unidos. Como resultado, ni un solo mapa requería cinco colores, y finalmente se demostró que el teorema de los cuatro colores conmocionó al mundo. mundo.
Las líneas de conexión entre puntos se utilizan para representar la relación lógica adyacente entre dos áreas en el mapa. Por lo tanto, las líneas no pueden cruzarse entre sí, de lo contrario excederán el plano bidimensional, y este tipo de. El plano se llama temporalmente plano lógico. Sólo refleja la relación entre áreas, no la ubicación real.
A través del proceso de transformación anterior, la discusión de infinitas posiciones reales se puede convertir en una discusión de relaciones lógicas organizadas y resumidas, proporcionando así la viabilidad de una prueba escrita simple. Si la prueba se puede expresar en una oración, sería: "No hay líneas rectas que se crucen en el plano bidimensional, sólo líneas rectas puntuales.
Corolario: supongamos que hay un mapa eso requiere al menos m tipos de coloración, entonces solo hay una condición que determina que el mapa debe colorearse con m colores, es decir, hay al menos un área Q en el mapa, y todas las áreas adyacentes a esta área deben cumplir coloración m-1.
En primer lugar, después de cumplir esta condición, Q solo puede usar el color m-ésimo. En segundo lugar, si esta inferencia 1 es incorrecta y no existe tal área para el color m. mapa, entonces la vecindad de cualquier área en el mapa solo puede satisfacer menos de m-1 Coloración, entonces todo el mapa no necesita m colores, lo que contradice la suposición, por lo que esta es una condición necesaria y suficiente
Información ampliada:
El problema de los cuatro colores también se llama problema de los cuatro colores. La conjetura del color y el teorema de los cuatro colores son uno de los tres principales problemas matemáticos de los tiempos modernos. El teorema del mapa fue propuesto por primera vez por un estudiante universitario británico llamado Guidry.
El contenido del problema de los cuatro colores es "Usando solo cuatro colores en cualquier mapa, los países con exactamente las mismas fronteras se pueden colorear de manera diferente. "Es decir, un mapa sólo necesita cuatro colores para marcarlo sin causar confusión.
En lenguaje matemático, significa "subdividir arbitrariamente el plano en áreas que no se superponen, cada una de las cuales siempre se puede marcar". con uno de los cuatro números 1234 sin que dos regiones adyacentes reciban el mismo número. "El área adyacente a la que se hace referencia aquí significa que hay un límite completo que es justo. Si dos áreas solo se encuentran en uno o en un número finito de puntos, no se llaman adyacentes. Porque colorearlas con el mismo color no causará confusión
Referencia: Enciclopedia Baidu: Teorema de los cuatro colores