k shortest path routing

From HandWiki
Short description: Computational problem of graph theory


The k shortest path routing problem is a generalization of the shortest path routing problem in a given network. It asks not only about a shortest path but also about next k−1 shortest paths (which may be longer than the shortest path). A variation of the problem is the loopless k shortest paths.

Finding k shortest paths is possible by extending Dijkstra algorithm or Bellman-Ford algorithm.[citation needed]

History

Since 1957 many papers were published on the k shortest path routing problem. Most of the fundamental works were done between 1960s and 2001. Since then, most of the research has been on the problem's applications and its variants. In 2010, Michael Günther et al. published a book on Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA.[1]

Algorithm

The Dijkstra algorithm can be generalized to find the k shortest paths.[citation needed]

Definitions:
  • G(V, E): weighted directed graph, with set of vertices V and set of directed edges E,
  • w(u, v): cost of directed edge from node u to node v (costs are non-negative).
Links that do not satisfy constraints on the shortest path are removed from the graph
  • s: the source node
  • t: the destination node
  • K: the number of shortest paths to find
  • pu: a path from s to u
  • B is a heap data structure containing paths
  • P: set of shortest paths from s to t
  • countu: number of shortest paths found to node u

Algorithm:

P =empty,
countu = 0, for all u in V
insert path ps = {s} into B with cost 0
while B is not empty and countt < K:
– let pu be the shortest cost path in B with cost C
B = B{pu }, countu = countu + 1
– if u = t then P = P U {pu}
– if countu < K then
  • for each vertex v adjacent to u:
– let pv be a new path with cost C + w(u, v) formed by concatenating edge (u, v) to path pu
– insert pv into B
return P

Variations

There are two main variations of the k shortest path routing problem. In one variation, paths are allowed to visit the same node more than once, thus creating loops. In another variation, paths are required to be simple and loopless. The loopy version is solvable using Eppstein's algorithm[2] and the loopless variation is solvable by Yen's algorithm.[3][4]

Loopy variant

In this variant, the problem is simplified by not requiring paths to be loopless.[4] A solution was given by B. L. Fox in 1975 in which the k-shortest paths are determined in O(m + kn log n) asymptotic time complexity (using big O notation.[5] In 1998, David Eppstein reported an approach that maintains an asymptotic complexity of O(m + n log n + k) by computing an implicit representation of the paths, each of which can be output in O(n) extra time.[2][4] In 2015, Akiba et al. devised an indexing method as a significantly faster alternative for Eppstein's algorithm, in which a data structure called an index is constructed from a graph and then top-k distances between arbitrary pairs of vertices can be rapidly obtained.[6]

Loopless variant

In the loopless variant, the paths are forbidden to contain loops which adds an additional level of complexity.[4] It can be solved using Yen's algorithm[3][4] to find the lengths of all shortest paths from a fixed node to all other nodes in an n-node non negative-distance network, a technique requiring only 2n2 additions and n2 comparison, fewer than other available shortest path algorithms need. The running time complexity is pseudo-polynomial, being O(kn(m + n log n)) (where m and n represent the number of edges and vertices, respectively).[3][4] In 2007, John Hershberger and Subhash Suri proposed a replacement paths algorithm, a more efficient implementation of Lawler's [7] and Yen's algorithm with O(n) improvement in time.[8]

Some examples and description

Example #1

The following example makes use of Yen’s model to find k shortest paths between communicating end nodes. That is, it finds a shortest path, second shortest path, etc. up to the Kth shortest path. More details can be found here. The code provided in this example attempts to solve the k shortest path routing problem for a 15-nodes network containing a combination of unidirectional and bidirectional links:

15-node network containing a combination of bi-directional and uni-directional links

Example #2

Another example is the use of k shortest paths algorithm to track multiple objects. The technique implements a multiple object tracker based on the k shortest paths routing algorithm. A set of probabilistic occupancy maps is used as input. An object detector provides the input.

The complete details can be found at "Computer Vision Laboratory – CVLAB".

Example #3

Another use of k shortest paths algorithms is to design a transit network that enhances passengers' experience in public transportation systems. Such an example of a transit network can be constructed by putting traveling time under consideration. In addition to traveling time, other conditions may be taken depending upon economical and geographical limitations. Despite variations in parameters, the k shortest path algorithms finds the most optimal solutions that satisfies almost all user needs. Such applications of k shortest path algorithms are becoming common, recently Xu, He, Song, and Chaudry (2012) studied the k shortest path problems in transit network systems.[9]

Applications

The k shortest path routing is a good alternative for:

Related problems

Cherkassky et al.[10] provide more algorithms and associated evaluations.

See also

Notes

  1. Michael Günther et al.: “Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA”. In: Int’l Workshop on Dynamic Aspects in Dependability Models for Fault-Tolerant Systems (DYADEM-FTS), ACM Press (2010) 13–18.
  2. 2.0 2.1 Eppstein, David (1998). "Finding the k Shortest Paths". SIAM J. Comput. 28 (2): 652–673. doi:10.1137/S0097539795290477. https://www.ics.uci.edu/~eppstein/pubs/Epp-SJC-98.pdf. 
  3. 3.0 3.1 3.2 Yen, J. Y. (1971). "Finding the k-Shortest Loopless Paths in a Network". Management Science 1 7 (11): 712–716. doi:10.1287/mnsc.17.11.712. .
  4. 4.0 4.1 4.2 4.3 4.4 4.5 Bouillet, Eric; Ellinas, Georgios; Labourdette, Jean-Francois; Ramamurthy, Ramu (2007). "Path Routing – Part 2: Heuristics". Path Routing in Mesh Optical Networks. John Wiley & Sons. pp. 125-138. ISBN 9780470015650. https://books.google.com/books?id=zSSjFf-jZT8C&pg=PG129. 
  5. Fox, B. L. (1975). "Kth shortest paths and applications to the probabilistic networks". ORSA/TIMS Joint National Meeting 23: B263.  CiNii National Article ID: 10012857200.
  6. Akiba, Takuya; Hayashi, Takanori; Nori, Nozomi; Iwata, Yoichi; Yoshida, Yuichi (January 2015). "Efficient Top-k Shortest-Path Distance Queries on Large Networks by Pruned Landmark Labeling". Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. Austin, TX: Association for the Advancement of Artificial Intelligence. pp. 2-8. https://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9320/9217. 
  7. Lawler, Eugene L. (1972-03-01). "A Procedure for Computing the K Best Solutions to Discrete Optimization Problems and Its Application to the Shortest Path Problem". Management Science 18 (7): 401–405. doi:10.1287/mnsc.18.7.401. ISSN 0025-1909. https://pubsonline.informs.org/doi/abs/10.1287/mnsc.18.7.401. 
  8. Hershberger, John; Maxel, Matthew; Suri, Subhash (2007). "Finding the k Shortest Simple Paths: A New Algorithm and its Implementation". ACM Transactions on Algorithms 3 (4): Article 45 (19 pages). doi:10.1145/1290672.1290682. https://archive.siam.org/meetings/alenex03/Abstracts/jhershberger.pdf. 
  9. Xu, W., He, S., Song, R., & Chaudhry, S. (2012). Finding the k shortest paths in a schedule-based transit network. Computers & Operations Research, 39(8), 1812-1826. doi:10.1016/j.cor.2010.02.005
  10. Cherkassky, Boris V.; Goldberg, Andrew V.; Radzik, Tomasz (1996). "Shortest paths algorithms: theory and experimental evaluation". Mathematical Programming. Ser. A 73 (2): 129–174.

External links