• Corpus ID: 244709353

New Diameter-Reducing Shortcuts and Directed Hopsets: Breaking the $\sqrt{n}$ Barrier

@inproceedings{Kogan2021NewDS,
  title={New Diameter-Reducing Shortcuts and Directed Hopsets: Breaking the \$\sqrt\{n\}\$ Barrier},
  author={Shimon Kogan and Merav Parter},
  year={2021}
}
For an n-vertex digraph G = (V, E), a shortcut set is a (small) subset of edges H taken from the transitive closure of G that, when added to G guarantees that the diameter of G ∪ H is small. Shortcut sets, introduced by Thorup in 1993, have a wide range of applications in algorithm design, especially in the context of parallel, distributed and dynamic computation on directed graphs. A folklore result in this context shows that every n-vertex digraph admits a shortcut set of linear size (i.e… 
1 Citations

Figures from this paper

Closing the Gap Between Directed Hopsets and Shortcut Sets

For an n-vertex directed graph G = ( V, E ) , a β - shortcut set H is a set of additional edges H ⊆ V × V such that G ∪ H has the same transitive closure as G , and for every pair u, v ∈ V , there is

References

SHOWING 1-10 OF 33 REFERENCES

Near-Optimal Decremental SSSP in Dense Weighted Digraphs

The framework effectively allows us to reduce SSSP in general graphs to the same problem in directed acyclic graphs (DAGs) and overcomes its limitations by introducing a significantly more powerful abstraction, as well as a different core subroutine.

Lower Bounds on Sparse Spanners, Emulators, and Diameter-reducing shortcuts

We prove better lower bounds on additive spanners and emulators, which are lossy compression schemes for undirected graphs, as well as lower bounds on shortcut sets, which reduce the diameter of

All-Pairs LCA in DAGs: Breaking through the O(n2.5) barrier

An algorithm for finding an LCA for all pairs of vertices in a DAG, which represents the first improvement on the running times for this problem in the last 13 years.

Decremental SSSP in Weighted Digraphs: Faster and Against an Adaptive Adversary

This work presents the following $(1+\epsilon)-approximate data structures, which can be queried at any stage of $G$ in constant worst-case time and which are faster than those of Henzinger et al.~for all graph densities.

Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs

A randomized algorithm is obtained which achieves an Õ (mn0.984) expected total update time for SSR and (1 + ε)-approximate SSSP, where Õ(·) hides poly log n and this algorithm serves as a building block for several other dynamic algorithms.

Parallel Reachability in Almost Linear Work and Square Root Depth

This paper provides a parallel algorithm that given any n-node m-edge directed graph and source vertex s computes all vertices reachable from s with Õ(m) work and n^{1/2 + o(1)} depth with high probability in n and is the first nearly optimal algorithm for general graphs whose diameter is Ω(n^δ) for any constant δ.

Transitive-Closure Spanners

The common task implicitly tackled in these diverse applications as the problem of constructing sparse TC-spanners is abstracted asThe study of approximability of the size of the sparsest of a given directed graph is initiated.

Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs

The previous algorithm for maintaining the set of nodes reachable from a source node in a directed graph that is modified by edge deletions with \(o(mn)\) total update time is simplified using new algorithmic ideas and improved running time is achieved.

Efficient construction of directed hopsets and parallel approximate shortest paths

This paper provides the first nearly work-efficient parallel algorithm with sublinear span (also called depth) for the approximate shortest-path problem on directed graphs and is the first more efficient algorithm that produces a directed hopset with similar characteristics.

Finding Sparser Directed Spanners

This work studies the computational problem of finding the sparsest spanners of a given directed graph, which it is referred to as DIRECTED $k-SPANNER (resp., $k$-TC-spanner) and improves all known approximation algorithms for these problems for $k\geq 3$.