A randomized on–line algorithm for the k–server problem on a line

The k–server problem is one of the most important and well-studied problems in the area of on–line computation. Its importance stems from the fact that it models many practical problems like multi-level memory paging encountered in operating systems, weighted caching used in the management of web caches, head motion planning of multi-headed disks, and robot motion planning. In this paper, we investigate its randomized version for which Θ(log k)–competitiveness is conjectured and yet hardly any <k competitive algorithms are known, even for the simplest of metric spaces of O(k) size.We present a $O(n^{2/3}\log{n})$–competitive randomized k–server algorithm against an oblivious adversary when the underlying metric space is given by n equally spaced points on a line $({\cal L}(n))$. This algorithm is <k competitive for $n = k + o\big(\big({k \over \log k}\big)^{3/2}\big)$. Thus, it provides a super–linear bound for n with o(k)–competitiveness for the first time and improves the best results known so far for the range $n-k \in \big[o(k), o\big(\big({k \over \log k}\big)^{3/2}\big)\big]$ on ${\cal L}(n)$. © 2006 Wiley Periodicals, Inc. Random Struct. Alg., 2006Part of this work was done when both authors were graduate students at Rutgers University, NJ, USA. The research was also partially supported by DIMACS, see [17].Research supported in part by the IST Programme of the EU under Contract IST-1999-14186 (ALCOM-FT) and by OTKA T034475.

[1]  A. Robert Calderbank,et al.  Sequencing Problems in Two-Server Systems , 1985, Math. Oper. Res..

[2]  Robert E. Tarjan,et al.  Amortized efficiency of list update and paging rules , 1985, CACM.

[3]  Marek Chrobak,et al.  New results on server problems , 1991, SODA '90.

[4]  Lyle A. McGeoch,et al.  Competitive Algorithms for Server Problems , 1990, J. Algorithms.

[5]  Anna R. Karlin,et al.  Competitive randomized algorithms for non-uniform problems , 1990, SODA '90.

[6]  Amos Fiat,et al.  Competitive Paging Algorithms , 1991, J. Algorithms.

[7]  Marek Chrobak,et al.  An Optimal On-Line Algorithm for k-Servers on Trees , 1991, SIAM J. Comput..

[8]  Allan Borodin,et al.  An optimal on-line algorithm for metrical task system , 1992, JACM.

[9]  Christos H. Papadimitriou,et al.  On the k-server conjecture , 1995, JACM.

[10]  Christos H. Papadimitriou,et al.  The 2-Evader Problem , 1996, Inf. Process. Lett..

[11]  Yair Bartal,et al.  Probabilistic approximation of metric spaces and its algorithmic applications , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[12]  Sandy Irani,et al.  Online computation , 1996 .

[13]  Andrew Tomkins,et al.  A polylog(n)-competitive algorithm for metrical task systems , 1997, STOC '97.

[14]  Baruch Schieber,et al.  Navigating in Unfamiliar Geometric Terrain , 1997, SIAM J. Comput..

[15]  Gerhard J. Woeginger,et al.  Online Algorithms , 1998, Lecture Notes in Computer Science.

[16]  Allan Borodin,et al.  Online computation and competitive analysis , 1998 .

[17]  Yair Bartal,et al.  On approximating arbitrary metrices by tree metrics , 1998, STOC '98.

[18]  Yuval Rabani,et al.  A Decomposition Theorem for Task Systems and Bounds for Randomized Server Problems , 2000, SIAM J. Comput..

[19]  Elias Koutsoupias,et al.  On the Competitive Ratio of the Work Function Algorithm for the k-Server Problem , 2000, STACS.

[20]  Amos Fiat,et al.  Better algorithms for unfair metrical task systems and applications , 2000, STOC '00.

[21]  Béla Csaba Note on the Work Function Algorithm , 2000, Acta Cybern..

[22]  Marek Chrobak,et al.  A Randomized Algorithm for Two Servers on the Line , 2000, Inf. Comput..

[23]  Béla Bollobás,et al.  A Ramsey-type theorem for metric spaces and its applications for metrical task systems and related problems , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[24]  Steven S. Seiden,et al.  A General Decomposition Theorem for the k-Server Problem , 2001, Inf. Comput..

[25]  Marek Chrobak,et al.  The 3-server problem in the plane , 2002, Theor. Comput. Sci..

[26]  Lyle A. McGeoch,et al.  A strongly competitive randomized paging algorithm , 1991, Algorithmica.

[27]  Allan Borodin,et al.  On the power of randomization in on-line algorithms , 2005, Algorithmica.