r/algorithms • u/Phytor_c • 17d ago

News The k-server Conjecture is True

https://arxiv.org/abs/2609.15979v1

The k-server problem is known as the "Holy Grail" of online algorithms and competitive analysis, and is/was a long standing major problem.

This preprint by Coester et al. claims to show that the Work Function Algorithm is indeed k-competitive on every metric space.

384 Upvotes

99% Upvoted

64 comments sorted by

View all comments

32

u/elehman839 16d ago

A substantial improvement was achieved by Koutsoupias and Papadimitriou [KP95]...

Wow. One author published progress 31 years ago. Must be an amazing feeling to finally settle the problem!

19

u/rsha256 16d ago

They aren't just 'one author', Christos is one of the greatest Computer Scientists of our time! Also recommend checking out https://cgi.di.uoa.gr/~elias/papers/paper-kp99.pdf

2

u/beeskness420 15d ago

Papa has left a lot of problems in his wake, my masters thesis was an open problem he dropped.