The Randomized k-Server Conjecture Is False!

Sébastien Bubeck, Christian Coester, Yuval Rabani

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

We prove a few new lower bounds on the randomized competitive ratio for the k-server problem and other related problems, resolving some long-standing conjectures. In particular, for metrical task systems (MTS) we asympotically settle the competitive ratio and obtain the first improvement to an existential lower bound since the introduction of the model 35 years ago (in 1987). More concretely, we show: (1) There exist (k+1)-point metric spaces in which the randomized competitive ratio for the k-server problem is ω(log2 k). This refutes the folklore conjecture (which is known to hold in some families of metrics) that in all metric spaces with at least k+1 points, the competitive ratio is (logk). (2) Consequently, there exist n-point metric spaces in which the randomized competitive ratio for MTS is ω(log2 n). This matches the upper bound that holds for all metrics. The previously best existential lower bound was ω(logn) (which was known to be tight for some families of metrics). (3) For all k<n, for all n-point metric spaces the randomized k-server competitive ratio is at least ω(logk), and consequently the randomized MTS competitive ratio is at least ω(logn). These universal lower bounds are asymptotically tight. The previous bounds were ω(logk/loglogk) and ω(logn/loglogn), respectively. (4) The randomized competitive ratio for the w-set metrical service systems problem, and its equivalent width-w layered graph traversal problem, is ω(w2). This slightly improves the previous lower bound and matches the recently discovered upper bound. (5) Our results imply improved lower bounds for other problems like k-taxi, distributed paging, and metric allocation. These lower bounds share a common thread, and other than the third bound, also a common construction.

Original languageAmerican English
Title of host publicationSTOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing
EditorsBarna Saha, Rocco A. Servedio
PublisherAssociation for Computing Machinery
Pages581-594
Number of pages14
ISBN (Electronic)9781450399135
DOIs
StatePublished - 2 Jun 2023
Event55th Annual ACM Symposium on Theory of Computing, STOC 2023 - Orlando, United States
Duration: 20 Jun 202323 Jun 2023

Publication series

NameProceedings of the Annual ACM Symposium on Theory of Computing
ISSN (Print)0737-8017

Conference

Conference55th Annual ACM Symposium on Theory of Computing, STOC 2023
Country/TerritoryUnited States
CityOrlando
Period20/06/2323/06/23

Bibliographical note

Publisher Copyright:
© 2023 ACM.

Keywords

  • $k$-server
  • competitive analysis
  • lower bounds
  • metrical task systems
  • online computing
  • randomized algorithms

Fingerprint

Dive into the research topics of 'The Randomized k-Server Conjecture Is False!'. Together they form a unique fingerprint.

Cite this