All Pairs Shortest Paths in weighted directed graphs ? exact and almost exact algorithms

• Authors: Uri Zwick
• Venue: FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
• Year: 1998

We present two new algorithms for solving the ALL PAIRS SHORTEST PATHS (APSP) problem for weighted directed graphs. Both algorithms use fast matrix multiplication algorithms.The first algorithm solves the APSP problem for weighted directed graphs in which the edge weights are integers of small absolute value in $\Ot(n^{2+\mu})$ time, where $\mu$ satisfies the equation $\omega(1,\mu,1)=1+2\mu$ and $\omega(1,\mu,1)$ is the exponent of the multiplication of an $n\times n^\mu$ matrix by an $n^\mu \times n$ matrix. The currently best available bounds on $\omega(1,\mu,1)$, obtained by Coppersmith and Winograd, and by Huang and Pan, imply that $\mu0$ is an error parameter and~$W$ is the largest edge weight in the graph, after the edge weights are scaled so that the smallest non-zero edge weight in the graph is~1. It returns estimates of all the distances in the graph with a stretch of at most $1+\eps$. Corresponding paths can also be found efficiently.