English

Faster Multi-Source Directed Reachability via Shortcuts and Matrix Multiplication

Data Structures and Algorithms 2024-01-15 v2

Abstract

Given an nn-vertex mm-edge digraph G=(V,E)G = (V,E) and a set SVS \subseteq V, S=nσ|S| = n^{\sigma} (for some 0<σ10 < \sigma \le 1) of designated sources, the S×VS \times V-direachability problem is to compute for every sSs \in S, the set of all the vertices reachable from ss in GG. Known naive algorithms for this problem either run a BFS/DFS separately from every source, and as a result require O(mnσ)O(m \cdot n^{\sigma}) time, or compute the transitive closure of GG in O~(nω)\tilde O(n^{\omega}) time, where ω<2.371552\omega < 2.371552\ldots is the matrix multiplication exponent. Hence, the current state-of-the-art bound for the problem on graphs with m=Θ(nμ)m = \Theta(n^{\mu}) edges in O~(nmin{μ+σ,ω})\tilde O(n^{\min \{\mu + \sigma, \omega \}}). Our first contribution is an algorithm with running time O~(n1+23ω(σ))\tilde O(n^{1 + \tiny{\frac{2}{3}} \omega(\sigma)}) for this problem, where ω(σ)\omega(\sigma) is the rectangular matrix multiplication exponent. Using current state-of-the-art estimates on ω(σ)\omega(\sigma), our exponent is better than min{2+σ,ω}\min \{2 + \sigma, \omega \} for σ~σ0.53\tilde \sigma \le \sigma \le 0.53, where 1/3<σ~<0.33361/3 < \tilde \sigma < 0.3336 is a universal constant. Our second contribution is a sequence of algorithms A0,A1,A2,\mathcal A_0, \mathcal A_1, \mathcal A_2, \ldots for the S×VS \times V-direachability problem. We argue that under a certain assumption that we introduce, for every σ~σ<1\tilde \sigma \le \sigma < 1, there exists a sufficiently large index k=k(σ)k = k(\sigma) so that Ak\mathcal A_k improves upon the current state-of-the-art bounds for S×VS \times V-direachability with S=nσ|S| = n^{\sigma}, in the densest regime μ=2\mu =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 (+,)(+, \cdot) matrix product. Our algorithms heavily exploit recent constructions of directed shortcuts by Kogan and Parter.

Keywords

Cite

@article{arxiv.2401.05628,
  title  = {Faster Multi-Source Directed Reachability via Shortcuts and Matrix Multiplication},
  author = {Michael Elkin and Chhaya Trehan},
  journal= {arXiv preprint arXiv:2401.05628},
  year   = {2024}
}
R2 v1 2026-06-28T14:13:52.572Z