Fast estimation of diameter and shortest paths (without matrix multiplication)

• Published in: SIAM journal on computing Vol. 28; no. 4; pp. 1167 - 1181
• Main Authors: AINGWORTH, D, CHEKURI, C, INDYK, P, MOTWANI, R
• Format: Journal Article
• Language: English
• Published: Philadelphia, PA Society for Industrial and Applied Mathematics 1999
• Subjects: Algorithmics. Computability. Computer arithmetics; Algorithms; Applied sciences; Approximation; Combinatorics; Combinatorics. Ordered structures; Computer science; control theory; systems; Exact sciences and technology; Graph theory; Graphs; Mathematics; Scholarships & fellowships; Sciences and techniques of general use; Theoretical computing; All pairs shortest path; Combinatorial method; Error analysis; Shortest path; Matrix product; Algorithm; Diameter; Directed graph
• ISSN: 0097-5397; 1095-7111
• DOI: 10.1137/S0097539796303421

In the recent past, there has been considerable progress in devising algorithms for the all-pairs shortest paths (APSP) problem running in time significantly smaller than the obvious time bound of O(n3). Unfortunately, all the new algorithms are based on fast matrix multiplication algorithms that are notoriously impractical. Our work is motivated by the goal of devising purely combinatorial algorithms that match these improved running times. Our results come close to achieving this goal, in that we present algorithms with a small additive error in the length of the paths obtained. Our algorithms are easy to implement, have the desired property of being combinatorial in nature, and the hidden constants in the running time bound are fairly small. Our main result is an algorithm which solves the APSP problem in unweighted, undirected graphs with an additive error of 2 in time $O(n^{2.5}\sqrt{\log n})$. This algorithm returns actual paths and not just the distances. In addition, we give more efficient algorithms with running time {\footnotesize $O(n^{1.5} \sqrt{k \log n} + n^2 \log^2 n)$} for the case where we are only required to determine shortest paths between k specified pairs of vertices rather than all pairs of vertices. The starting point for all our results is an $O(m \sqrt{n \log n})$ algorithm for distinguishing between graphs of diameter 2 and 4, and this is later extended to obtaining a ratio 2/3 approximation to the diameter in time $O(m \sqrt{n \log n} + n^2 \log n)$. Unlike in the case of APSP, our results for approximate diameter computation can be extended to the case of directed graphs with arbitrary positive real weights on the edges.