We show how to combine two techniques for efficiently computing shortest paths in directed planar graphs. The first is the linear-time shortest-path algorithm of Henzinger, Klein, Subramanian, and Rao [STOC'94]. The second is Fakcharoenphol and Rao's algorithm [FOCS'01] for emulating Dijkstra's algorithm on the dense distance graph (DDG). A DDG is defined for a decomposition of a planar graph G into regions of at most r vertices each, for some parameter r<n. The vertex set of the DDG is the set of Θ(nr−1/2) vertices of G that belong to more than one region (boundary vertices). The DDG has Θ(n) arcs, such that distances in the DDG are equal to the distances in G. Fakcharoenphol and Rao's implementation of Dijkstra's algorithm on the DDG (nicknamed FR-Dijkstra) runs in O(nlog(n)r−1/2logr) time, and is a key component in many state-of-the-art planar graph algorithms for shortest paths, minimum cuts, and maximum flows. By combining these two techniques we remove the logn dependency in the running time of the shortest-path algorithm at the price of an additional logr factor, making it O(nr−1/2log2r). This work is part of a research agenda that aims to develop new techniques that would lead to faster, possibly linear-time, algorithms for problems in planar graphs such as minimum-cut, maximum-flow, and shortest paths with negative arc lengths. As immediate applications, we show how to compute maximum flow in directed weighted planar graphs in O(nlogp) time, and minimum st-cut in undirected weighted planar graphs in O(nloglogp) time, where p is the minimum number of edges on any path from the source to the sink. We also show how to compute any part of the DDG that corresponds to a region with r vertices and k boundary vertices in O(rlogk) time, which is faster than has been previously known for small values of k.
Bibliographical noteFunding Information:
The research was supported in part by Israel Science Foundation grants 794/13 and 592/17.
© 2017 Elsevier B.V.
- Dynamic range minimum queries
- Monge heaps
- Planar graphs
- Recursive r-divisions
- Shortest paths
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science (all)