k-server problem

Unsolved problem in computer science:
Is there a 
 
 
 
 k
 
 
 {\displaystyle k}
 
-competitive algorithm for solving the 
 
 
 
 k
 
 
 {\displaystyle k}
 
-server problem in an arbitrary metric space?
<a href="/facts/List_of_unsolved_problems_in_computer_science/QySnBJ5E">(more unsolved problems in computer science)</a>

The k-server problem is a problem of <a href="/facts/Theoretical_computer_science/jSkGGuvy">theoretical computer science</a> in the category of <a href="/facts/Online_algorithm/64TsU7Yz">online algorithms</a>, one of two abstract problems on <a href="/facts/Metric_space/gnBBRXtc">metric spaces</a> that are central to the theory of <a href="/facts/Competitive_analysis_(online_algorithm)/ocEpTvXG">competitive analysis</a> (the other being <a href="/facts/Metrical_task_systems/f5evGfxz">metrical task systems</a>). In this problem, an online algorithm must control the movement of a set of k servers, represented as points in a metric space, and handle requests that are also in the form of points in the space. As each request arrives, the algorithm must determine which server to move to the requested point. The goal of the algorithm is to keep the total distance all servers move small, relative to the total distance the servers could have moved by an optimal adversary who knows in advance the entire sequence of requests.
The problem was first posed by Mark Manasse, Lyle A. McGeoch and <a href="/facts/Daniel_Sleator/hLBuUyER">Daniel Sleator</a> (1988). The most prominent open question concerning the k-server problem is the so-called k-server conjecture, also posed by Manasse et al. This conjecture states that there is an algorithm for solving the k-server problem in an arbitrary <a href="/facts/Metric_space/gnBBRXtc">metric space</a> and for any number k of servers that has competitive ratio exactly k. Manasse et al. were able to prove their conjecture when k = 2, and for more general values of k for some metric spaces restricted to have exactly k+1 points. <a href="/facts/Marek_Chrobak/YrLlChdY">Chrobak</a> and <a href="/facts/Lawrence_L._Larmore/r4vy1vqk">Larmore</a> (1991) proved the conjecture for tree metrics. The special case of metrics in which all distances are equal is called the paging problem because it models the problem of <a href="/facts/Page_replacement_algorithm/ApuSJLaq">page replacement algorithms</a> in memory caches, and was also already known to have a k-competitive algorithm (<a href="/facts/Daniel_Sleator/hLBuUyER">Sleator</a> and <a href="/facts/Robert_Tarjan/kn1pMCN0">Tarjan</a> 1985). Fiat et al. (1990) first proved that there exists an algorithm with finite competitive ratio for any constant k and any metric space, and finally Koutsoupias and <a href="/facts/Christos_Papadimitriou/rXflR4or">Papadimitriou</a> (1995) proved that Work Function Algorithm (WFA) has competitive ratio 2k - 1. However, despite the efforts of many other researchers, reducing the competitive ratio to k or providing an improved lower bound remains open as of 2014<a href="https://en.wikipedia.org/w/index.php?title=K-server_problem&action=edit">[update]</a>. The most common believed scenario is that the Work Function Algorithm is k-competitive. To this direction, in 2000 Bartal and Koutsoupias showed that this is true for some special cases (if the metric space is a line, a weighted star or any metric of k+2 points).
The k-server conjecture has also a version for randomized algorithms, which asks if exists a randomized algorithm with competitive ratio O(log k) in any arbitrary metric space (with at least k + 1 points). In 2011, a randomized algorithm with competitive bound Õ(log2k log3n) was found. In 2017, a randomized algorithm with competitive bound O(log6 k) was announced, but was later retracted. In 2022 it was shown that the randomized version of the conjecture is false.

k-server problem open-in-new

k-server problem