Regular Article
On the Exponent of the All Pairs Shortest Path Problem

https://doi.org/10.1006/jcss.1997.1388Get rights and content
Under an Elsevier user license
open archive

Abstract

The upper bound on the exponent,ω, of matrix multiplication over a ring that was three in 1968 has decreased several times and since 1986 it has been 2.376. On the other hand, the exponent of the algorithms known for the all pairs shortest path problem has stayed at three all these years even for the very special case of directed graphs with uniform edge lengths. In this paper we give an algorithm of timeO(nν log3 n),ν=(3+ω)/2, for the case of edge lengths in {−1, 0, 1}. Thus, for the current known bound onω, we get a bound on the exponent,ν<2.688. In case of integer edge lengths with absolute value bounded above byM, the time bound isO((Mn)ν log3 n) and the exponent is less than 3 forM=O(nα), forα<0.116 and the current bound onω.

Cited by (0)

*

Research supported by a United States Israel BSF Grant.

Work partially supported by NSF Grants CCR-8814977 and CCR-9014605. Mainly affiliated with Columbia University, New York.