Faster Multi-Source Directed Reachability via Shortcuts and Matrix Multiplication
Abstract
Given an -vertex -edge digraph and a set , (for some ) of designated sources, the -direachability problem is to compute for every , the set of all the vertices reachable from in . Known naive algorithms for this problem either run a BFS/DFS separately from every source, and as a result require time, or compute the transitive closure of in time, where is the matrix multiplication exponent. Hence, the current state-of-the-art bound for the problem on graphs with edges in . Our first contribution is an algorithm with running time for this problem, where is the rectangular matrix multiplication exponent. Using current state-of-the-art estimates on , our exponent is better than for , where is a universal constant. Our second contribution is a sequence of algorithms for the -direachability problem. We argue that under a certain assumption that we introduce, for every , there exists a sufficiently large index so that improves upon the current state-of-the-art bounds for -direachability with , in the densest regime . 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.
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}
}