11 research outputs found
Fault-tolerant additive weighted geometric spanners
Let S be a set of n points and let w be a function that assigns non-negative
weights to points in S. The additive weighted distance d_w(p, q) between two
points p,q belonging to S is defined as w(p) + d(p, q) + w(q) if p \ne q and it
is zero if p = q. Here, d(p, q) denotes the (geodesic) Euclidean distance
between p and q. A graph G(S, E) is called a t-spanner for the additive
weighted set S of points if for any two points p and q in S the distance
between p and q in graph G is at most t.d_w(p, q) for a real number t > 1.
Here, d_w(p,q) is the additive weighted distance between p and q. For some
integer k \geq 1, a t-spanner G for the set S is a (k, t)-vertex fault-tolerant
additive weighted spanner, denoted with (k, t)-VFTAWS, if for any set S'
\subset S with cardinality at most k, the graph G \ S' is a t-spanner for the
points in S \ S'. For any given real number \epsilon > 0, we obtain the
following results:
- When the points in S belong to Euclidean space R^d, an algorithm to compute
a (k,(2 + \epsilon))-VFTAWS with O(kn) edges for the metric space (S, d_w).
Here, for any two points p, q \in S, d(p, q) is the Euclidean distance between
p and q in R^d.
- When the points in S belong to a simple polygon P, for the metric space (S,
d_w), one algorithm to compute a geodesic (k, (2 + \epsilon))-VFTAWS with
O(\frac{k n}{\epsilon^{2}}\lg{n}) edges and another algorithm to compute a
geodesic (k, (\sqrt{10} + \epsilon))-VFTAWS with O(kn(\lg{n})^2) edges. Here,
for any two points p, q \in S, d(p, q) is the geodesic Euclidean distance along
the shortest path between p and q in P.
- When the points in lie on a terrain T, an algorithm to compute a
geodesic (k, (2 + \epsilon))-VFTAWS with O(\frac{k n}{\epsilon^{2}}\lg{n})
edges.Comment: a few update
A Spanner for the Day After
We show how to construct -spanner over a set of
points in that is resilient to a catastrophic failure of nodes.
Specifically, for prescribed parameters , the
computed spanner has edges, where . Furthermore, for any , and
any deleted set of points, the residual graph is -spanner for all the points of except for
of them. No previous constructions, beyond the trivial clique
with edges, were known such that only a tiny additional fraction
(i.e., ) lose their distance preserving connectivity.
Our construction works by first solving the exact problem in one dimension,
and then showing a surprisingly simple and elegant construction in higher
dimensions, that uses the one-dimensional construction in a black box fashion
The Stretch Factor of the Delaunay Triangulation Is Less Than 1.998
Let be a finite set of points in the Euclidean plane. Let be a
Delaunay triangulation of . The {\em stretch factor} (also known as {\em
dilation} or {\em spanning ratio}) of is the maximum ratio, among all
points and in , of the shortest path distance from to in
over the Euclidean distance . Proving a tight bound on the stretch
factor of the Delaunay triangulation has been a long standing open problem in
computational geometry.
In this paper we prove that the stretch factor of the Delaunay triangulation
of a set of points in the plane is less than , improving the
previous best upper bound of 2.42 by Keil and Gutwin (1989). Our bound 1.998 is
better than the current upper bound of 2.33 for the special case when the point
set is in convex position by Cui, Kanj and Xia (2009). This upper bound breaks
the barrier 2, which is significant because previously no family of plane
graphs was known to have a stretch factor guaranteed to be less than 2 on any
set of points.Comment: 41 pages, 16 figures. A preliminary version of this paper appeared in
the Proceedings of the 27th Annual Symposium on Computational Geometry (SoCG
2011). This is a revised version of the previous preprint [v1
An optimal algorithm for computing angle-constrained spanners
Let S be a set of n points in ℝd. A graph G = (S,E) is called a t-spanner for S, if for any two points p and q in S, the shortest-path distance in G between p and q is at most t|pq|, where |pq| denotes the Euclidean distance between p and q. The graph G is called θ-angle-constrained, if any two distinct edges sharing an endpoint make an angle of at least θ. It is shown that, for any θ with 0 < θ < π/3, a θ-angle-constrained t-spanner can be computed in O(n logn) time, where t depends only on θ
Light Euclidean Steiner Spanners in the Plane
Lightness is a fundamental parameter for Euclidean spanners; it is the ratio
of the spanner weight to the weight of the minimum spanning tree of a finite
set of points in . In a recent breakthrough, Le and Solomon
(2019) established the precise dependencies on and of the minimum lightness of -spanners, and
observed that additional Steiner points can substantially improve the
lightness. Le and Solomon (2020) constructed Steiner -spanners
of lightness in the plane, where is the \emph{spread} of the point set, defined as the ratio
between the maximum and minimum distance between a pair of points. They also
constructed spanners of lightness in
dimensions . Recently, Bhore and T\'{o}th (2020) established a lower
bound of for the lightness of Steiner
-spanners in , for . The central open
problem in this area is to close the gap between the lower and upper bounds in
all dimensions .
In this work, we show that for every finite set of points in the plane and
every , there exists a Euclidean Steiner
-spanner of lightness ; this matches the
lower bound for . We generalize the notion of shallow light trees, which
may be of independent interest, and use directional spanners and a modified
window partitioning scheme to achieve a tight weight analysis.Comment: 29 pages, 14 figures. A 17-page extended abstract will appear in the
Proceedings of the 37th International Symposium on Computational Geometr