A fast work function algorithm for solving the k-server problem

This paper deals with the work function algorithm (WFA) for solving the on-line k-server problem. The paper addresses some practical aspects of the WFA, such as its efficient implementation and its true quality of serving. First, an implementation of the WFA is proposed, which is based on network flows, and which reduces each step of the WFA to only one minimal-cost maximal flow problem instance. Next, it is explained how the proposed implementation can further be simplified if the involved metric space is finite. Also, it is described how actual computing of optimal flows can be speeded up by taking into account special properties of the involved networks. Some experiments based on the proposed implementation and improvements are presented, where actual serving costs of the WFA have been measured on very large problem instances and compared with costs of other algorithms. Finally, suitability of the WFA for solving real-life problems is discussed.

[1]  Dieter Jungnickel,et al.  Graphs, Networks, and Algorithms , 1980 .

[2]  Elias Koutsoupias,et al.  On the competitive ratio of the work function algorithm for the k-server problem , 2004, Theor. Comput. Sci..

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

[4]  Elias Koutsoupias Weak adversaries for the k-server problem , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

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

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

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

[8]  Richard M. Karp,et al.  Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems , 1972, Combinatorial Optimization.

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

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

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

[12]  Yuval Rabani,et al.  A deterministicO(k3)-competitivek-server algorithm for the circle , 2005, Algorithmica.

[13]  Alfonzo Baumgartner,et al.  The Design and Analysis of a Modified Work Function Algorithm for Solving the On-Line k-Server Problem , 2010, Comput. Informatics.

[14]  Dorit S. Hochbaum,et al.  Approximation Algorithms for NP-Hard Problems , 1996 .

[15]  Hanif D. Sherali,et al.  Linear Programming and Network Flows , 1977 .

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

[18]  Edward F. Grove,et al.  The harmonic k-server algorithm is competitive , 2000, JACM.

[19]  Elias Koutsoupias,et al.  The k-server problem , 2009, Comput. Sci. Rev..