113 research outputs found
Spanners for Geometric Intersection Graphs
Efficient algorithms are presented for constructing spanners in geometric
intersection graphs. For a unit ball graph in R^k, a (1+\epsilon)-spanner is
obtained using efficient partitioning of the space into hypercubes and solving
bichromatic closest pair problems. The spanner construction has almost
equivalent complexity to the construction of Euclidean minimum spanning trees.
The results are extended to arbitrary ball graphs with a sub-quadratic running
time.
For unit ball graphs, the spanners have a small separator decomposition which
can be used to obtain efficient algorithms for approximating proximity problems
like diameter and distance queries. The results on compressed quadtrees,
geometric graph separators, and diameter approximation might be of independent
interest.Comment: 16 pages, 5 figures, Late
On the Edge Crossings of the Greedy Spanner
The greedy t-spanner of a set of points in the plane is an undirected graph constructed by considering pairs of points in order by distance, and connecting a pair by an edge when there does not already exist a path connecting that pair with length at most t times the Euclidean distance. We prove that, for any t > 1, these graphs have at most a linear number of crossings, and more strongly that the intersection graph of edges in a greedy t-spanner has bounded degeneracy. As a consequence, we prove a separator theorem for greedy spanners: any k-vertex subgraph of a greedy spanner can be partitioned into sub-subgraphs of size a constant fraction smaller, by the removal of O(?k) vertices. A recursive separator hierarchy for these graphs can be constructed from their planarizations in linear time, or in near-linear time if the planarization is unknown
Optimal Spanners for Unit Ball Graphs in Doubling Metrics
Resolving an open question from 2006, we prove the existence of light-weight
bounded-degree spanners for unit ball graphs in the metrics of bounded doubling
dimension, and we design a simple -round distributed
algorithm in the LOCAL model of computation, that given a unit ball graph
with vertices and a positive constant finds a
-spanner with constant bounds on its maximum degree and its
lightness using only 2-hop neighborhood information. This immediately improves
the best prior lightness bound, the algorithm of Damian, Pandit, and Pemmaraju,
which runs in rounds in the LOCAL model, but has a
bound on its lightness, where is the ratio
of the length of the longest edge to the length of the shortest edge in the
unit ball graph. Next, we adjust our algorithm to work in the CONGEST model,
without changing its round complexity, hence proposing the first spanner
construction for unit ball graphs in the CONGEST model of computation. We
further study the problem in the two dimensional Euclidean plane and we provide
a construction with similar properties that has a constant average number of
edge intersections per node. Lastly, we provide experimental results that
confirm our theoretical bounds, and show an efficient performance from our
distributed algorithm compared to the best known centralized construction
Covering Metric Spaces by Few Trees
A tree cover of a metric space (X,d) is a collection of trees, so that every pair x,y in X has a low distortion path in one of the trees. If it has the stronger property that every point x in X has a single tree with low distortion paths to all other points, we call this a Ramsey tree cover. Tree covers and Ramsey tree covers have been studied by [Yair Bartal et al., 2005; Anupam Gupta et al., 2004; T-H. Hubert Chan et al., 2005; Gupta et al., 2006; Mendel and Naor, 2007], and have found several important algorithmic applications, e.g. routing and distance oracles. The union of trees in a tree cover also serves as a special type of spanner, that can be decomposed into a few trees with low distortion paths contained in a single tree; Such spanners for Euclidean pointsets were presented by [S. Arya et al., 1995].
In this paper we devise efficient algorithms to construct tree covers and Ramsey tree covers for general, planar and doubling metrics. We pay particular attention to the desirable case of distortion close to 1, and study what can be achieved when the number of trees is small. In particular, our work shows a large separation between what can be achieved by tree covers vs. Ramsey tree covers
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
Distributed Construction of Lightweight Spanners for Unit Ball Graphs
Resolving an open question from 2006 [Damian et al., 2006], we prove the existence of light-weight bounded-degree spanners for unit ball graphs in the metrics of bounded doubling dimension, and we design a simple ?(log^*n)-round distributed algorithm in the LOCAL model of computation, that given a unit ball graph G with n vertices and a positive constant ? < 1 finds a (1+?)-spanner with constant bounds on its maximum degree and its lightness using only 2-hop neighborhood information. This immediately improves the best prior lightness bound, the algorithm of Damian, Pandit, and Pemmaraju [Damian et al., 2006], which runs in ?(log^*n) rounds in the LOCAL model, but has a ?(log ?) bound on its lightness, where ? is the ratio of the length of the longest edge to the length of the shortest edge in the unit ball graph. Next, we adjust our algorithm to work in the CONGEST model, without changing its round complexity, hence proposing the first spanner construction for unit ball graphs in the CONGEST model of computation. We further study the problem in the two dimensional Euclidean plane and we provide a construction with similar properties that has a constant average number of edge intersections per node. Lastly, we provide experimental results that confirm our theoretical bounds, and show an efficient performance from our distributed algorithm compared to the best known centralized construction
A Polynomial-time Algorithm for Outerplanar Diameter Improvement
The Outerplanar Diameter Improvement problem asks, given a graph and an
integer , whether it is possible to add edges to in a way that the
resulting graph is outerplanar and has diameter at most . We provide a
dynamic programming algorithm that solves this problem in polynomial time.
Outerplanar Diameter Improvement demonstrates several structural analogues to
the celebrated and challenging Planar Diameter Improvement problem, where the
resulting graph should, instead, be planar. The complexity status of this
latter problem is open.Comment: 24 page
- âŠ