Metrical Service Systems with Transformations

Authors Sébastien Bubeck, Niv Buchbinder, Christian Coester, Mark Sellke



PDF
Thumbnail PDF

File

LIPIcs.ITCS.2021.21.pdf
  • Filesize: 0.51 MB
  • 20 pages

Document Identifiers

Author Details

Sébastien Bubeck
  • Microsoft Research, Redmond, WA, USA
Niv Buchbinder
  • Tel Aviv University, Israel
Christian Coester
  • CWI, Amsterdam, The Netherlands
Mark Sellke
  • Stanford University, CA, USA

Cite AsGet BibTex

Sébastien Bubeck, Niv Buchbinder, Christian Coester, and Mark Sellke. Metrical Service Systems with Transformations. In 12th Innovations in Theoretical Computer Science Conference (ITCS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 185, pp. 21:1-21:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.ITCS.2021.21

Abstract

We consider a generalization of the fundamental online metrical service systems (MSS) problem where the feasible region can be transformed between requests. In this problem, which we call T-MSS, an algorithm maintains a point in a metric space and has to serve a sequence of requests. Each request is a map (transformation) f_t: A_t → B_t between subsets A_t and B_t of the metric space. To serve it, the algorithm has to go to a point a_t ∈ A_t, paying the distance from its previous position. Then, the transformation is applied, modifying the algorithm’s state to f_t(a_t). Such transformations can model, e.g., changes to the environment that are outside of an algorithm’s control, and we therefore do not charge any additional cost to the algorithm when the transformation is applied. The transformations also allow to model requests occurring in the k-taxi problem. We show that for α-Lipschitz transformations, the competitive ratio is Θ(α)^{n-2} on n-point metrics. Here, the upper bound is achieved by a deterministic algorithm and the lower bound holds even for randomized algorithms. For the k-taxi problem, we prove a competitive ratio of Õ((nlog k)²). For chasing convex bodies, we show that even with contracting transformations no competitive algorithm exists. The problem T-MSS has a striking connection to the following deep mathematical question: Given a finite metric space M, what is the required cardinality of an extension M̂ ⊇ M where each partial isometry on M extends to an automorphism? We give partial answers for special cases.

Subject Classification

ACM Subject Classification
  • Theory of computation → Online algorithms
Keywords
  • Online algorithms
  • competitive analysis
  • metrical task systems
  • k-taxi

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. CJ Argue, Sébastien Bubeck, Michael B Cohen, Anupam Gupta, and Yin Tat Lee. A nearly-linear bound for chasing nested convex bodies. In Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 117-122. SIAM, 2019. Google Scholar
  2. CJ Argue, Anupam Gupta, Guru Guruganesh, and Ziye Tang. Chasing convex bodies with linear competitive ratio. In Proceedings of the 31st Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1519-1524. SIAM, 2020. Google Scholar
  3. Nikhil Bansal, Martin Böhm, Marek Eliáš, Grigorios Koumoutsos, and Seeun William Umboh. Nested convex bodies are chaseable. Algorithmica, pages 1-14, 2019. Google Scholar
  4. Yair Bartal. Probabilistic approximations of metric spaces and its algorithmic applications. In 37th Annual Symposium on Foundations of Computer Science, FOCS '96, pages 184-193, 1996. Google Scholar
  5. Yair Bartal, Béla Bollobás, and Manor Mendel. Ramsey-type theorems for metric spaces with applications to online problems. J. Comput. Syst. Sci., 72(5):890-921, 2006. Google Scholar
  6. Yair Bartal, Nathan Linial, Manor Mendel, and Assaf Naor. On metric Ramsey-type phenomena. Ann. of Math. (2), 162(2):643-709, 2005. Google Scholar
  7. Allan Borodin and Ran El-Yaniv. Online computation and competitive analysis. Cambridge University Press, 1998. Google Scholar
  8. Allan Borodin, Nathan Linial, and Michael E. Saks. An optimal on-line algorithm for metrical task system. Journal of the ACM, 39(4):745-763, 1992. Google Scholar
  9. Sébastien Bubeck, Michael B. Cohen, James R. Lee, and Yin Tat Lee. Metrical task systems on trees via mirror descent and unfair gluing. In Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2019, pages 89-97, 2019. Google Scholar
  10. Sébastien Bubeck, Bo'az Klartag, Yin Tat Lee, Yuanzhi Li, and Mark Sellke. Chasing nested convex bodies nearly optimally. In Proceedings of the 31st Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1496-1508. SIAM, 2020. Google Scholar
  11. Sébastien Bubeck, Yin Tat Lee, Yuanzhi Li, and Mark Sellke. Competitively chasing convex bodies. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, pages 861-868, 2019. Google Scholar
  12. Sébastien Bubeck, Yuval Rabani, and Mark Sellke. Online multiserver convex chasing and optimization. arXiv preprint, 2020. URL: http://arxiv.org/abs/2004.07346.
  13. Marek Chrobak and Lawrence L. Larmore. The server problem and on-line games. In On-Line Algorithms, Proceedings of a DIMACS Workshop, pages 11-64, 1991. URL: https://doi.org/10.1090/dimacs/007/02.
  14. Christian Coester and Elias Koutsoupias. The online k-taxi problem. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, pages 1136-1147. ACM, 2019. Google Scholar
  15. Christian Coester and James R. Lee. Pure entropic regularization for metrical task systems. In Alina Beygelzimer and Daniel Hsu, editors, Conference on Learning Theory, COLT 2019, 25-28 June 2019, Phoenix, AZ, USA, volume 99 of Proceedings of Machine Learning Research, pages 835-848, 2019. Google Scholar
  16. Jittat Fakcharoenphol, Satish Rao, and Kunal Talwar. A tight bound on approximating arbitrary metrics by tree metrics. J. Comput. Syst. Sci., 69(3):485-497, 2004. Google Scholar
  17. Amos Fiat, Yuval Rabani, and Yiftach Ravid. Competitive k-server algorithms (extended abstract). In 31st Annual Symposium on Foundations of Computer Science, FOCS '90, pages 454-463, 1990. URL: https://doi.org/10.1109/FSCS.1990.89566.
  18. Jan Hubička, Matěj Konečny, and Jaroslav Nešetřil. A combinatorial proof of the extension property for partial isometries. arXiv preprint, 2018. URL: http://arxiv.org/abs/1807.10976.
  19. Mark Manasse, Lyle McGeoch, and Daniel Sleator. Competitive algorithms for on-line problems. In Proceedings of the twentieth annual ACM symposium on Theory of computing, pages 322-333. ACM, 1988. Google Scholar
  20. Mark Sellke. Chasing convex bodies optimally. In Proceedings of the 31st Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1509-1518. SIAM, 2020. Google Scholar
  21. Sławomir Solecki. Extending partial isometries. Israel Journal of Mathematics, 150(1):315-331, 2005. Google Scholar
  22. Anatoly M. Vershik. Globalization of the partial isometries of metric spaces and local approximation of the group of isometries of urysohn space. Topology and its Applications, 155(14):1618-1626, 2008. Google Scholar
  23. Hsien-Chung Wang. Two-point homogeneous spaces. Annals of Mathematics, 55(1):177-191, 1952. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail