Abstract:A geometric $t$-spanner $\mathcal{G}$ on a set $S$ of $n$ point sites in a metric space $P$ is a subgraph of the complete graph on $S$ such that for every pair of sites $p,q$ the distance in $\mathcal{G}$ is a most $t$ times the distance $d(p,q)$ in $P$. We call a connection between two sites a \emph{link}. In some settings, such as when $P$ is a simple polygon with $m$ vertices and a link is a shortest path in $P$, links can consist of $\Theta (m)$ segments and thus have non-constant complexity. The spanner complexity is a measure of how compact a spanner is, which is equal to the sum of the complexities of all links in the spanner. In this paper, we study what happens if we are allowed to introduce $k$ Steiner points to reduce the spanner complexity. We study such Steiner spanners in simple polygons, polygonal domains, and edge-weighted trees. We show that Steiner points have only limited utility. For a spanner that uses $k$ Steiner points, we provide an $\Omega(mn^{1/(t+1)}/k^{1/(t+1)})$ lower bound on the worst-case complexity of any $(t-\varepsilon)$-spanner, for any constant $\varepsilon \in (0,1)$ and integer constant $t \geq 2$. Additionally, we show NP-hardness for the problem of deciding whether a set of sites in a polygonal domain admits a $3$-spanner with a given maximum complexity using $k$ Steiner points. On the positive side, for trees we show how to build a $2t$-spanner that uses $k$ Steiner points of complexity $O(mn^{1/t}/k^{1/t} + n \log (n/k))$, for any integer $t \geq 1$. We generalize this to forests, and use it to obtain a $2\sqrt{2}t$-spanner in a simple polygon with complexity $O(mn^{1/t}(\log k)^{1+1/t}/k^{1/t} + n\log^2 n)$. When a link can be any path between two sites, we show how to improve the spanning ratio to $(2k+\varepsilon)$, for any constant $\varepsilon \in (0,2k)$, and how to build a $6t$-spanner in a polygonal domain with the same complexity.

An Alternate Proof of Near-Optimal Light Spanners

A Lower Bound for Light Spanners in General Graphs

Towards a Unified Theory of Light Spanners I: Fast (Yet Optimal) Constructions

Lightweight Near-Additive Spanners

The Gap Between Greedy Algorithm and Minimum Multiplicative Spanner

Almost-Optimal Sublinear Additive Spanners

Additive Spanner Lower Bounds with Optimal Inner Graph Structure

Optimal Fault-Tolerant Spanners in Euclidean and Doubling Metrics: Breaking the $Ω(\log n)$ Lightness Barrier

Towards Instance-Optimal Euclidean Spanners

Subsetwise and Multi-Level Additive Spanners with Lightness Guarantees

Improved Local Computation Algorithms for Constructing Spanners

Maintaining Light Spanners via Minimal Updates

Light spanners for snowflake metrics

New Techniques and Fine-Grained Hardness for Dynamic Near-Additive Spanners

Online Spanners in Metric Spaces

Optimal Lower Bounds for Distributed and Streaming Spanning Forest Computation

The Complexity of Geodesic Spanners using Steiner Points

Dependable Spanners via Unreliable Edges

New weighted additive spanners

Approximation Algorithms for Directed Weighted Spanners

Incubators vs Zombies: Fault-Tolerant, Short, Thin and Lanky Spanners for Doubling Metrics