Constant-Hop Spanners for More Geometric Intersection Graphs, with Even Smaller Size

Authors Timothy M. Chan , Zhengcheng Huang



PDF
Thumbnail PDF

File

LIPIcs.SoCG.2023.23.pdf
  • Filesize: 1.14 MB
  • 16 pages

Document Identifiers

Author Details

Timothy M. Chan
  • Department of Computer Science, University of Illinois at Urbana-Champaign, IL, USA
Zhengcheng Huang
  • Department of Computer Science, University of Illinois at Urbana-Champaign, IL, USA

Cite AsGet BibTex

Timothy M. Chan and Zhengcheng Huang. Constant-Hop Spanners for More Geometric Intersection Graphs, with Even Smaller Size. In 39th International Symposium on Computational Geometry (SoCG 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 258, pp. 23:1-23:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.SoCG.2023.23

Abstract

In SoCG 2022, Conroy and Tóth presented several constructions of sparse, low-hop spanners in geometric intersection graphs, including an O(nlog n)-size 3-hop spanner for n disks (or fat convex objects) in the plane, and an O(nlog² n)-size 3-hop spanner for n axis-aligned rectangles in the plane. Their work left open two major questions: (i) can the size be made closer to linear by allowing larger constant stretch? and (ii) can near-linear size be achieved for more general classes of intersection graphs? We address both questions simultaneously, by presenting new constructions of constant-hop spanners that have almost linear size and that hold for a much larger class of intersection graphs. More precisely, we prove the existence of an O(1)-hop spanner for arbitrary string graphs with O(nα_k(n)) size for any constant k, where α_k(n) denotes the k-th function in the inverse Ackermann hierarchy. We similarly prove the existence of an O(1)-hop spanner for intersection graphs of d-dimensional fat objects with O(nα_k(n)) size for any constant k and d. We also improve on some of Conroy and Tóth’s specific previous results, in either the number of hops or the size: we describe an O(nlog n)-size 2-hop spanner for disks (or more generally objects with linear union complexity) in the plane, and an O(nlog n)-size 3-hop spanner for axis-aligned rectangles in the plane. Our proofs are all simple, using separator theorems, recursion, shifted quadtrees, and shallow cuttings.

Subject Classification

ACM Subject Classification
  • Theory of computation → Computational geometry
Keywords
  • Hop spanners
  • geometric intersection graphs
  • string graphs
  • fat objects
  • separators
  • shallow cuttings

Metrics

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

References

  1. Peyman Afshani and Konstantinos Tsakalidis. Optimal deterministic shallow cuttings for 3-d dominance ranges. Algorithmica, 80(11):3192-3206, 2018. URL: https://doi.org/10.1007/s00453-017-0376-3.
  2. Pankaj K. Agarwal, Noga Alon, Boris Aronov, and Subhash Suri. Can visibility graphs be represented compactly? Discret. Comput. Geom., 12:347-365, 1994. URL: https://doi.org/10.1007/BF02574385.
  3. Pankaj K. Agarwal and Jeff Erickson. Geometric range searching and its relatives. In Advances in Discrete and Computational Geometry, volume 223 of Contemporary Mathematics, pages 1-56. AMS Press, 1999. URL: http://jeffe.cs.illinois.edu/pubs/survey.html.
  4. Abu Reyan Ahmed, Greg Bodwin, Faryad Darabi Sahneh, Keaton Hamm, Mohammad Javad Latifi Jebelli, Stephen G. Kobourov, and Richard Spence. Graph spanners: A tutorial review. Comput. Sci. Rev., 37:100253, 2020. URL: https://doi.org/10.1016/j.cosrev.2020.100253.
  5. Ingo Althöfer, Gautam Das, David P. Dobkin, Deborah Joseph, and José Soares. On sparse spanners of weighted graphs. Discret. Comput. Geom., 9:81-100, 1993. URL: https://doi.org/10.1007/BF02189308.
  6. Boris Aronov, Mark de Berg, Esther Ezra, and Micha Sharir. Improved bounds for the union of locally fat objects in the plane. SIAM J. Comput., 43(2):543-572, 2014. URL: https://doi.org/10.1137/120891241.
  7. Sunil Arya, Gautam Das, David M. Mount, Jeffrey S. Salowe, and Michiel H. M. Smid. Euclidean spanners: Short, thin, and lanky. In Proc. 27th Annual ACM Symposium on Theory of Computing (STOC), pages 489-498, 1995. URL: https://doi.org/10.1145/225058.225191.
  8. Sunil Arya, David M. Mount, Nathan S. Netanyahu, Ruth Silverman, and Angela Y. Wu. An optimal algorithm for approximate nearest neighbor searching fixed dimensions. J. ACM, 45(6):891-923, 1998. URL: https://doi.org/10.1145/293347.293348.
  9. Marshall W. Bern. Approximate closest-point queries in high dimensions. Inf. Process. Lett., 45(2):95-99, 1993. URL: https://doi.org/10.1016/0020-0190(93)90222-U.
  10. Ahmad Biniaz. Plane hop spanners for unit disk graphs: Simpler and better. Comput. Geom., page 101622, 2020. URL: https://doi.org/10.1016/j.comgeo.2020.101622.
  11. Karl Bringmann, Sándor Kisfaludi-Bak, Marvin Künnemann, André Nusser, and Zahra Parsaeian. Towards sub-quadratic diameter computation in geometric intersection graphs. In Proc. 38th International Symposium on Computational Geometry (SoCG), pages 21:1-21:16, 2022. URL: https://doi.org/10.4230/LIPIcs.SoCG.2022.21.
  12. Sergio Cabello and Miha Jejčič. Shortest paths in intersection graphs of unit disks. Comput. Geom., 48(4):360-367, 2015. URL: https://doi.org/10.1016/j.comgeo.2014.12.003.
  13. Nicolas Catusse, Victor Chepoi, and Yann Vaxès. Planar hop spanners for unit disk graphs. In Proc. 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities (ALGOSENSORS), pages 16-30, 2010. URL: https://doi.org/10.1007/978-3-642-16988-5_2.
  14. Timothy M. Chan. Approximate nearest neighbor queries revisited. Discret. Comput. Geom., 20(3):359-373, 1998. URL: https://doi.org/10.1007/PL00009390.
  15. Timothy M. Chan. Random sampling, halfspace range reporting, and construction of (≤ k)-levels in three dimensions. SIAM J. Comput., 30(2):561-575, 2000. URL: https://doi.org/10.1137/S0097539798349188.
  16. Timothy M. Chan. Polynomial-time approximation schemes for packing and piercing fat objects. Journal of Algorithms, 46(2):178-189, 2003. Google Scholar
  17. Timothy M. Chan. Dynamic subgraph connectivity with geometric applications. SIAM J. Comput., 36(3):681-694, 2006. URL: https://doi.org/10.1137/S009753970343912X.
  18. Timothy M. Chan. Dynamic geometric data structures via shallow cuttings. Discret. Comput. Geom., 64(4):1235-1252, 2020. URL: https://doi.org/10.1007/s00454-020-00229-5.
  19. Timothy M. Chan. Finding triangles and other small subgraphs in geometric intersection graphs. In Proc. 34th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2023. To appear. URL: https://arxiv.org/abs/2211.05345.
  20. Timothy M. Chan and Sariel Har-Peled. On the number of incidences when avoiding an induced biclique in geometric settings. In Proc. 34th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2023. To appear. URL: https://arxiv.org/abs/2112.14829.
  21. Timothy M. Chan and Dimitrios Skrepetos. All-pairs shortest paths in geometric intersection graphs. J. Comput. Geom., 10(1):27-41, 2019. URL: https://doi.org/10.20382/jocg.v10i1a2.
  22. Timothy M. Chan and Dimitrios Skrepetos. Approximate shortest paths and distance oracles in weighted unit-disk graphs. J. Comput. Geom., 10(2):3-20, 2019. URL: https://doi.org/10.20382/jocg.v10i2a2.
  23. Chandra Chekuri, Kenneth L. Clarkson, and Sariel Har-Peled. On the set multicover problem in geometric settings. ACM Trans. Algorithms, 9(1), December 2012. URL: https://doi.org/10.1145/2390176.2390185.
  24. Jonathan B. Conroy and Csaba D. Tóth. Hop-spanners for geometric intersection graphs. In 38th International Symposium on Computational Geometry (SoCG), pages 30:1-30:17, 2022. URL: https://doi.org/10.4230/LIPIcs.SoCG.2022.30.
  25. Mark de Berg, Otfried Cheong, Marc J. van Kreveld, and Mark H. Overmars. Computational Geometry: Algorithms and Applications. Springer, 3rd edition, 2008. URL: https://www.worldcat.org/oclc/227584184.
  26. Adrian Dumitrescu, Anirban Ghosh, and Csaba D. Tóth. Sparse hop spanners for unit disk graphs. Comput. Geom., page 101808, 2022. URL: https://doi.org/10.1016/j.comgeo.2021.101808.
  27. Paul Erdős. Extremal problems in graph theory. In Proc. Symp. on Graph Theory, Smolenice, Acad. C.S.S.R., pages 29-36, 1963. Google Scholar
  28. Jacob Fox and János Pach. A separator theorem for string graphs and its applications. Combinatorics, Probability and Computing, 19(3):371-390, 2010. Google Scholar
  29. Greg N. Frederickson. Fast algorithms for shortest paths in planar graphs, with applications. SIAM Journal on computing, 16(6):1004-1022, 1987. Google Scholar
  30. Greg N. Frederickson. Ambivalent data structures for dynamic 2-edge-connectivity and k smallest spanning trees. SIAM Journal on Computing, 26(2):484-538, 1997. Google Scholar
  31. Jie Gao and Li Zhang. Well-separated pair decomposition for the unit-disk graph metric and its applications. SIAM J. Comput., 35(1):151-169, 2005. URL: https://doi.org/10.1137/S0097539703436357.
  32. Klara Kedem, Ron Livne, János Pach, and Micha Sharir. On the union of jordan regions and collision-free translational motion amidst polygonal obstacles. Discret. Comput. Geom., 1:59-70, 1986. URL: https://doi.org/10.1007/BF02187683.
  33. Hung Le, Lazar Milenkovic, and Shay Solomon. Sparse euclidean spanners with tiny diameter: A tight lower bound. In Proc. 38th International Symposium on Computational Geometry (SoCG), pages 54:1-54:15, 2022. URL: https://doi.org/10.4230/LIPIcs.SoCG.2022.54.
  34. James R. Lee. Separators in region intersection graphs. In Proc. 8th Innovations in Theoretical Computer Science Conference (ITCS), pages 1:1-1:8, 2017. URL: https://doi.org/10.4230/LIPIcs.ITCS.2017.1.
  35. Jirí Matoušek. Reporting points in halfspaces. Computational Geometry, 2(3):169-186, 1992. Google Scholar
  36. Jirí Matoušek. Near-optimal separators in string graphs. Comb. Probab. Comput., 23(1):135-139, 2014. URL: https://doi.org/10.1017/S0963548313000400.
  37. Giri Narasimhan and Michiel H. M. Smid. Geometric Spanner Networks. Cambridge University Press, 2007. Google Scholar
  38. Chenyu Yan, Yang Xiang, and Feodor F. Dragan. Compact and low delay routing labeling scheme for unit disk graphs. In Proc. Algorithms and Data Structures, 11th International Symposium (WADS), pages 566-577, 2009. URL: https://doi.org/10.1007/978-3-642-03367-4_49.
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