Spanners in Planar Domains via Steiner Spanners and non-Steiner Tree Covers
Sujoy Bhore,Balázs Keszegh,Andrey Kupavskii,Hung Le,Alexandre Louvet,Dömötör Pálvölgyi,Csaba D. Tóth
2024-04-08
Abstract:We study spanners in planar domains, including polygonal domains, polyhedral terrain, and planar metrics. Previous work showed that for any constant $\epsilon\in (0,1)$, one could construct a $(2+\epsilon)$-spanner with $O(n\log(n))$ edges (SICOMP 2019), and there is a lower bound of $\Omega(n^2)$ edges for any $(2-\epsilon)$-spanner (SoCG 2015). The main open question is whether a linear number of edges suffices and the stretch can be reduced to $2$. We resolve this problem by showing that for stretch $2$, one needs $\Omega(n\log n)$ edges, and for stretch $2+\epsilon$ for any fixed $\epsilon \in (0,1)$, $O(n)$ edges are sufficient. Our lower bound is the first super-linear lower bound for stretch $2$.
Computational Geometry,Data Structures and Algorithms