
arXiv: 2107.00684
In this article, we study the online Euclidean spanners problem for points in \(\mathbb{R}^{d}\) . Given a set \(S\) of \(n\) points in \(\mathbb{R}^{d}\) , a \(t\) -spanner on \(S\) is a subgraph of the underlying complete graph \(G=(S,\binom{S}{2})\) , that preserves the pairwise Euclidean distances between points in \(S\) to within a factor of \(t\) , that is the stretch factor . Suppose we are given a sequence of \(n\) points \((s_{1},s_{2},\ldots,s_{n})\) in \(\mathbb{R}^{d}\) , where point \(s_{i}\) is presented in step \(i\) for \(i=1,\ldots,n\) . The objective of an online algorithm is to maintain a geometric \(t\) -spanner on \(S_{i}=\{s_{1},\ldots,s_{i}\}\) for each step \(i\) . The algorithm is allowed to add new edges to the spanner when a new point is presented but cannot remove any edge from the spanner. The performance of an online algorithm is measured by its competitive ratio, which is the supremum, over all sequences of points, of the ratio between the weight of the spanner constructed by the algorithm and the weight of an optimum spanner. Here, the weight of a spanner is the sum of all edge weights. First, we establish a lower bound of \(\Omega(\varepsilon^{-1}\log n/\log\varepsilon^{-1})\) for the competitive ratio of any online \((1+\varepsilon)\) -spanner algorithm, for a sequence of \(n\) points in 1-dimension. We show that this bound is tight, and there is an online algorithm that can maintain a \((1+\varepsilon)\) -spanner with competitive ratio \(O(\varepsilon^{-1}\log n/\log\varepsilon^{-1})\) . Next, we design online algorithms for sequences of points in \(\mathbb{R}^{d}\) , for any constant \(d\geq 2\) , under the \(L_{2}\) norm. We show that previously known incremental algorithms achieve a competitive ratio \(O(\varepsilon^{-(d+1)}\log n)\) . However, if the algorithm is allowed to use additional points (Steiner points), then it is possible to substantially improve the competitive ratio in terms of \(\varepsilon\) . We describe an online Steiner \((1+\varepsilon)\) -spanner algorithm with competitive ratio \(O(\varepsilon^{(1-d)/2}\log n)\) . As a counterpart, we show that the dependence on \(n\) cannot be eliminated in dimensions \(d\geq 2\) . In particular, we prove that any online spanner algorithm for a sequence of \(n\) points in \(\mathbb{R}^{d}\) under the \(L_{2}\) norm has competitive ratio \(\Omega(f(n))\) , where \(\lim_{n\rightarrow\infty}f(n)=\infty\) . Finally, we provide improved lower bounds under the \(L_{1}\) norm: \(\Omega(\varepsilon^{-2}/\log\varepsilon^{-1})\) in the plane and \(\Omega(\varepsilon^{-d})\) in \(\mathbb{R}^{d}\) for \(d\geq 3\) .
Computational Geometry (cs.CG), FOS: Computer and information sciences, Distance in graphs, geometric spanner, Geometric spanner, Approximation algorithms, 004, online algorithm, (1+ε)-spanner, Graph algorithms (graph-theoretic aspects), Graph theory (including graph drawing) in computer science, Computer graphics; computational geometry (digital and algorithmic aspects), minimum weight, Computer Science - Data Structures and Algorithms, Computer Science - Computational Geometry, Online algorithms; streaming algorithms, Data Structures and Algorithms (cs.DS)
Computational Geometry (cs.CG), FOS: Computer and information sciences, Distance in graphs, geometric spanner, Geometric spanner, Approximation algorithms, 004, online algorithm, (1+ε)-spanner, Graph algorithms (graph-theoretic aspects), Graph theory (including graph drawing) in computer science, Computer graphics; computational geometry (digital and algorithmic aspects), minimum weight, Computer Science - Data Structures and Algorithms, Computer Science - Computational Geometry, Online algorithms; streaming algorithms, Data Structures and Algorithms (cs.DS)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
