Unfair metrical task systems are a generalization of online metrical task systems. In this paper we introduce new techniques to combine algorithms for unfair metrical task systems and apply these techniques to obtain improved randomized online algorithms for metrical task systems on arbitrary metric spaces.
IntroductionMetrical task systems, introduced by Borodin, Linial, and Saks [11], can be described as follows: A server in some internal state receives tasks that have a service cost associated with each of the internal states. The server may switch states, paying a cost given by a metric space defined on the state space, and then pays the service cost associated with the new state.Metrical task systems have been the subject of a great deal of study. A large part of the research into online algorithms can be viewed as a study of some particular metrical task system. In modelling some of these problems as metrical task systems, the set of permissible tasks is constrained to fit the particulars of the problem. In this paper we consider the original definition of metrical task systems where the set of tasks can be arbitrary. A deterministic algorithm for any n-state metrical task system with a competitive ratio of 2n−1 is given in [11], along with a matching lower bound for any metric space.The randomized competitive ratio of the MTS problem is not as well understood. For the uniform metric space, where all distances are equal, the randomized competitive ratio is known to within a constant factor, and is Θ(log n) [11,14]. In fact, it has been conjectured that the randomized competitive ratio for MTS is Θ(log n) in any n-point metric space. Previously, the best upper bound on the competitive ratio for arbitrary n-point metric space was O(log 5 n log log n) due Bartal, Blum, Burch and Tomkins [3] and Bartal [2]. The best lower for any n-point metric space is Ω(log n/ log log n) due to Bartal, Bollobás and Mendel [4] and Bartal, Linial, Mendel and Naor [5], improving previous lower bounds of Karloff, Rabani and Ravid [16], and Blum, Karloff, Rabani, and Saks [10].As observed in [16,10,1] , we obtain an improved algorithm for HSTs. In order to reduce the MTS problem on arbitrary metric space to a MTS problem on a HST we use probabilistic embedding of metric spaces into HSTs [1]. It is shown in [2] that any n-point metric space has probabilistic embedding in k-HSTs with distortion O(k log n log log n). Thus, an MTS problem on an arbitrary n-point metric space, can be reduced to an MTS problem on a k-HST with overhead of O(k log n log log n) [1].Our algorithm for HSTs follows the general framework given in [10] and explicitly formulated in [18,3], where the recursive structure of the HST is modelled by defining an unfair metrical task system problem [18, 3] on a uniform metric space. In an unfair MTS problem, associated with every point v i of the metric space is a cost ratio r i . We charge the online algorithm a cost of r i c i for dealing with the task (c 1 , . . . , c i , . . . , c n ) in state v i . which...