Faster Multi-Source Directed Reachability via Shortcuts and Matrix Multiplication
Abstract
Given an n-vertex m-edge digraph G = (V,E) and a set S ⊂eq V, |S| = nσ (for some 0 < σ 1) of designated sources, the S × V-direachability problem is to compute for every s ∈ S, the set of all the vertices reachable from s in G. Known naive algorithms for this problem either run a BFS/DFS separately from every source, and as a result require O(m · nσ) time, or compute the transitive closure of G in O(nω) time, where ω < 2.371552… is the matrix multiplication exponent. Hence, the current state-of-the-art bound for the problem on graphs with m = (nμ) edges in O(n \μ + σ, ω \). Our first contribution is an algorithm with running time O(n1 + 23 ω(σ)) for this problem, where ω(σ) is the rectangular matrix multiplication exponent. Using current state-of-the-art estimates on ω(σ), our exponent is better than \2 + σ, ω \ for σ σ 0.53, where 1/3 < σ < 0.3336 is a universal constant. Our second contribution is a sequence of algorithms A0, A1, A2, … for the S × V-direachability problem. We argue that under a certain assumption that we introduce, for every σ σ < 1, there exists a sufficiently large index k = k(σ) so that Ak improves upon the current state-of-the-art bounds for S × V-direachability with |S| = nσ, in the densest regime μ =2. We show that to prove this assumption, it is sufficient to devise an algorithm that computes a rectangular max-min matrix product roughly as efficiently as ordinary (+, ·) matrix product. Our algorithms heavily exploit recent constructions of directed shortcuts by Kogan and Parter.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.