24 research outputs found
Improved Roundtrip Spanners, Emulators, and Directed Girth Approximation
Roundtrip spanners are the analog of spanners in directed graphs, where the
roundtrip metric is used as a notion of distance. Recent works have shown
existential results of roundtrip spanners nearly matching the undirected case,
but the time complexity for constructing roundtrip spanners is still widely
open.
This paper focuses on developing fast algorithms for roundtrip spanners and
related problems. For any -vertex directed graph with edges (with
non-negative edge weights), our results are as follows:
- 3-roundtrip spanner faster than APSP: We give an
-time algorithm that constructs a roundtrip spanner of
stretch and optimal size . Previous constructions of roundtrip
spanners of the same size either required time [Roditty, Thorup,
Zwick SODA'02; Cen, Duan, Gu ICALP'20], or had worse stretch [Chechik and
Lifshitz SODA'21].
- Optimal roundtrip emulator in dense graphs: For integer , we give
an -time algorithm that constructs a roundtrip \emph{emulator}
of stretch and size , which is optimal for constant
under Erd\H{o}s' girth conjecture. Previous work of [Thorup and Zwick STOC'01]
implied a roundtrip emulator of the same size and stretch, but it required
construction time. Our improved running time is near-optimal for
dense graphs.
- Faster girth approximation in sparse graphs: We give an
-time algorithm that -approximates the girth of a
directed graph. This can be compared with the previous -approximation
algorithm in time by [Chechik and Lifshitz
SODA'21]. In sparse graphs, our algorithm achieves better running time at the
cost of a larger approximation ratio.Comment: To appear in SODA 202
Roundtrip Spanners with (2k-1) Stretch
A roundtrip spanner of a directed graph is a subgraph of preserving
roundtrip distances approximately for all pairs of vertices. Despite extensive
research, there is still a small stretch gap between roundtrip spanners in
directed graphs and undirected graphs. For a directed graph with real edge
weights in , we first propose a new deterministic algorithm that
constructs a roundtrip spanner with stretch and edges for every integer , then remove the dependence of size on
to give a roundtrip spanner with stretch and edges. While keeping the edge size small, our result improves the previous
stretch roundtrip spanners in directed graphs [Roditty, Thorup,
Zwick'02; Zhu, Lam'18], and almost matches the undirected -spanner with
edges [Alth\"ofer et al. '93] when is a constant, which is
optimal under Erd\"os conjecture.Comment: 12 page
Conditionally Optimal Approximation Algorithms for the Girth of a Directed Graph
It is known that a better than -approximation algorithm for the girth in
dense directed unweighted graphs needs time unless one uses fast
matrix multiplication. Meanwhile, the best known approximation factor for a
combinatorial algorithm running in time (by Chechik et
al.) is . Is the true answer or ?
The main result of this paper is a (conditionally) tight approximation
algorithm for directed graphs. First, we show that under a popular hardness
assumption, any algorithm, even one that exploits fast matrix multiplication,
would need to take at least time for some sparsity if it
achieves a -approximation for any . Second we give a
-approximation algorithm for the girth of unweighted graphs running in
time, and a -approximation algorithm (for
any ) that works in weighted graphs and runs in time. Our algorithms are combinatorial.
We also obtain a -approximation of the girth running in
time, improving upon the previous best
running time by Chechik et al. Finally, we consider the
computation of roundtrip spanners. We obtain a -approximate
roundtrip spanner on edges in time. This improves upon the previous approximation factor
of Chechik et al. for the same running time.Comment: To appear in ICALP 202
Reachability Preservers: New Extremal Bounds and Approximation Algorithms
We abstract and study \emph{reachability preservers}, a graph-theoretic
primitive that has been implicit in prior work on network design. Given a
directed graph and a set of \emph{demand pairs} , a reachability preserver is a sparse subgraph that preserves
reachability between all demand pairs.
Our first contribution is a series of extremal bounds on the size of
reachability preservers. Our main result states that, for an -node graph and
demand pairs of the form for a small node subset ,
there is always a reachability preserver on edges. We
additionally give a lower bound construction demonstrating that this upper
bound characterizes the settings in which size reachability preservers
are generally possible, in a large range of parameters.
The second contribution of this paper is a new connection between extremal
graph sparsification results and classical Steiner Network Design problems.
Surprisingly, prior to this work, the osmosis of techniques between these two
fields had been superficial. This allows us to improve the state of the art
approximation algorithms for the most basic Steiner-type problem in directed
graphs from the of Chlamatac, Dinitz, Kortsarz, and
Laekhanukit (SODA'17) to .Comment: SODA '1
An FPT Algorithm for Minimum Additive Spanner Problem
For a positive integer t and a graph G, an additive t-spanner of G is a spanning subgraph in which the distance between every pair of vertices is at most the original distance plus t. The Minimum Additive t-Spanner Problem is to find an additive t-spanner with the minimum number of edges in a given graph, which is known to be NP-hard. Since we need to care about global properties of graphs when we deal with additive t-spanners, the Minimum Additive t-Spanner Problem is hard to handle and hence only few results are known for it. In this paper, we study the Minimum Additive t-Spanner Problem from the viewpoint of parameterized complexity. We formulate a parameterized version of the problem in which the number of removed edges is regarded as a parameter, and give a fixed-parameter algorithm for it. We also extend our result to the case with both a multiplicative approximation factor ? and an additive approximation parameter ?, which we call (?, ?)-spanners
On Diameter Approximation in Directed Graphs
Computing the diameter of a graph, i.e. the largest distance, is a fundamental problem that is central in fine-grained complexity. In undirected graphs, the Strong Exponential Time Hypothesis (SETH) yields a lower bound on the time vs. approximation trade-off that is quite close to the upper bounds.
In directed graphs, however, where only some of the upper bounds apply, much larger gaps remain. Since d(u,v) may not be the same as d(v,u), there are multiple ways to define the problem, the two most natural being the (one-way) diameter (max_(u,v) d(u,v)) and the roundtrip diameter (max_{u,v} d(u,v)+d(v,u)). In this paper we make progress on the outstanding open question for each of them.
- We design the first algorithm for diameter in sparse directed graphs to achieve n^{1.5-?} time with an approximation factor better than 2. The new upper bound trade-off makes the directed case appear more similar to the undirected case. Notably, this is the first algorithm for diameter in sparse graphs that benefits from fast matrix multiplication.
- We design new hardness reductions separating roundtrip diameter from directed and undirected diameter. In particular, a 1.5-approximation in subquadratic time would refute the All-Nodes k-Cycle hypothesis, and any (2-?)-approximation would imply a breakthrough algorithm for approximate ?_?-Closest-Pair. Notably, these are the first conditional lower bounds for diameter that are not based on SETH