Document Open Access Logo

Online and Dynamic Algorithms for Geometric Set Cover and Hitting Set

Authors Arindam Khan , Aditya Lonkar, Saladi Rahul , Aditya Subramanian, Andreas Wiese

PDF
Thumbnail PDF

File

LIPIcs.SoCG.2023.46.pdf
  • Filesize: 1.35 MB
  • 17 pages

Document Identifiers

Author Details

Arindam Khan
  • Indian Institute of Science, Bengaluru, India
Aditya Lonkar
  • Indian Institute of Science, Bengaluru, India
Saladi Rahul
  • Indian Institute of Science, Bengaluru, India
Aditya Subramanian
  • Indian Institute of Science, Bengaluru, India
Andreas Wiese
  • Technische Universität München, Germany

Funding

  • Khan, Arindam: gratefully acknowledges the generous support due to IUSSTF virtual center on "Polynomials as an Algorithmic Paradigm", Pratiksha Trust Young Investigator Award, Google India Research Award, Google ExploreCS Award, and SERB Core Research Grant (CRG/2022/001176) on "Optimization under Intractability and Uncertainty".
  • Subramanian, Aditya: supported in part by Kotak IISc AI-ML Centre (KIAC) PhD Fellowship.

Cite AsGet BibTex

Arindam Khan, Aditya Lonkar, Saladi Rahul, Aditya Subramanian, and Andreas Wiese. Online and Dynamic Algorithms for Geometric Set Cover and Hitting Set. In 39th International Symposium on Computational Geometry (SoCG 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 258, pp. 46:1-46:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.SoCG.2023.46

Abstract

Set cover and hitting set are fundamental problems in combinatorial optimization which are well-studied in the offline, online, and dynamic settings. We study the geometric versions of these problems and present new online and dynamic algorithms for them. In the online version of set cover (resp. hitting set), m sets (resp. n points) are given and n points (resp. m sets) arrive online, one-by-one. In the dynamic versions, points (resp. sets) can arrive as well as depart. Our goal is to maintain a set cover (resp. hitting set), minimizing the size of the computed solution. For online set cover for (axis-parallel) squares of arbitrary sizes, we present a tight O(log n)-competitive algorithm. In the same setting for hitting set, we provide a tight O(log N)-competitive algorithm, assuming that all points have integral coordinates in [0,N)². No online algorithm had been known for either of these settings, not even for unit squares (apart from the known online algorithms for arbitrary set systems). For both dynamic set cover and hitting set with d-dimensional hyperrectangles, we obtain (log m)^O(d)-approximation algorithms with (log m)^O(d) worst-case update time. This partially answers an open question posed by Chan et al. [SODA'22]. Previously, no dynamic algorithms with polylogarithmic update time were known even in the setting of squares (for either of these problems). Our main technical contributions are an extended quad-tree approach and a frequency reduction technique that reduces geometric set cover instances to instances of general set cover with bounded frequency.

Subject Classification

ACM Subject Classification
  • Theory of computation → Computational geometry
  • Theory of computation → Online algorithms
Keywords
  • Geometric Set Cover
  • Hitting Set
  • Rectangles
  • Squares
  • Hyperrectangles
  • Online Algorithms
  • Dynamic Data Structures

Metrics

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

Related Versions

References

  1. Amir Abboud, Raghavendra Addanki, Fabrizio Grandoni, Debmalya Panigrahi, and Barna Saha. Dynamic set cover: improved algorithms and lower bounds. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing (STOC), pages 114-125, 2019. Google Scholar
  2. Pankaj K. Agarwal, Hsien-Chih Chang, Subhash Suri, Allen Xiao, and Jie Xue. Dynamic geometric set cover and hitting set. In 36th International Symposium on Computational Geometry, SoCG 2020, volume 164 of LIPIcs, pages 2:1-2:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. Google Scholar
  3. Noga Alon, Baruch Awerbuch, and Yossi Azar. The online set cover problem. In Proceedings of the thirty-fifth annual ACM symposium on Theory of computing (STOC), pages 100-105, 2003. Google Scholar
  4. Boris Aronov, Esther Ezra, and Micha Sharir. Small-size $$1eps-nets for axis-parallel rectangles and boxes. SIAM Journal on Computing, 39(7):3248-3282, 2010. Google Scholar
  5. Sanjeev Arora. Polynomial time approximation schemes for euclidean traveling salesman and other geometric problems. Journal of the ACM (JACM), 45(5):753-782, 1998. Google Scholar
  6. Sunil Arya, David M. Mount, Nathan S. Netanyahu, Ruth Silverman, and Angela Y. Wu. An optimal algorithm for approximate nearest neighbor searching fixed dimensions. Journal of the ACM (JACM), 45(6):891-923, 1998. Google Scholar
  7. Sepehr Assadi and Shay Solomon. Fully dynamic set cover via hypergraph maximal matching: An optimal approximation through a local approach. In 29th Annual European Symposium on Algorithms, ESA 2021, page 8. Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2021. Google Scholar
  8. Mark de Berg, Marc van Kreveld, Mark Overmars, and Otfried Schwarzkopf. Computational geometry. In Computational geometry, pages 1-17. Springer, 1997. Google Scholar
  9. Sayan Bhattacharya, Monika Henzinger, and Giuseppe F. Italiano. Deterministic fully dynamic data structures for vertex cover and matching. SIAM Journal on Computing, 47(3):859-887, 2018. Google Scholar
  10. Sayan Bhattacharya, Monika Henzinger, and Giuseppe F. Italiano. Dynamic algorithms via the primal-dual method. Information and Computation, 261:219-239, 2018. Google Scholar
  11. Sayan Bhattacharya, Monika Henzinger, and Danupon Nanongkai. A new deterministic algorithm for dynamic set cover. In 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), pages 406-423. IEEE, 2019. Google Scholar
  12. Sayan Bhattacharya, Monika Henzinger, Danupon Nanongkai, and Xiaowei Wu. Dynamic set cover: Improved amortized and worst-case update time. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 2537-2549. SIAM, 2021. Google Scholar
  13. Sujoy Bhore, Jean Cardinal, John Iacono, and Grigorios Koumoutsos. Dynamic geometric independent set. In Japan conference on Discrete and Computational Geometry, Graphs, and Games, 2021. Google Scholar
  14. Niv Buchbinder and Joseph Naor. The design of competitive online algorithms via a primal-dual approach. Found. Trends Theor. Comput. Sci., 3(2-3):93-263, 2009. Google Scholar
  15. Jean Cardinal, John Iacono, and Grigorios Koumoutsos. Worst-case efficient dynamic geometric independent set. In 29th Annual European Symposium on Algorithms (ESA 2021). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021. Google Scholar
  16. Timothy M. Chan, Elyot Grant, Jochen Könemann, and Malcolm Sharpe. Weighted capacitated, priority, and geometric set cover via improved quasi-uniform sampling. In Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms (SODA), pages 1576-1585. SIAM, 2012. Google Scholar
  17. Timothy M. Chan and Qizheng He. More dynamic data structures for geometric set cover with sublinear update time. In 37th International Symposium on Computational Geometry (SoCG 2021). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021. Google Scholar
  18. Timothy M. Chan, Qizheng He, Subhash Suri, and Jie Xue. Dynamic geometric set cover, revisited. In Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 3496-3528. SIAM, 2022. Google Scholar
  19. Kenneth L. Clarkson and Kasturi Varadarajan. Improved approximation algorithms for geometric set cover. In Proceedings of the twenty-first annual symposium on Computational geometry (SoCG), pages 135-141, 2005. Google Scholar
  20. Justin Dallant and John Iacono. Conditional lower bounds for dynamic geometric measure problems. arXiv preprint arXiv:2112.10095, 2021. Google Scholar
  21. Guy Even and Shakhar Smorodinsky. Hitting sets online and vertex ranking. In Algorithms - ESA 2011 - 19th Annual European Symposium, volume 6942 of Lecture Notes in Computer Science, pages 347-357. Springer, 2011. Google Scholar
  22. Anupam Gupta, Gregory Kehne, and Roie Levin. Random order online set cover is as easy as offline. In 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), pages 1253-1264. IEEE, 2022. Google Scholar
  23. Anupam Gupta, Ravishankar Krishnaswamy, Amit Kumar, and Debmalya Panigrahi. Online and dynamic algorithms for set cover. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing (STOC), pages 537-550, 2017. Google Scholar
  24. Anupam Gupta and Roie Levin. Fully-dynamic submodular cover with bounded recourse. In 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), pages 1147-1157. IEEE, 2020. Google Scholar
  25. Anupam Gupta and Roie Levin. The online submodular cover problem. In Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 1525-1537. SIAM, 2020. Google Scholar
  26. Sariel Har-Peled and Mira Lee. Weighted geometric set cover problems revisited. Journal of Computational Geometry, 3(1):65-85, 2012. Google Scholar
  27. Monika Henzinger, Stefan Neumann, and Andreas Wiese. Dynamic approximate maximum independent set of intervals, hypercubes and hyperrectangles. In 36th International Symposium on Computational Geometry, SoCG 2020, volume 164 of LIPIcs, pages 51:1-51:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. Google Scholar
  28. Arindam Khan, Aditya Lonkar, Saladi Rahul, Aditya Subramanian, and Andreas Wiese. Online and dynamic algorithms for geometric set cover and hitting set. CoRR, abs/2303.09524, 2023. URL: https://arxiv.org/abs/2303.09524.
  29. Nabil H. Mustafa, Rajiv Raman, and Saurabh Ray. Settling the apx-hardness status for geometric set cover. In 2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS), pages 541-550. IEEE, 2014. Google Scholar
  30. Nabil H. Mustafa and Saurabh Ray. PTAS for geometric hitting set problems via local search. In Proceedings of the 25th ACM Symposium on Computational Geometry (SoCG), pages 17-22. ACM, 2009. Google Scholar
  31. Kasturi Varadarajan. Weighted geometric set cover via quasi-uniform sampling. In Proceedings of the forty-second ACM symposium on Theory of computing (STOC), pages 641-648, 2010. 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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact