Una nueva prueba hace más rápido colorear mapas con cuatro colores

¿Alcanza con cuatro colores para pintar cualquier mapa sin que dos regiones vecinas compartan color? El teorema de los cuatro colores dice que sí, siempre que las regiones compartan un borde y no únicamente un punto. Aunque esa afirmación quedó demostrada hace décadas, un equipo de matemáticos presentó ahora una nueva prueba asistida por computadora que también mejora la velocidad con que puede encontrarse ese coloreado.

Para estudiar el problema, los mapas se transforman en grafos planares: esquemas de puntos y líneas que conservan las relaciones de vecindad entre las regiones. La pregunta ya no depende de la forma de una costa o de una frontera, sino de si es posible asignar uno de cuatro colores a cada punto sin repetir el color en dos puntos conectados.

Las demostraciones computacionales anteriores permitían simplificar el grafo de a una pequeña parte por vez. El nuevo trabajo identifica muchas partes que pueden retirarse y resolverse en paralelo sin interferir entre sí. Después, el proceso se revierte para recuperar un coloreado válido del grafo completo. Según el preprint, esa estrategia reduce el costo de cálculo desde un crecimiento cuadrático con el número de puntos a uno de orden (n\log n), mucho más manejable cuando el grafo es grande.

La mejora no cambia lo que afirma el teorema ni ofrece la demostración breve que muchos matemáticos siguen buscando. Su interés está en mostrar una estructura que los métodos previos no aprovechaban: incluso en zonas del grafo que parecen uniformes, pueden hallarse simplificaciones útiles. Esa idea podría ayudar a abordar problemas de coloreado en otras superficies y a diseñar algoritmos más eficientes para redes que pueden representarse de manera similar.

El resultado debe leerse con una precaución importante. El artículo está disponible como preprint en arXiv y no figura como revisado por pares; además, la prueba sigue dependiendo de un conjunto amplio de procedimientos computacionales, no de un argumento corto que pueda verificarse enteramente a mano. Pese a ello, ilustra cómo una demostración matemática puede aportar no solo una respuesta, sino también una receta más eficaz para encontrarla.