1,966 research outputs found
Low-Degree Spanning Trees of Small Weight
The degree-d spanning tree problem asks for a minimum-weight spanning tree in
which the degree of each vertex is at most d. When d=2 the problem is TSP, and
in this case, the well-known Christofides algorithm provides a
1.5-approximation algorithm (assuming the edge weights satisfy the triangle
inequality).
In 1984, Christos Papadimitriou and Umesh Vazirani posed the challenge of
finding an algorithm with performance guarantee less than 2 for Euclidean
graphs (points in R^n) and d > 2. This paper gives the first answer to that
challenge, presenting an algorithm to compute a degree-3 spanning tree of cost
at most 5/3 times the MST. For points in the plane, the ratio improves to 3/2
and the algorithm can also find a degree-4 spanning tree of cost at most 5/4
times the MST.Comment: conference version in Symposium on Theory of Computing (1994
Barcode Embeddings for Metric Graphs
Stable topological invariants are a cornerstone of persistence theory and
applied topology, but their discriminative properties are often
poorly-understood. In this paper we study a rich homology-based invariant first
defined by Dey, Shi, and Wang, which we think of as embedding a metric graph in
the barcode space. We prove that this invariant is locally injective on the
space of metric graphs and globally injective on a GH-dense subset. Moreover,
we show that is globally injective on a full measure subset of metric graphs,
in the appropriate sense.Comment: The newest draft clarifies the proofs in Sections 7 and 8, and
provides improved figures therein. It also includes a results section in the
introductio
Approximating All-Pair Bounded-Leg Shortest Path and APSP-AF in Truly-Subcubic Time
In the bounded-leg shortest path (BLSP) problem, we are given a weighted graph G with nonnegative edge lengths, and we want to answer queries of the form "what\u27s the shortest path from u to v, where only edges of length = f are considered.
In this article we give an O~(n^{(omega+3)/2}epsilon^{-3/2}log W) time algorithm to compute a data structure that answers APSP-AF queries in O(log(epsilon^{-1}log (nW))) time and achieves (1+epsilon)-approximation, where omega < 2.373 is the exponent of time complexity of matrix multiplication, W is the upper bound of integer edge lengths, and n is the number of vertices. This is the first truly-subcubic time algorithm for these problems on dense graphs. Our algorithm utilizes the O(n^{(omega+3)/2}) time max-min product algorithm [Duan and Pettie 2009]. Since the all-pair bottleneck path (APBP) problem, which is equivalent to max-min product, can be seen as all-pair reachability for all flow, our approach indeed shows that these problems are almost equivalent in the approximation sense
On a family of strong geometric spanners that admit local routing strategies
We introduce a family of directed geometric graphs, denoted \paz, that
depend on two parameters and . For and , the \paz graph is a strong
-spanner, with . The out-degree of a node
in the \paz graph is at most . Moreover, we show that routing can be
achieved locally on \paz. Next, we show that all strong -spanners are also
-spanners of the unit disk graph. Simulations for various values of the
parameters and indicate that for random point sets, the
spanning ratio of \paz is better than the proven theoretical bounds
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
- …