- java.lang.Object
-
- org.jgrapht.alg.shortestpath.BaseManyToManyShortestPaths<V,E>
-
- org.jgrapht.alg.shortestpath.CHManyToManyShortestPaths<V,E>
-
- Type Parameters:
V- the graph vertex typeE- the graph edge type
- All Implemented Interfaces:
ManyToManyShortestPathsAlgorithm<V,E>,ShortestPathAlgorithm<V,E>
public class CHManyToManyShortestPaths<V,E> extends BaseManyToManyShortestPaths<V,E>
Efficient algorithm for the many-to-many shortest paths problem based on contraction hierarchy.The algorithm is originally described in the article: Sebastian Knopp, Peter Sanders, Dominik Schultes, Frank Schulz, and Dorothea Wagner. 2007. Computing many-to-many shortest paths using highway hierarchies. In Proceedings of the Meeting on Algorithm Engineering & Expermiments. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 36-45.
First contraction hierarchy is constructed. Then for each target vertex a backward single source shortest paths search is performed on the contracted graph. During the searches a bucket $b(v)$ is associated with each vertex $v$ in the graph. A bucket stores a set of pairs $(t,d)$, where $t$ is a target vertex current search is performed from and $d$ is the computed distance from $v$ to this target. Then a forward single source shortest paths search is performed from every source vertex. When a search settles a vertex $v$ with distance $d(s,v)$, where $s$ is current source vertex, its bucket is scanned. For each entry $(t,d)$ if $d(s,t) > d(s,v) + d$ values of paths weight between $s$ and $t$ and its middle vertex is updated. The middle vertices are then used to restored actual path from the information in the shortest paths trees.
Additionally if $|S| > |T|$ the algorithm is executed on the reversed graph. This allows to reduce the number of buckets and optimize memory usage of the algorithm.
The efficiency of this algorithm is derived from the fact that contraction hierarchy produces fairly small shortest paths trees. This allows to both speedup the computations and decrease memory usage to store the paths. The bottleneck of the algorithm is the contraction hierarchy computation, which can lead to significant overhead for dense graphs both in terms of running time and space complexity. Therefore the ideal use cases for this algorithm are sparse graphs of any size with low average out-degree of vertices.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private classCHManyToManyShortestPaths.BucketEntryStores data computed during the backward searches.private classCHManyToManyShortestPaths.CHManyToManyShortestPathsImplImplementation ofManyToManyShortestPathsAlgorithm.ManyToManyShortestPathsfor many-to-many shortest paths algorithm based on contraction hierarchy.-
Nested classes/interfaces inherited from interface org.jgrapht.alg.interfaces.ManyToManyShortestPathsAlgorithm
ManyToManyShortestPathsAlgorithm.BaseManyToManyShortestPathsImpl<V,E>, ManyToManyShortestPathsAlgorithm.ManyToManyShortestPaths<V,E>
-
Nested classes/interfaces inherited from interface org.jgrapht.alg.interfaces.ShortestPathAlgorithm
ShortestPathAlgorithm.SingleSourcePaths<V,E>
-
-
Field Summary
Fields Modifier and Type Field Description private Graph<ContractionHierarchyPrecomputation.ContractionVertex<V>,ContractionHierarchyPrecomputation.ContractionEdge<E>>contractionGraphContracted version ofgraph.private ContractionHierarchyPrecomputation.ContractionHierarchy<V,E>contractionHierarchyContraction hierarchy ofgraph.private java.util.Map<V,ContractionHierarchyPrecomputation.ContractionVertex<V>>contractionMappingMapping from vertices in the originalgraphto vertices in thecontractionGraph.-
Fields inherited from class org.jgrapht.alg.shortestpath.BaseManyToManyShortestPaths
graph
-
-
Constructor Summary
Constructors Constructor Description CHManyToManyShortestPaths(ContractionHierarchyPrecomputation.ContractionHierarchy<V,E> contractionHierarchy)Constructs an instance of the algorithm for a givencontractionHierarchy.CHManyToManyShortestPaths(Graph<V,E> graph, java.util.concurrent.ThreadPoolExecutor executor)Constructs an instance of the algorithm for a givengraphandexecutor.
-
Method Summary
-
Methods inherited from class org.jgrapht.alg.shortestpath.BaseManyToManyShortestPaths
getPath, getPaths, getPathWeight, getShortestPathsTree
-
-
-
-
Field Detail
-
contractionHierarchy
private ContractionHierarchyPrecomputation.ContractionHierarchy<V,E> contractionHierarchy
Contraction hierarchy ofgraph.
-
contractionGraph
private Graph<ContractionHierarchyPrecomputation.ContractionVertex<V>,ContractionHierarchyPrecomputation.ContractionEdge<E>> contractionGraph
Contracted version ofgraph.
-
contractionMapping
private java.util.Map<V,ContractionHierarchyPrecomputation.ContractionVertex<V>> contractionMapping
Mapping from vertices in the originalgraphto vertices in thecontractionGraph.
-
-
Constructor Detail
-
CHManyToManyShortestPaths
public CHManyToManyShortestPaths(Graph<V,E> graph, java.util.concurrent.ThreadPoolExecutor executor)
Constructs an instance of the algorithm for a givengraphandexecutor. It is up to a user of this algorithm to handle the creation and termination of the providedexecutor. For utility methods to manage aThreadPoolExecutorseeConcurrencyUtil.- Parameters:
graph- a graphexecutor- executor which will be used to computeContractionHierarchyPrecomputation.ContractionHierarchy
-
CHManyToManyShortestPaths
public CHManyToManyShortestPaths(ContractionHierarchyPrecomputation.ContractionHierarchy<V,E> contractionHierarchy)
Constructs an instance of the algorithm for a givencontractionHierarchy.- Parameters:
contractionHierarchy- contraction of thegraph
-
-
Method Detail
-
getManyToManyPaths
public ManyToManyShortestPathsAlgorithm.ManyToManyShortestPaths<V,E> getManyToManyPaths(java.util.Set<V> sources, java.util.Set<V> targets)
Computes shortest paths from all vertices insourcesto all vertices intargets.- Parameters:
sources- list of sources verticestargets- list of target vertices- Returns:
- computed shortest paths
-
backwardSearch
private void backwardSearch(Graph<ContractionHierarchyPrecomputation.ContractionVertex<V>,ContractionHierarchyPrecomputation.ContractionEdge<E>> contractionGraph, ContractionHierarchyPrecomputation.ContractionVertex<V> target, java.util.Set<ContractionHierarchyPrecomputation.ContractionVertex<V>> contractedSources, java.util.Map<ContractionHierarchyPrecomputation.ContractionVertex<V>,java.util.List<CHManyToManyShortestPaths.BucketEntry>> bucketsMap, java.util.Map<ContractionHierarchyPrecomputation.ContractionVertex<V>,java.util.Map<ContractionHierarchyPrecomputation.ContractionVertex<V>,Pair<java.lang.Double,ContractionHierarchyPrecomputation.ContractionEdge<E>>>> backwardSearchSpaces, boolean reversed)
Performs backward single source shortest paths search incontractionGraphstarting fromtargettosources. For each vertex $v$ incontractionGrapha bucket is created that records entries $(t,d)$, where $t$ is a currenttargetand $d$ is a distance computed during current search. A constructed shortest paths tree is then put inbackwardSearchSpaces. Ifreversedflag is set to $true$ the specifiedtargetbelongs to the original source vertices and therefore downward edges should be masked in the contraction graph instead of upward.- Parameters:
contractionGraph- graph to perform search intarget- search start vertexcontractedSources- vertices to end search atbucketsMap- map from vertices to their bucketsbackwardSearchSpaces- map from vertices to their search spacesreversed- indicates if current search is reversed
-
forwardSearch
private void forwardSearch(Graph<ContractionHierarchyPrecomputation.ContractionVertex<V>,ContractionHierarchyPrecomputation.ContractionEdge<E>> contractionGraph, ContractionHierarchyPrecomputation.ContractionVertex<V> source, java.util.Set<ContractionHierarchyPrecomputation.ContractionVertex<V>> contractedTargets, java.util.Map<ContractionHierarchyPrecomputation.ContractionVertex<V>,java.util.List<CHManyToManyShortestPaths.BucketEntry>> bucketsMap, java.util.Map<ContractionHierarchyPrecomputation.ContractionVertex<V>,java.util.Map<ContractionHierarchyPrecomputation.ContractionVertex<V>,Pair<java.lang.Double,ContractionHierarchyPrecomputation.ContractionEdge<E>>>> forwardSearchSpaces, java.util.Map<Pair<ContractionHierarchyPrecomputation.ContractionVertex<V>,ContractionHierarchyPrecomputation.ContractionVertex<V>>,Pair<java.lang.Double,ContractionHierarchyPrecomputation.ContractionVertex<V>>> middleVerticesMap, boolean reversed)
Performs forward search from the givensourcetotargets. A constructed shortest paths tree is then put inforwardSearchSpaces. Ifreversedflag is set to $true$ the specifiedsourcebelongs to the original target vertices and therefore upward edges should be masked in the contraction graph instead of the downward.- Parameters:
contractionGraph- graph to perform search insource- start vertex of the searchcontractedTargets- vertices to end search atbucketsMap- map from vertices to their bucketsforwardSearchSpaces- map from vertices to their search spacesmiddleVerticesMap- map from source-target pairs to theirs distances and middle nodesreversed- indicates if current search is reversed
-
getDistanceAndPredecessorMap
private java.util.Map<ContractionHierarchyPrecomputation.ContractionVertex<V>,Pair<java.lang.Double,ContractionHierarchyPrecomputation.ContractionEdge<E>>> getDistanceAndPredecessorMap(Graph<ContractionHierarchyPrecomputation.ContractionVertex<V>,ContractionHierarchyPrecomputation.ContractionEdge<E>> contractionGraph, ContractionHierarchyPrecomputation.ContractionVertex<V> source, java.util.Set<ContractionHierarchyPrecomputation.ContractionVertex<V>> targets)
Computes distance and predecessor map for a single source shortest paths search starting at source and finishing the search as soon as alltargetsare reached.- Parameters:
contractionGraph- a graphsource- search start vertextargets- search end vertices- Returns:
- distance and predecessor map
-
-