Results 1  10
of
10
Shortest Paths in Digraphs of Small Treewidth. Part I: Sequential Algorithms
, 1995
"... We consider the problem of preprocessing an nvertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efficiently answered. We give algorithms that depend on the treewidth of the input graph. When the treewidth is a consta ..."
Abstract

Cited by 35 (4 self)
 Add to MetaCart
We consider the problem of preprocessing an nvertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efficiently answered. We give algorithms that depend on the treewidth of the input graph. When the treewidth is a constant, our algorithms can answer distance queries in O(ff(n)) time after O(n) preprocessing. This improves upon previously known results for the same problem. We also give a dynamic algorithm which, after a change in an edge weight, updates the data structure in time O(n fi ), for any constant 0 ! fi ! 1. Furthermore, an algorithm of independent interest is given: computing a shortest path tree, or finding a negative cycle in linear time.
Distributed LTL Model Checking Based on Negative Cycle Detection
, 2001
"... This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All the known methods for automata based model checking are based on depth first traversal of the state space which is difficult to para ..."
Abstract

Cited by 29 (12 self)
 Add to MetaCart
This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All the known methods for automata based model checking are based on depth first traversal of the state space which is difficult to parallelise as the ordering in which vertices are visited plays an important role. We come up with entirely different approach which is dependent on locating cycles with negative length in a directed graph with real number length of edges. Our method allows reasonable distribution and the experimental results confirm its usefulness for distributed model checking.
Improved Algorithms for Dynamic Shortest Paths
 Algorithmica
, 1996
"... We describe algorithms for finding shortest paths and distances in outerplanar and planar digraphs that exploit the particular topology of the input graph. An important feature of our algorithms is that they can work in a dynamic environment, where the cost of any edge can be changed or the edge can ..."
Abstract

Cited by 15 (3 self)
 Add to MetaCart
We describe algorithms for finding shortest paths and distances in outerplanar and planar digraphs that exploit the particular topology of the input graph. An important feature of our algorithms is that they can work in a dynamic environment, where the cost of any edge can be changed or the edge can be deleted. In the case of outerplanar digraphs, our data structures can be updated after any such change in only logarithmic time and a distance query is answered also in logarithmic time. In the case of planar digraphs, we give an interesting tradeoff between preprocessing, query and update times depending on the value of a certain topological parameter of the graph. Our results can be extended to nvertex digraphs of genus O(n 1\Gamma" ) for any " ? 0. Keywords: Shortest path, dynamic algorithm, planar digraph, outerplanar digraph. This work was partially supported by the NSF grant No. CCR9409191 and by the EU ESPRIT LTR Project No. 20244 (ALCOMIT). 1 Introduction 1.1 The prob...
HammockonEars Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems
 Theoretical Computer Science
, 1996
"... We show how to decompose efficiently in parallel any graph into a number, ~ fl, of outerplanar subgraphs (called hammocks) satisfying certain separator properties. Our work combines and extends the sequential hammock decomposition technique introduced by G. Frederickson and the parallel ear decom ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
We show how to decompose efficiently in parallel any graph into a number, ~ fl, of outerplanar subgraphs (called hammocks) satisfying certain separator properties. Our work combines and extends the sequential hammock decomposition technique introduced by G. Frederickson and the parallel ear decomposition technique, thus we call it the hammockonears decomposition. We mention that hammockonears decomposition also draws from techniques in computational geometry and that an embedding of the graph does not need to be provided with the input. We achieve this decomposition in O(logn log log n) time using O(n + m) CREW PRAM processors, for an nvertex, medge graph or digraph. The hammockonears decomposition implies a general framework for solving graph problems efficiently. Its value is demonstrated by a variety of applications on a significant class of (di)graphs, namely that of sparse (di)graphs. This class consists of all (di)graphs which have a ~ fl between 1 and \Theta(n...
Distributed shortest path for directed graphs with negative edge lengths
, 2001
"... w\Delta\Theta\Xi\Pi\Sigma\Upsilon\Phi\Omega fffiflffiij`'ae/!"#$%&'()+,./012345!yA ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
w\Delta\Theta\Xi\Pi\Sigma\Upsilon\Phi\Omega fffiflffiij`'ae/!"#$%&'()+,./012345!yA
How to Employ Reverse Search in Distributed Single Source Shortest Paths
, 2001
"... A distributed algorithm for the single source shortest path problem for directed graphs with arbitrary edge lengths is proposed. The new algorithm is based on relaxations and uses reverse search for inspecting edges and thus avoids using any additional data structures. At the same time the algorithm ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
A distributed algorithm for the single source shortest path problem for directed graphs with arbitrary edge lengths is proposed. The new algorithm is based on relaxations and uses reverse search for inspecting edges and thus avoids using any additional data structures. At the same time the algorithm uses a novel way to recognize a reachable negativelength cycle in the graph which facilitates the scalability of the algorithm.
Parallel Algorithms for Detection of Negative Cycles
, 2003
"... Several new parallel algorithms for the single source shortest paths and for the negative cycle detection problems on directed graphs with real edge weights and given by adjacency list are developed, analysed, and experimentally compared. The algorithms are to be performed on clusters of worksta ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Several new parallel algorithms for the single source shortest paths and for the negative cycle detection problems on directed graphs with real edge weights and given by adjacency list are developed, analysed, and experimentally compared. The algorithms are to be performed on clusters of workstations that communicate via a message passing mechanism.
Distributed Negative Cycle Detection Algorithms
"... Several new distributed algorithms for the single source shortest paths and for the negative cycle detection problems on arbitrary directed graphs given by adjacency list are developed, theoretically analysed, proved correct, and experimentally compared. The algorithms are to be performed on cluste ..."
Abstract
 Add to MetaCart
Several new distributed algorithms for the single source shortest paths and for the negative cycle detection problems on arbitrary directed graphs given by adjacency list are developed, theoretically analysed, proved correct, and experimentally compared. The algorithms are to be performed on clusters of workstations that communicate via a message passing mechanism.
Shiva Chaudhuri
"... Abstract. We consider the problem of preprocessing an nvertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efficiently answered. We give algorithms that depend on the treewidth of the input graph. When the treewidth is a ..."
Abstract
 Add to MetaCart
Abstract. We consider the problem of preprocessing an nvertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efficiently answered. We give algorithms that depend on the treewidth of the input graph. When the treewidth is a constant, our algorithms can answer distance queries in O(α(n)) time after O(n) preprocessing. This improves upon previously known results for the same problem. We also give a dynamic algorithm which, after a change in an edge weight, updates the data structure in time O(n β), for any constant 0 < β < 1. The above two algorithms are based on an algorithm of independent interest: computing a shortest path tree, or finding a negative cycle in linear time. 1
© 2000 SpringerVerlag New York Inc. Shortest Paths in Digraphs of Small Treewidth. Part I: Sequential Algorithms 1
"... Abstract. We consider the problem of preprocessing an nvertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efficiently answered. We give algorithms that depend on the treewidth of the input graph. When the treewidth is a ..."
Abstract
 Add to MetaCart
Abstract. We consider the problem of preprocessing an nvertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efficiently answered. We give algorithms that depend on the treewidth of the input graph. When the treewidth is a constant, our algorithms can answer distance queries in O(α(n)) time after O(n) preprocessing. This improves upon previously known results for the same problem. We also give a dynamic algorithm which, after a change in an edge weight, updates the data structure in time O(nβ), for any constant 0 <β<1. Furthermore, an algorithm of independent interest is given: computing a shortest path tree, or finding a negative cycle in linear time. Key Words. Shortest path, Graph theory, Treewidth, Dynamic algorithm.