List Update with Delays or Time Windows (2304.06565v2)
Abstract: We consider the problem of List Update, one of the most fundamental problems in online algorithms. We are given a list of elements and requests for these elements that arrive over time. Our goal is to serve these requests, at a cost equivalent to their position in the list, with the option of moving them towards the head of the list. Sleator and Tarjan introduced the famous "Move to Front" algorithm (wherein any requested element is immediately moved to the head of the list) and showed that it is 2-competitive. While this bound is excellent, the absolute cost of the algorithm's solution may be very large (e.g., requesting the last half elements of the list would result in a solution cost that is quadratic in the length of the list). Thus, we consider the more general problem wherein every request arrives with a deadline and must be served, not immediately, but rather before the deadline. We further allow the algorithm to serve multiple requests simultaneously. We denote this problem as List Update with Time Windows. While this generalization benefits from lower solution costs, it requires new types of algorithms. In particular, for the simple example of requesting the last half elements of the list with overlapping time windows, Move-to-Front fails. We show an O(1) competitive algorithm. The algorithm is natural but the analysis is a bit complicated and a novel potential function is required. Thereafter we consider the more general problem of List Update with Delays in which the deadlines are replaced with arbitrary delay functions. This problem includes as a special case the prize collecting version in which a request might not be served (up to some deadline) and instead suffers an arbitrary given penalty. Here we also establish an O(1) competitive algorithm for general delays. The algorithm for the delay version is more complex and its analysis is significantly more involved.
- Susanne Albers. Improved randomized on-line algorithms for the list update problem. SIAM Journal on Computing, 27(3):682–693, 1998.
- Revisiting the counter algorithms for list update. Information processing letters, 64(3):155–160, 1997.
- A combined bit and timestamp algorithm for the list update problem. Information Processing Letters, 56(3):135–139, 1995.
- Christoph Ambühl. Offline list update is np-hard. In European Symposium on Algorithms, pages 42–51. Springer, 2000.
- Optimal projective algorithms for the list update problem. In International Colloquium on Automata, Languages, and Programming, pages 305–316. Springer, 2000.
- A new lower bound for the list update problem in the partial cost model. Theoretical Computer Science, 268(1):3–16, 2001.
- Min-cost bipartite perfect matching with delays. In APPROX/RANDOM, pages 1:1–1:20, 2017.
- General framework for metric optimization problems with delay or with deadlines. In David Zuckerman, editor, 60th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2019, Baltimore, Maryland, USA, November 9-12, 2019, pages 60–71. IEEE Computer Society, 2019. doi: 10.1109/FOCS.2019.00013. URL https://doi.org/10.1109/FOCS.2019.00013.
- Beyond tree embeddings - a deterministic framework for network design with deadlines or delay. In Sandy Irani, editor, 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, November 16-19, 2020, pages 1368–1379. IEEE, 2020. doi: 10.1109/FOCS46700.2020.00129. URL https://doi.org/10.1109/FOCS46700.2020.00129.
- Polylogarithmic bounds on the competitiveness of min-cost perfect matching with delays. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19, pages 1051–1061, 2017a.
- Online service with delay. In STOC, pages 551–563, 2017b.
- The price of clustering in bin-packing with applications to bin-packingwith delays. In The 31st ACM on Symposium on Parallelism in Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June 22-24, 2019, pages 1–10, 2019.
- Set cover with delay - clairvoyance is not required. In Fabrizio Grandoni, Grzegorz Herman, and Peter Sanders, editors, 28th Annual European Symposium on Algorithms, ESA 2020, September 7-9, 2020, Pisa, Italy (Virtual Conference), volume 173 of LIPIcs, pages 8:1–8:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. doi: 10.4230/LIPIcs.ESA.2020.8. URL https://doi.org/10.4230/LIPIcs.ESA.2020.8.
- The min-cost matching with concave delays problem. In Dániel Marx, editor, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021, Virtual Conference, January 10 - 13, 2021, pages 301–320. SIAM, 2021. doi: 10.1137/1.9781611976465.20. URL https://doi.org/10.1137/1.9781611976465.20.
- Approximation algorithms for the joint replenishment problem with deadlines. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, and David Peleg, editors, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I, volume 7965 of Lecture Notes in Computer Science, pages 135–147. Springer, 2013. doi: 10.1007/978-3-642-39206-1“˙12. URL https://doi.org/10.1007/978-3-642-39206-1_12.
- Better approximation bounds for the joint replenishment problem. In Chandra Chekuri, editor, Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, Portland, Oregon, USA, January 5-7, 2014, pages 42–54. SIAM, 2014. doi: 10.1137/1.9781611973402.4. URL https://doi.org/10.1137/1.9781611973402.4.
- Online algorithms for multi-level aggregation. In Piotr Sankowski and Christos D. Zaroliagis, editors, 24th Annual European Symposium on Algorithms, ESA 2016, August 22-24, 2016, Aarhus, Denmark, volume 57 of LIPIcs, pages 12:1–12:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. doi: 10.4230/LIPIcs.ESA.2016.12. URL https://doi.org/10.4230/LIPIcs.ESA.2016.12.
- Online service with delay on a line. In SIROCCO, 2018.
- Online facility location with linear delay. In Amit Chakrabarti and Chaitanya Swamy, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2022, September 19-21, 2022, University of Illinois, Urbana-Champaign, USA (Virtual Conference), volume 245 of LIPIcs, pages 45:1–45:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. doi: 10.4230/LIPIcs.APPROX/RANDOM.2022.45. URL https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2022.45.
- O(depth)-competitive algorithm for online multi-level aggregation. In Philip N. Klein, editor, Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19, pages 1235–1244. SIAM, 2017. doi: 10.1137/1.9781611974782.80. URL https://doi.org/10.1137/1.9781611974782.80.
- Online matching: haste makes waste! In Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016, Cambridge, MA, USA, June 18-21, 2016, pages 333–344, 2016.
- Leah Epstein. On bin packing with clustering and bin packing with delays. CoRR, abs/1908.06727, 2019.
- Caching with time windows and delays. SIAM J. Comput., 51(4):975–1017, 2022. doi: 10.1137/20m1346286. URL https://doi.org/10.1137/20m1346286.
- Sandy Irani. Two results on the list update problem. Information Processing Letters, 38(6):301–306, 1991.
- Randomized competitive algorithms for the list update problem. Algorithmica, 11(1):15–32, 1994.
- Amortized efficiency of list update and paging rules. Communications of the ACM, 28(2):202–208, 1985.
- Boris Teia. A lower bound for randomized list update algorithms. Information Processing Letters, 47(1):5–9, 1993.