10 research outputs found
Steiner Point Removal with Distortion
In the Steiner point removal (SPR) problem, we are given a weighted graph
and a set of terminals of size . The objective is to
find a minor of with only the terminals as its vertex set, such that
the distance between the terminals will be preserved up to a small
multiplicative distortion. Kamma, Krauthgamer and Nguyen [KKN15] used a
ball-growing algorithm with exponential distributions to show that the
distortion is at most . Cheung [Che17] improved the analysis of
the same algorithm, bounding the distortion by . We improve the
analysis of this ball-growing algorithm even further, bounding the distortion
by
Near Isometric Terminal Embeddings for Doubling Metrics
Given a metric space (X,d), a set of terminals K subseteq X, and a parameter t >= 1, we consider metric structures (e.g., spanners, distance oracles, embedding into normed spaces) that preserve distances for all pairs in K x X up to a factor of t, and have small size (e.g. number of edges for spanners, dimension for embeddings). While such terminal (aka source-wise) metric structures are known to exist in several settings, no terminal spanner or embedding with distortion close to 1, i.e., t=1+epsilon for some small 0<epsilon<1, is currently known.
Here we devise such terminal metric structures for doubling metrics, and show that essentially any metric structure with distortion 1+epsilon and size s(|X|) has its terminal counterpart, with distortion 1+O(epsilon) and size s(|K|)+1. In particular, for any doubling metric on n points, a set of k=o(n) terminals, and constant 0<epsilon<1, there exists
- A spanner with stretch 1+epsilon for pairs in K x X, with n+o(n) edges.
- A labeling scheme with stretch 1+epsilon for pairs in K x X, with label size ~~ log k.
- An embedding into l_infty^d with distortion 1+epsilon for pairs in K x X, where d=O(log k). Moreover, surprisingly, the last two results apply if only K is a doubling metric, while X can be arbitrary
New Pairwise Spanners
Let G = (V,E) be an undirected unweighted graph on n vertices. A subgraph H of G is called an (all-pairs) purely additive spanner with stretch beta if for every (u,v) in V times V, mathsf{dist}_H(u,v) le mathsf{dist}_G(u,v) + beta. The problem of computing sparse spanners with small stretch beta is well-studied. Here we consider the following relaxation: we are given psubseteq V times V and we seek a sparse subgraph H where mathsf{dist}_H(u,v)le mathsf{dist}_G(u,v) + beta for each (u,v) in p. Such a subgraph is called a pairwise spanner with additive stretch beta and our goal is to construct
such subgraphs that are sparser than all-pairs spanners with the same stretch. We show sparse pairwise spanners with additive stretch 4 and with additive stretch 6. We also consider the following special cases: p = S times V and p = S times T, where Ssubseteq V and Tsubseteq V, and show sparser pairwise spanners for these cases
A Linear-Size Logarithmic Stretch Path-Reporting Distance Oracle for General Graphs
In 2001 Thorup and Zwick devised a distance oracle, which given an -vertex
undirected graph and a parameter , has size . Upon a query
their oracle constructs a -approximate path between
and . The query time of the Thorup-Zwick's oracle is , and it was
subsequently improved to by Chechik. A major drawback of the oracle of
Thorup and Zwick is that its space is . Mendel and Naor
devised an oracle with space and stretch , but their
oracle can only report distance estimates and not actual paths. In this paper
we devise a path-reporting distance oracle with size , stretch
and query time , for an arbitrarily small .
In particular, our oracle can provide logarithmic stretch using linear size.
Another variant of our oracle has size , polylogarithmic
stretch, and query time .
For unweighted graphs we devise a distance oracle with multiplicative stretch
, additive stretch , for a function , space
, and query time , for an arbitrarily
small constant . The tradeoff between multiplicative stretch and
size in these oracles is far below girth conjecture threshold (which is stretch
and size ). Breaking the girth conjecture tradeoff is
achieved by exhibiting a tradeoff of different nature between additive stretch
and size . A similar type of tradeoff was exhibited by
a construction of -spanners due to Elkin and Peleg.
However, so far -spanners had no counterpart in the
distance oracles' world.
An important novel tool that we develop on the way to these results is a
{distance-preserving path-reporting oracle}
Path-Reporting Distance Oracles with Near-Logarithmic Stretch and Linear Size
Given an -vertex undirected graph , and a parameter , a
path-reporting distance oracle (or PRDO) is a data structure of size ,
that given a query , returns an -approximate shortest
path in within time . Here , and are
arbitrary functions.
A landmark PRDO due to Thorup and Zwick, with an improvement of Wulff-Nilsen,
has , and . The
size of this oracle is for all . Elkin and Pettie and
Neiman and Shabat devised much sparser PRDOs, but their stretch was
polynomially larger than the optimal . On the other hand, for
non-path-reporting distance oracles, Chechik devised a result with
, and .
In this paper we make a dramatic progress in bridging the gap between
path-reporting and non-path-reporting distance oracles. We devise a PRDO with
size ,
stretch and query time . We can also have size , stretch
and query time
.
Our results on PRDOs are based on novel constructions of approximate distance
preservers, that we devise in this paper. Specifically, we show that for any
, any , and any graph and a collection
of vertex pairs, there exists a -approximate preserver with
edges, where
. These new
preservers are significantly sparser than the previous state-of-the-art
approximate preservers due to Kogan and Parter.Comment: 61 pages, 3 figure