La conjecture k-server, un problème ouvert durable dans les sciences informatiques théoriques, a été démontrée vraie. L'algorithme de fonction de travail atteint un ratio compétitif de k sur chaque espace métrique, résolvant la conjecture. La preuve présente une représentation algébrique novatrice de la fonction de travail sous forme de matrice, où toutes les voies favorables pour atteindre une configuration sont codées.

Dans cette représentation, les opérations de minimum et d'addition correspondent à l'addition et la multiplication formelles. Chaque valeur de fonction de travail correspond au déterminant de k colonnes de la matrice. L'arrivée d'une requête déclenche une mise à jour via un changement de base et le remplacement des lignes.

L'analyse amortie repose sur une fonction potentielle définie à l'aide d'une matrice plus grande, dont les coordonnées sont des paires de coordonnées de la représentation originale. Cette œuvre confirme que les algorithmes en ligne déterministes peuvent résoudre optimalment le problème k-server. La preuve tire parti des profondes connexions entre l'algèbre linéaire et le calcul en ligne, fournissant une vérification complète et rigoureuse de la conjecture formulée il y a des décennies.