Online Sorting and Online TSP: Randomized, Stochastic, and High-Dimensional

Authors Mikkel Abrahamsen , Ioana O. Bercea , Lorenzo Beretta , Jonas Klausen , László Kozma



PDF
Thumbnail PDF

File

LIPIcs.ESA.2024.5.pdf
  • Filesize: 0.81 MB
  • 15 pages

Document Identifiers

Author Details

Mikkel Abrahamsen
  • University of Copenhagen, Denmark
Ioana O. Bercea
  • KTH Royal Institute of Technology, Stockholm, Sweden
Lorenzo Beretta
  • University of California, Santa Cruz, CA, USA
Jonas Klausen
  • University of Copenhagen, Denmark
László Kozma
  • Institut für Informatik, Freie Universität Berlin, Germany

Cite AsGet BibTex

Mikkel Abrahamsen, Ioana O. Bercea, Lorenzo Beretta, Jonas Klausen, and László Kozma. Online Sorting and Online TSP: Randomized, Stochastic, and High-Dimensional. In 32nd Annual European Symposium on Algorithms (ESA 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 308, pp. 5:1-5:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ESA.2024.5

Abstract

In the online sorting problem, n items are revealed one by one and have to be placed (immediately and irrevocably) into empty cells of a size-n array. The goal is to minimize the sum of absolute differences between items in consecutive cells. This natural problem was recently introduced by Aamand, Abrahamsen, Beretta, and Kleist (SODA 2023) as a tool in their study of online geometric packing problems. They showed that when the items are reals from the interval [0,1] a competitive ratio of O(√n) is achievable, and no deterministic algorithm can improve this ratio asymptotically. In this paper, we extend and generalize the study of online sorting in three directions: - randomized: we settle the open question of Aamand et al. by showing that the O(√n) competitive ratio for the online sorting of reals cannot be improved even with the use of randomness; - stochastic: we consider inputs consisting of n samples drawn uniformly at random from an interval, and give an algorithm with an improved competitive ratio of Õ(n^{1/4}). The result reveals connections between online sorting and the design of efficient hash tables; - high-dimensional: we show that Õ(√n)-competitive online sorting is possible even for items from ℝ^d, for arbitrary fixed d, in an adversarial model. This can be viewed as an online variant of the classical TSP problem where tasks (cities to visit) are revealed one by one and the salesperson assigns each task (immediately and irrevocably) to its timeslot. Along the way, we also show a tight O(log n)-competitiveness result for uniform metrics, i.e., where items are of different types and the goal is to order them so as to minimize the number of switches between consecutive items of different types.

Subject Classification

ACM Subject Classification
  • Theory of computation → Design and analysis of algorithms
Keywords
  • sorting
  • online algorithm
  • TSP

Metrics

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

References

  1. Anders Aamand, Mikkel Abrahamsen, Lorenzo Beretta, and Linda Kleist. Online sorting and translational packing of convex polygons. In Nikhil Bansal and Viswanath Nagarajan, editors, Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023, pages 1806-1833. SIAM, 2023. URL: https://doi.org/10.1137/1.9781611977554.ch69.
  2. Mikkel Abrahamsen, Ioana O. Bercea, Lorenzo Beretta, Jonas Klausen, and László Kozma. Online sorting and online tsp: randomized, stochastic, and high-dimensional, 2024. URL: https://doi.org/10.48550/arXiv.2406.19257.
  3. Yuriy Arbitman, Moni Naor, and Gil Segev. Backyard cuckoo hashing: Constant worst-case operations with a succinct representation. In 2010 IEEE 51st Annual symposium on foundations of computer science, pages 787-796. IEEE, 2010. URL: https://doi.org/10.1109/FOCS.2010.80.
  4. Giorgio Ausiello, Esteban Feuerstein, Stefano Leonardi, Leen Stougie, and Maurizio Talamo. Algorithms for the on-line travelling salesman 1. Algorithmica, 29:560-581, 2001. URL: https://doi.org/10.1007/s004530010071.
  5. Eric Balkanski, Yuri Faenza, and Noémie Périvier. The power of greedy for online minimum cost matching on the line. In Proceedings of the 24th ACM Conference on Economics and Computation, pages 185-205, 2023. URL: https://doi.org/10.1145/3580507.3597794.
  6. Jillian Beardwood, J. H. Halton, and J. M. Hammersley. The shortest path through many points. Mathematical Proceedings of the Cambridge Philosophical Society, 55(4):299-327, 1959. URL: https://doi.org/10.1017/S0305004100034095.
  7. Michael A Bender, Richard Cole, Erik D Demaine, Martin Farach-Colton, and Jack Zito. Two simplified algorithms for maintaining order in a list. In European Symposium on Algorithms, pages 152-164. Springer, 2002. URL: https://doi.org/10.1007/3-540-45749-6_17.
  8. Michael A Bender, Alex Conway, Martín Farach-Colton, Hanna Komlós, William Kuszmaul, and Nicole Wein. Online list labeling: Breaking the log 2 n barrier. In 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), pages 980-990. IEEE, 2022. URL: https://doi.org/10.1109/FOCS54457.2022.00096.
  9. Michael A. Bender, Martin Farach-Colton, John Kuszmaul, William Kuszmaul, and Mingmou Liu. On the optimal time/space tradeoff for hash tables. In Stefano Leonardi and Anupam Gupta, editors, STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20 - 24, 2022, pages 1284-1297. ACM, 2022. URL: https://doi.org/10.1145/3519935.3519969.
  10. Antje Bjelde, Jan Hackfeld, Yann Disser, Christoph Hansknecht, Maarten Lipmann, Julie Meißner, Miriam Schlöter, Kevin Schewior, and Leen Stougie. Tight bounds for online tsp on the line. ACM Transactions on Algorithms (TALG), 17(1):1-58, 2020. URL: https://doi.org/10.1145/3422362.
  11. Allan Borodin and Ran El-Yaniv. Online computation and competitive analysis. Cambridge University Press, 1998. Google Scholar
  12. Paul F Dietz. Maintaining order in a linked list. In Proceedings of the fourteenth annual ACM symposium on Theory of computing, pages 122-127, 1982. URL: https://doi.org/10.1145/800070.802184.
  13. L. Few. The shortest path and the shortest road through n points. Mathematika, 2(2):141-144, 1955. URL: https://doi.org/10.1112/S0025579300000784.
  14. Amos Fiat and Gerhard J. Woeginger. On-line scheduling on a single machine: Minimizing the total completion time. Acta Informatica, 36(4):287-293, 1999. URL: https://doi.org/10.1007/s002360050162.
  15. Anupam Gupta, Guru Guruganesh, Binghui Peng, and David Wajc. Stochastic online metric matching. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, and Stefano Leonardi, editors, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece, volume 132 of LIPIcs, pages 67:1-67:14. Schloss-Dagstuhl-Leibniz Zentrum für Informatik, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. URL: https://doi.org/10.4230/LIPIcs.ICALP.2019.67.
  16. Anupam Gupta and Kevin Lewi. The online metric matching problem for doubling metrics. In Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I 39, pages 424-435. Springer, 2012. URL: https://doi.org/10.1007/978-3-642-31594-7_36.
  17. Alon Itai, Alan G Konheim, and Michael Rodeh. A sparse table implementation of priority queues. In International Colloquium on Automata, Languages, and Programming, pages 417-431. Springer, 1981. URL: https://doi.org/10.1007/3-540-10843-2_34.
  18. Howard J. Karloff. How long can a euclidean traveling salesman tour be? SIAM J. Discret. Math., 2(1):91-99, 1989. URL: https://doi.org/10.1137/0402010.
  19. Donald E. Knuth. Notes on open addressing. Unpublished memorandum. See http://citeseer.ist.psu.edu/knuth63notes.html, 1963.
  20. Donald E. Knuth. The Art of Computer Programming, Volume 3: (2nd Ed.) Sorting and Searching. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA, 1998. URL: https://www.worldcat.org/oclc/312994415.
  21. Nicole Megow, Martin Skutella, José Verschae, and Andreas Wiese. The power of recourse for online mst and tsp. In Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I 39, pages 689-700. Springer, 2012. URL: https://doi.org/10.1007/978-3-642-31594-7_58.
  22. Rajeev Motwani and Prabhakar Raghavan. Randomized algorithms. In Mikhail J. Atallah, editor, Algorithms and Theory of Computation Handbook, Chapman & Hall/CRC Applied Algorithms and Data Structures series. CRC Press, 1999. URL: https://doi.org/10.1201/9781420049503-c16.
  23. Christos H Papadimitriou. The euclidean travelling salesman problem is np-complete. Theoretical computer science, 4(3):237-244, 1977. URL: https://doi.org/10.1016/0304-3975(77)90012-3.
  24. Kirk Pruhs, Jirí Sgall, and Eric Torng. Online scheduling. In Joseph Y.-T. Leung, editor, Handbook of Scheduling - Algorithms, Models, and Performance Analysis. Chapman and Hall/CRC, 2004. URL: https://doi.org/10.1201/9780203489802.CH15.
  25. Sharath Raghvendra. Optimal analysis of an online algorithm for the bipartite matching problem on a line. In 34th International Symposium on Computational Geometry (SoCG 2018). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. URL: https://doi.org/10.4230/LIPIcs.SoCG.2018.67.
  26. Tim Roughgarden, editor. Beyond the Worst-Case Analysis of Algorithms. Cambridge University Press, 2020. URL: https://doi.org/10.1017/9781108637435.
  27. Michael Saks. Online labeling: Algorithms, lower bounds and open questions. In International Computer Science Symposium in Russia, pages 23-28. Springer, 2018. URL: https://doi.org/10.1007/978-3-319-90530-3_3.
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