Bounded-Degree Plane Geometric Spanners in Practice
Authors: 
Frederick Anderson, Anirban Ghosh, Matthew Graham, Lucas Mougeot, David WisnoskyAuthors Info & Claims
Frederick Anderson, Anirban Ghosh, Matthew Graham, Lucas Mougeot, David WisnoskyAuthors Info & ClaimsArticle No.: 1.1, Pages 1 - 36
Abstract
The construction of bounded-degree plane geometric spanners has been a focus of interest since 2002 when Bose, Gudmundsson, and Smid proposed the first algorithm to construct such spanners. To date, 11 algorithms have been designed with various tradeoffs in degree and stretch-factor. We have implemented these sophisticated spanner algorithms in C++ using the CGAL library and experimented with them using large synthetic and real-world pointsets. Our experiments have revealed their practical behavior and real-world efficacy. We share the implementations via GitHub for broader uses and future research.
We design and engineer EstimateStretchFactor, a simple practical algorithm, which can estimate stretch-factors (obtains lower bounds on the exact stretch-factors) of geometric spanners—a challenging problem for which no practical algorithm is known yet. In our experiments with bounded-degree plane geometric spanners, we found that EstimateStretchFactor estimated stretch-factors almost precisely. Further, it gave linear runtime performance in practice for the pointset distributions considered in this work, making it much faster than the naive Dijkstra-based algorithm for calculating stretch-factors.
References
[1]
Pankaj K. Agarwal, Rolf Klein, Christian Knauer, Stefan Langerman, Pat Morin, Micha Sharir, and Michael Soss. 2008. Computing the detour and spanning ratio of paths, trees, and cycles in 2D and 3D. Discrete & Computational Geometry 39, 1 (2008), 17–37.
[2]
Fred Anderson, Anirban Ghosh, Matthew Graham, Lucas Mougeot, and David Wisnosky. 2021. An interactive tool for experimenting with bounded-degree plane geometric spanners (media exposition). In Proceedings of the 37th International Symposium on Computational Geometry (SoCG’21).
[3]
Davood Bakhshesh and Mohammad Farshi. 2021. A degree 3 plane 5.19-spanner for points in convex position. Scientia Iranica 28, 6 (2021), 3324–3331.
[4]
Jon Jouis Bentley. 1992. Fast algorithms for geometric traveling salesman problems. ORSA Journal on Computing 4, 4 (1992), 387–411.
[5]
Jon Louis Bentley. 1990. K-d trees for semidynamic point sets. In Proceedings of the 6th Annual Symposium on Computational Geometry. 187–197.
[6]
Ahmad Biniaz. 2020. Plane hop spanners for unit disk graphs: Simpler and better. Computational Geometry 89 (2020), 101622.
[7]
Ahmad Biniaz, Prosenjit Bose, Jean-Lou De Carufel, Cyril Gavoille, Anil Maheshwari, and Michiel Smid. 2017. Towards plane spanners of degree 3. Journal of Computational Geometry 8, 1 (2017), 11–31.
[8]
Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse, and David Ilcinkas. 2010. Connections between theta-graphs, Delaunay triangulations, and orthogonal surfaces. In Proceedings of the International Workshop on Graph-Theoretic Concepts in Computer Science. 266–278.
[9]
Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse, and Ljubomir Perković. 2010. Plane spanners of maximum degree six. In Proceedings of the International Colloquium on Automata, Languages, and Programming. 19–30.
[10]
Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse, and Ljubomir Perković. 2012. The stretch factor of \({L}_1\)-and \({L}_\infty\)-Delaunay triangulations. In Proceedings of the European Symposium on Algorithms. 205–216.
[11]
Nicolas Bonichon, Iyad Kanj, Ljubomir Perković, and Ge Xia. 2015. There are plane spanners of degree 4 and moderate stretch factor. Discrete & Computational Geometry 53, 3 (2015), 514–546.
[12]
Prosenjit Bose, Paz Carmi, and Lilach Chaitman-Yerushalmi. 2012. On bounded degree plane strong geometric spanners. Journal of Discrete Algorithms 15 (2012), 16–31.
[13]
Prosenjit Bose, Joachim Gudmundsson, and Michiel Smid. 2005. Constructing plane spanners of bounded degree and low weight. Algorithmica 42, 3-4 (2005), 249–264.
[14]
Prosenjit Bose, Darryl Hill, and Michiel Smid. 2018. Improved spanning ratio for low degree plane spanners. Algorithmica 80, 3 (2018), 935–976.
[15]
Prosenjit Bose and Michiel Smid. 2013. On plane geometric spanners: A survey and open problems. Computational Geometry 46, 7 (2013), 818–830.
[16]
Prosenjit Bose, Michiel Smid, and Daming Xu. 2009. Delaunay and diamond triangulations contain spanners of bounded degree. International Journal of Computational Geometry & Applications 19, 02 (2009), 119–140.
[17]
Norbert Bus, Nabil H. Mustafa, and Saurabh Ray. 2018. Practical and efficient algorithms for the geometric hitting set problem. Discrete Applied Mathematics 240 (2018), 25–32.
[18]
Paul B. Callahan and S. Rao Kosaraju. 1995. A decomposition of multidimensional point sets with applications to k-nearest-neighbors and n-body potential fields. Journal of the ACM 42, 1 (1995), 67–90.
[19]
Nicolas Catusse, Victor Chepoi, and Yann Vaxès. 2010. Planar hop spanners for unit disk graphs. In Proceedings of the International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks, and Distributed Robotics. 16–30.
[20]
Siu-Wing Cheng, Christian Knauer, Stefan Langerman, and Michiel Smid. 2012. Approximating the average stretch factor of geometric graphs. Journal of Computational Geometry 3, 1 (2012), 132–153.
[21]
L. Paul Chew. 1986. There is a planar graph almost as good as the complete graph. In Proceedings of the 2nd Annual Symposium on Computational Geometry.
[22]
L. Paul Chew. 1989. There are planar graphs almost as good as the complete graph. Journal of Computer and System Sciences 39, 2 (1989), 205–219.
[23]
Gautam Das and Paul J. Heffernan. 1996. Constructing degree-3 spanners with other sparseness properties. International Journal of Foundations of Computer Science 7, 02 (1996), 121–135.
[24]
Adrian Dumitrescu and Anirban Ghosh. 2016. Lattice spanners of low degree. Discrete Mathematics, Algorithms and Applications 8, 03 (2016), 1650051.
[25]
Adrian Dumitrescu and Anirban Ghosh. 2016. Lower bounds on the dilation of plane spanners. International Journal of Computational Geometry & Applications 26, 02 (2016), 89–110.
[26]
Adrian Dumitrescu, Anirban Ghosh, and Csaba D. Tóth. 2022. Sparse hop spanners for unit disk graphs. Computational Geometry 100 (2022), 101808.
[27]
Mohammad Farshi and Joachim Gudmundsson. 2009. Experimental study of geometric t-spanners. Journal of Experimental Algorithmics 14 (2009), 3.
[28]
Greg N. Federickson. 1987. Fast algorithms for shortest paths in planar graphs, with applications. SIAM Journal on Computing 16, 6 (1987), 1004–1022.
[29]
Rachel Friederich, Anirban Ghosh, Matthew Graham, Brian Hicks, and Ronald Shevchenko. 2023. Experiments with unit disk cover algorithms for covering massive pointsets. Computational Geometry 109 (2023), 101925.
[30]
Anirban Ghosh, Brian Hicks, and Ronald Shevchenko. 2019. Unit disk cover for massive point sets. In Proceedings of the International Symposium on Experimental Algorithms. 142–157.
[31]
Itinerant Games. 2014. A 2D Procedural Galaxy with C++. Retrieved February 8, 2023 from https://itinerantgames.tumblr.com/post/78592276402/a-2d-procedural-galaxy-with-c.
[32]
Iyad Kanj, Ljubomir Perkovic, and Duru Türkoǧlu. 2017. Degree four plane spanners: Simpler and better. Journal of Computational Geometry 8, 2 (2017), 3–31.
[33]
Iyad A. Kanj, Ljubomir Perković, and Ge Xia. 2010. On spanners and lightweight spanners of geometric graphs. SIAM Journal on Computing 39, 6 (2010), 2132–2161.
[34]
Iyad A. Kanj and Ge Xia. 2012. Improved local algorithms for spanner construction. Theoretical Computer Science 453 (2012), 54–64.
[35]
Rolf Klein, Martin Kutz, and Rainer Penninger. 2015. Most finite point sets in the plane have dilation \(\gt 1\). Discrete & Computational Geometry 53, 1 (2015), 80–106.
[36]
Xiang-Yang Li and Yu Wang. 2004. Efficient construction of low weighted bounded degree planar spanner. International Journal of Computational Geometry & Applications 14, 01n02 (2004), 69–84.
[37]
Wolfgang Mulzer. 2004. Minimum Dilation Triangulations for the Regular n-Gon. Master’s Thesis. Freie Universität Berlin, Germany.
[38]
Giri Narasimhan and Michiel Smid. 2000. Approximating the stretch factor of Euclidean graphs. SIAM Journal on Computing 30, 3 (2000), 978–989.
[39]
Giri Narasimhan and Michiel Smid. 2007. Geometric Spanner Networks. Cambridge University Press.
[40]
Giri Narasimhan and Martin Zachariasen. 2001. Geometric minimum spanning trees via well-separated pair decompositions. Journal of Experimental Algorithmics 6 (2001), 6–es.
[41]
The CGAL Project. 2021. CGAL User and Reference Manual (5.3 ed.). CGAL Editorial Board. https://doc.cgal.org/5.3/Manual/packages.html.
[42]
Csaba D. Toth, Joseph O’Rourke, and Jacob E. Goodman. 2017. Handbook of Discrete and Computational Geometry. Chapman & Hall/CRC.
[43]
TSP. 2022. Traveling Salesman Problem. Retrieved December 8, 2022 from https://www.math.uwaterloo.ca/tsp/.
[44]
Christian Wulff-Nilsen. 2010. Computing the maximum detour of a plane geometric graph in subquadratic time. Journal of Computational Geometry 1, 1 (2010), 101–122.
[45]
Ge Xia. 2013. The stretch factor of the Delaunay triangulation is less than 1.998. SIAM Journal on Computing 42, 4 (2013), 1620–1659.
Index Terms
- Bounded-Degree Plane Geometric Spanners in Practice
Recommendations
There are Plane Spanners of Maximum Degree 4
SOCG'14: Proceedings of the thirtieth annual symposium on Computational geometryLet ϵ be the complete Euclidean graph on a set of points embedded in the plane. Given a constant t ≥ 1, a spanning subgraph G of ϵ is said to be a t-spanner, or simply a spanner, if for any pair of vertices u, v in ϵ the distance between u and v in G is ...
Lower Bounds on the Dilation of Plane Spanners
CALDAM 2016: Proceedings of the Second International Conference on Algorithms and Discrete Applied Mathematics - Volume 9602I We exhibit a set of 23 points in the plane that has dilation at least 1.4308, improving the previously best lower bound of 1.4161 for the worst-case dilation of plane spanners.
II For every $$n\ge 13$$, there exists an n-element point set S such that ...
There are Plane Spanners of Degree 4 and Moderate Stretch Factor
Let $${\fancyscript{E}}$$E be the complete Euclidean graph on a set of points embedded in the plane. Given a constant $$t \ge 1$$t 1, a spanning subgraph $$G$$G of $${\fancyscript{E}}$$E is said to be a $$t$$t-spanner, or simply a spanner, if for any ...
Comments
Information & Contributors
Information
Published In
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 08 April 2023
Online AM: 01 February 2023
Accepted: 06 December 2022
Revised: 07 November 2022
Received: 05 May 2022
Published in JEA Volume 28
Author Tags
Qualifiers
- Research-article
Funding Sources
- University of North Florida Academic Technology
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 263Total Downloads
- Downloads (Last 12 months)110
- Downloads (Last 6 weeks)14
Reflects downloads up to 10 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderFull Text
View this article in Full Text.
Full TextHTML Format
View this article in HTML Format.
HTML Format