TY - JOUR

T1 - Two-level heaps

T2 - A new priority queue structure with applications to the single source shortest path problem

AU - Subramani, K.

AU - Madduri, Kamesh

N1 - Funding Information:
This research was supported in part by a research grant from the Air-Force Office of Scientific Research under contract FA9550-06-1-0050, by the National Science Foundation through Award CCF-0827397, and by the DOE Office of Advanced Scientific Computing Research under contract number DE-AC02-05CH11231.

PY - 2010/11

Y1 - 2010/11

N2 - The single source shortest paths problem with positive edge weights (SSSPP) is one of the more widely studied problems in operations research and theoretical computer science, on account of its wide applicability to practical situations. This problem was first solved in polynomial time by Dijkstra, who showed that by extracting vertices with the smallest distance from the source and relaxing its outgoing edges, the shortest path to each vertex is obtained. Variations of this general theme have led to a number of algorithms which work well in practice. At the heart of a Dijkstra implementation is the technique used to implement a priority queue. It is well known that using Dijkstra's approach requires Ω(n log n) steps on a graph having n vertices, since it essentially sorts vertices based on their distances from the source. Accordingly, the fastest implementation of Dijkstra's algorithm on a graph with n vertices and m edges should take Ω(m + n • log n) time, and consequently, the Dijkstra procedure for SSSPP using Fibonacci Heaps is optimal in the comparison-based model. In this paper, we introduce a new data structure to implement priority queues called two-level heap (TLH) and a new variant of Dijkstra's algorithm called Phased Dijkstra. We contrast the performance of Dijkstra's algorithm (both the simple and the phased variants) using a number of data structures to implement the priority queue and empirically establish that TLH are far superior to Fibonacci heaps on every graph family considered. It is to be noted that our profiling includes both sparse and dense graphs.

AB - The single source shortest paths problem with positive edge weights (SSSPP) is one of the more widely studied problems in operations research and theoretical computer science, on account of its wide applicability to practical situations. This problem was first solved in polynomial time by Dijkstra, who showed that by extracting vertices with the smallest distance from the source and relaxing its outgoing edges, the shortest path to each vertex is obtained. Variations of this general theme have led to a number of algorithms which work well in practice. At the heart of a Dijkstra implementation is the technique used to implement a priority queue. It is well known that using Dijkstra's approach requires Ω(n log n) steps on a graph having n vertices, since it essentially sorts vertices based on their distances from the source. Accordingly, the fastest implementation of Dijkstra's algorithm on a graph with n vertices and m edges should take Ω(m + n • log n) time, and consequently, the Dijkstra procedure for SSSPP using Fibonacci Heaps is optimal in the comparison-based model. In this paper, we introduce a new data structure to implement priority queues called two-level heap (TLH) and a new variant of Dijkstra's algorithm called Phased Dijkstra. We contrast the performance of Dijkstra's algorithm (both the simple and the phased variants) using a number of data structures to implement the priority queue and empirically establish that TLH are far superior to Fibonacci heaps on every graph family considered. It is to be noted that our profiling includes both sparse and dense graphs.

UR - http://www.scopus.com/inward/record.url?scp=78650619342&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78650619342&partnerID=8YFLogxK

U2 - 10.1007/s00607-010-0112-1

DO - 10.1007/s00607-010-0112-1

M3 - Article

AN - SCOPUS:78650619342

SN - 0010-485X

VL - 90

SP - 113

EP - 130

JO - Computing (Vienna/New York)

JF - Computing (Vienna/New York)

IS - 3-4

ER -