Results 1  10
of
23
All Pairs Almost Shortest Paths
 SIAM Journal on Computing
, 1996
"... Let G = (V; E) be an unweighted undirected graph on n vertices. A simple argument shows that computing all distances in G with an additive onesided error of at most 1 is as hard as Boolean matrix multiplication. Building on recent work of Aingworth, Chekuri and Motwani, we describe g) time ..."
Abstract

Cited by 80 (8 self)
 Add to MetaCart
Let G = (V; E) be an unweighted undirected graph on n vertices. A simple argument shows that computing all distances in G with an additive onesided error of at most 1 is as hard as Boolean matrix multiplication. Building on recent work of Aingworth, Chekuri and Motwani, we describe g) time algorithm APASP 2 for computing all distances in G with an additive onesided error of at most 2. The algorithm APASP 2 is simple, easy to implement, and faster than the fastest known matrix multiplication algorithm. Furthermore, for every even k ? 2, we describe an g) time algorithm APASP k for computing all distances in G with an additive onesided error of at most k.
Fast Estimation of Diameter and Shortest Paths (without Matrix Multiplication)
, 1996
"... this paper is organized as follows. We begin by presenting some definitions and useful observations in Section 2. In Section 3, we describe the algorithms for distinguishing between graphs of diameter 2 and 4, and the extension to obtaining a ratio 2=3 approximation to the diameter. Then, in Section ..."
Abstract

Cited by 67 (2 self)
 Add to MetaCart
this paper is organized as follows. We begin by presenting some definitions and useful observations in Section 2. In Section 3, we describe the algorithms for distinguishing between graphs of diameter 2 and 4, and the extension to obtaining a ratio 2=3 approximation to the diameter. Then, in Section 4, we apply the ideas developed in estimating the diameter to obtain the promised algorithm for an additive approximation for APSP. Finally, in Section 5 we present an empirical study of the performance of our algorithm for allpairs shortest paths.
Finding the Hidden Path: Time Bounds for AllPairs Shortest Paths
, 1993
"... We investigate the allpairs shortest paths problem in weighted graphs. We present an algorithmthe Hidden Paths Algorithmthat finds these paths in time O(m* n+n² log n), where m is the number of edges participating in shortest paths. Our algorithm is a practical substitute for Dijkstra's ..."
Abstract

Cited by 61 (0 self)
 Add to MetaCart
We investigate the allpairs shortest paths problem in weighted graphs. We present an algorithmthe Hidden Paths Algorithmthat finds these paths in time O(m* n+n² log n), where m is the number of edges participating in shortest paths. Our algorithm is a practical substitute for Dijkstra's algorithm. We argue that m* is likely to be small in practice, since m* = O(n log n) with high probability for many probability distributions on edge weights. We also prove an Ω(mn) lower bound on the running time of any pathcomparison based algorithm for the allpairs shortest paths problem. Pathcomparison based algorithms form a natural class containing the Hidden Paths Algorithm, as well as the algorithms of Dijkstra and Floyd. Lastly, we consider generalized forms of the shortest paths problem, and show that many of the standard shortest paths algorithms are effective in this more general setting.
Derandomization, witnesses for Boolean matrix multiplication and construction of perfect hash functions
 Algorithmica
, 1996
"... Small sample spaces with almost independent random variables are applied to design efficient sequential deterministic algorithms for two problems. The first algorithm, motivated by the attempt to design efficient algorithms for the All Pairs Shortest Path problem using fast matrix multiplication, so ..."
Abstract

Cited by 61 (5 self)
 Add to MetaCart
Small sample spaces with almost independent random variables are applied to design efficient sequential deterministic algorithms for two problems. The first algorithm, motivated by the attempt to design efficient algorithms for the All Pairs Shortest Path problem using fast matrix multiplication, solves the problem of computing witnesses for the Boolean product of two matrices. That is, if A and B are two n by n matrices, and C = AB is their Boolean product, the algorithm finds for every entry Cij = 1 a witness: an index k so that Aik = Bkj = 1. Its running time exceeds that of computing the product of two n by n matrices with small integer entries by a polylogarithmic factor. The second algorithm is a nearly linear time deterministic procedure for constructing a perfect hash function for a given nsubset of {1,..., m}.
Exact and Approximate Distances in Graphs  a survey
 In ESA
, 2001
"... We survey recent and not so recent results related to the computation of exact and approximate distances, and corresponding shortest, or almost shortest, paths in graphs. We consider many different settings and models and try to identify some remaining open problems. ..."
Abstract

Cited by 55 (0 self)
 Add to MetaCart
We survey recent and not so recent results related to the computation of exact and approximate distances, and corresponding shortest, or almost shortest, paths in graphs. We consider many different settings and models and try to identify some remaining open problems.
Nearlinear time construction of sparse neighborhood covers
 SIAM Journal on Computing
, 1998
"... Abstract. This paper introduces a nearlinear time sequential algorithm for constructing a sparse neighborhood cover. This implies analogous improvements (from quadratic to nearlinear time) for any problem whose solution relies on network decompositions, including small edge cuts in planar graphs, ..."
Abstract

Cited by 40 (3 self)
 Add to MetaCart
Abstract. This paper introduces a nearlinear time sequential algorithm for constructing a sparse neighborhood cover. This implies analogous improvements (from quadratic to nearlinear time) for any problem whose solution relies on network decompositions, including small edge cuts in planar graphs, approximate shortest paths, and weight and distancepreserving graph spanners. In particular, an O(log n) approximation to the kshortest paths problem on an nvertex, Eedge graph is obtained that runs in Õ (n + E + k) time.
AllPairs SmallStretch Paths
 Journal of Algorithms
, 1997
"... Let G = (V; E) be a weighted undirected graph. A path between u; v 2 V is said to be of stretch t if its length is at most t times the distance between u and v in the graph. We consider the problem of finding smallstretch paths between all pairs of vertices in the graph G. It is easy to see that f ..."
Abstract

Cited by 35 (8 self)
 Add to MetaCart
Let G = (V; E) be a weighted undirected graph. A path between u; v 2 V is said to be of stretch t if its length is at most t times the distance between u and v in the graph. We consider the problem of finding smallstretch paths between all pairs of vertices in the graph G. It is easy to see that finding paths of stretch less than 2 between all pairs of vertices in an undirected graph with n vertices is at least as hard as the Boolean multiplication of two n \Theta n matrices. We describe three algorithms for finding smallstretch paths between all pairs of vertices in a weighted graph with n vertices and m edges. The first algorithm, STRETCH 2 , runs in ~ O(n 3=2 m 1=2 ) time and finds stretch 2 paths. The second algorithm, STRETCH 7=3 , runs in ~ O(n 7=3 ) time and finds stretch 7/3 paths. Finally, the third algorithm, STRETCH 3 , runs in ~ O(n 2 ) and finds stretch 3 paths. Our algorithms are simpler, more efficient and more accurate than the previously best algorithms ...
NearLinear Cost Sequential and Distributed Constructions of Sparse Neighborhood Covers
 in Proceedings of the 34th Annual Symposium on Foundations of Computer Science (FOCS
, 1993
"... This paper introduces the first nearlinear (specifically, O(E log n + n log 2 n)) time algorithm for constructing a sparse neighborhood cover in sequential and distributed environments. This automatically implies analogous improvements (from quadratic to nearlinear) to all the results in the li ..."
Abstract

Cited by 19 (0 self)
 Add to MetaCart
This paper introduces the first nearlinear (specifically, O(E log n + n log 2 n)) time algorithm for constructing a sparse neighborhood cover in sequential and distributed environments. This automatically implies analogous improvements (from quadratic to nearlinear) to all the results in the literature that rely on network decompositions, both in sequential and distributed domains, including adaptive routing schemes with ~ O (1) 1 stretch and memory, small edge cuts in planar graphs, sequential algorithms for dynamic approximate shortest paths with ~ O (E) cost for edge insertion/deletion and ~ O (1) time to answer shortestpath queries, weight and distancepreserving graph spanners with ~ O (E) running time and space, and distributed asynchronous "fromscratch" BreadthFirstSearch and network synchronizer constructions with ~ O (1) message and space overhead (down from O(n)). Lab. for Computer Science, MIT, Cambridge, MA 02139. Supported by Air Force Contract AFOSR F4962092 ...
Subcubic Cost Algorithms for the All Pairs Shortest Path Problem
 Algorithmica
, 1995
"... . In this paper we give three subcubic 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 2 n) time with O(n ffi p log n) processors where = 2:68 ..."
Abstract

Cited by 18 (3 self)
 Add to MetaCart
. In this paper we give three subcubic 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 2 n) time with O(n ffi p log n) processors where = 2:688 on an EREWPRAM. The second parallel algorithm solves the APSP, and consequently APSD, problem for a directed graph with nonnegative general costs (real numbers) in O(log 2 n) time with o(n 3 ) subcubic cost. Previously this cost was greater than O(n 3 ). 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+!)=3 (log n) 2=3 (log log n) 1=3 ) in the APSD problem. 1 Introduction The all pairs shortest path (APSP) problem is to compute shortest paths between all pairs of vertices of a directed graph with nonnegative real numbers as edge costs. The all pairs shortest distance problem ...