La conjetura de servidores k es verdadera

Un artículo publicado en arXiv el 14 de septiembre de 2026 demuestra la veracidad de la conjetura de servidores k, un teorema fundamental en la teoría de algoritmos y estructuras de datos. La conjetura establece que existe un algoritmo determinista y en línea que puede lograr una razón competitiva de k en todos los espacios métricos. El estudio, titulado 'The $k$-server conjecture is true', presenta una prueba rigurosa basada en una representación algebraica natural de la función de trabajo como una matriz. Este enfoque permite codificar todas las rutas viables para alcanzar una configuración específica. En esta representación, las operaciones de suma y multiplicación corresponden a las operaciones de suma y multiplicación de expresiones formales, mientras que cada valor de la función de trabajo se asocia con el determinante de las columnas de la matriz. El análisis amortizado se basa en una función potencial definida en términos de una matriz más grande, cuyas coordenadas son pares de coordenadas de la representación original. El trabajo funciona mediante una actualización de la representación a través de un cambio de base y sustitución de filas, lo que permite mantener la integridad de la estructura matrizial. Este resultado es significativo porque confirma la existencia de un algoritmo específico (el algoritmo de trabajo) que satisface la condición de competitividad en cualquier espacio métrico, cerrando así un hallazgo previo en la literatura de algoritmos online.