Un nuevo procedimiento demuestra el teorema de los cuatro colores con eficiencia inédita y reabre un problema clásico. El resultado, aún pendiente de revisión por pares, llega tras casi una década de trabajo de un equipo internacional liderado por matemáticos de Dinamarca, Canadá y Japón, y aparece recogido esta semana por Quanta Magazine.
El teorema de los cuatro colores se demuestra de nuevo con un algoritmo más eficiente
El enunciado es tan simple que casi parece un juego: dado un mapa con regiones contiguas, ¿bastan cuatro colores para pintarlas sin que dos territorios vecinos compartan tono? Francis Guthrie lo formuló en 1852 mientras coloreaba los condados de Inglaterra. Lo que parecía una curiosidad cartográfica se convirtió en una obsesión de matemáticos aficionados y profesionales durante más de un siglo. La pregunta de Guthrie tardó décadas en abandonar la cartografía y entrar de lleno en la teoría de grafos.
La primera supuesta demostración llegó en 1879, firmada por Alfred Bray Kempe. Su método, basado en reducir configuraciones inevitables, era elegante pero encerraba una grieta que tardó once años en salir a la luz. Percy John Heawood detectó que el intercambio de colores podía fallar en el caso con cinco vecinos. Aun así, las cadenas de Kempe siguen siendo el corazón de todas las soluciones posteriores.
El empujón definitivo lo dieron en 1976 Kenneth Appel y Wolfgang Haken, que redujeron el problema a 1.482 configuraciones y delegaron su comprobación en los supercomputadores de la Universidad de Illinois. La comunidad matemática recibió la prueba con recelo: ¿cómo confiar en un argumento que ninguna persona podía verificar a mano? En 1997, una versión simplificada redujo la lista a 633 configuraciones y la aceptación se generalizó.
Cómo se pasó de 8.900 configuraciones a una búsqueda en zonas planas
La nueva demostración, colgada en línea en marzo de 2026 y que se presentará en noviembre en la conferencia Foundations of Computer Science, no pretende refutar el resultado. Lo que aporta es una forma mucho más eficiente de colorear grafos planos. El algoritmo anterior exigía alrededor de n² pasos para un grafo con n vértices; el nuevo baja a n(log n), un avance cualitativo en teoría de la computación.
La clave del método está en atender a las zonas planas del grafo, regiones donde cada vértice se conecta con otros seis y forman mallas triangulares. Allí resulta más difícil identificar configuraciones reducibles, pero también hay muchas más donde elegir. Bautizado como una tierra de nadie, ese territorio permitió reducir muchas configuraciones en paralelo sin que sus coloraciones interfirieran entre sí. El nuevo conjunto inevitable asciende a 8.202 configuraciones.
La verdadera novedad no es el mapa: es la maquinaria matemática que ahora ilumina estructuras antes invisibles en los grafos planos.
La intuición geométrica ayuda: una zona plana se parece a un panal de abejas, con triángulos encajados. En cambio, las configuraciones clásicas se concentraban en los rincones con pocos vecinos, donde la estructura era más fácil de manipular.
Nuevas herramientas para la teoría de grafos, más allá de los mapas
El valor del trabajo no está solo en el resultado, sino en la maquinaria construida para alcanzarlo. Georges Gonthier, del Inria de París, ha descrito el argumento como un resultado ‘real’ tras la larga historia de falsos arranques del teorema. La búsqueda de configuraciones en zonas planas ha revelado propiedades estructurales de los grafos planos que no se habían aprovechado hasta ahora. Los propios autores ya usan esas técnicas para abordar problemas de coloración en otras superficies, como el toro.
Conviene mantener la cautela: la demostración aún no ha sido revisada por pares y su complejidad informática es considerable. Como recuerda Carsten Thomassen, el problema es tan accesible que hasta un niño entiende el enunciado, y quizá por eso la ‘fiebre de los cuatro colores’, como la llama Mikkel Thorup, sigue activa. No es una debilidad: es la señal de que todavía quedan preguntas abiertas sobre la estructura profunda de los grafos.
La publicación como preprint y la presentación futura recuerdan que la verificación, en este caso, tampoco puede hacerse del todo a mano. Los críticos de la primera demostración computacional temían fallos por un pico de tensión; hoy la comunidad ha aprendido a auditar el software y a exigir transparencia en los algoritmos.
Para quienes observamos la matemática desde fuera, la historia del teorema de los cuatro colores es un recordatorio de que un problema resuelto no siempre es un problema agotado. La nueva prueba no sustituye a las anteriores, pero ofrece un algoritmo más útil y una mirada distinta sobre los mismos objetos. El siguiente paso será la presentación de noviembre y, después, el escrutinio de la comunidad. La demostración más corta sigue sin existir, y quizá esa búsqueda sea el verdadero motor.
🔬 Ficha del Descubrimiento
- Qué se ha descubierto: Una nueva demostración computacional del teorema de los cuatro colores con un algoritmo más eficiente.
- Dónde: Trabajo de un equipo en Dinamarca, Canadá y Japón.
- Institución responsable: Equipo internacional liderado por Mikkel Thorup, Carsten Thomassen, Ken-ichi Kawarabayashi y Bojan Mohar.
- Cuándo: Colgada en línea en marzo de 2026 y pendiente de presentación en noviembre en la conferencia Foundations of Computer Science.
- Impacto a futuro: Abre nuevas herramientas para la teoría de grafos y la coloración en superficies como el toro.
