Sub-cubic cost algorithms for the all pairs shortest path problem

Abstract

In this paper we give three sub-cubic cost algorithms for the all pairs shortest distance (APSD) and path (APSP) problems. The first is a parallel algorithm that solves the APSD problem for a directed graph with unit edge costs in O(log² n) time with $O({{n^\mu } \mathord{\left/{\vphantom {{n^\mu } {\sqrt {\log n} }}} \right.\kern-\nulldelimiterspace} {\sqrt {\log n} }})$ processors where Μ=2.688 on an EREW-PRAM. The second parallel algorithm solves the APSP, and consequently APSD, problem for a directed graph with non-negative general costs (real numbers) in O(log² n) time with o(n³) subcubic cost. Previously this cost was greater than O(n³). Finally we improve with respect to M the complexity O((Mn)^μ) of a sequential algorithm for a graph with edge costs up to M into O(M^1/3 n ^6+1/3/3(log n)^2/3(log log n)^1/3) in the APSD problem.

Partially supported by Grant-in-aid No. 07680332 by Monbusho Scientific Research Program and a research grant from Hitachi Engineering Co., Ltd.