Simple, fast, and scalable reachability oracle

Ruoming Jin, Guan Wang
2013 Proceedings of the VLDB Endowment  
A reachability oracle (or hop labeling) assigns each vertex v two sets of vertices: Lout(v) and Lin(v), such that u reaches v iff Lout(u) ∩ Lin(v) = ∅. Despite their simplicity and elegance, reachability oracles have failed to achieve efficiency in more than ten years since their introduction: The main problem is high construction cost, which stems from a set-cover framework and the need to materialize transitive closure. In this paper, we present two simple and efficient labeling algorithms,
more » ... erarchical-Labeling and Distribution-Labeling, which can work on massive real-world graphs: Their construction time is an order of magnitude faster than the set-cover based labeling approach, and transitive closure materialization is not needed. On large graphs, their index sizes and their query performance can now beat the state-of-the-art transitive closure compression and online search approaches.
doi:10.14778/2556549.2556578 fatcat:yn6omi2a4bebtoaxl7z3d6kffm