Bidirectional Dijkstra's Algorithm is Instance-Optimal

Abstract

Although Dijkstra's algorithm has near-optimal time complexity for the problem of finding a shortest path from a given vertex $s$ to a given vertex $t$, in practice other algorithms are often superior on huge graphs. A prominent example is bidirectional search, which concurrently executes Dijkstra's algorithm forward from $s$ and backward from $t$, and stops when these executions meet. In this paper, we give a strong theoretical justification for the use of bidirectional search to find a shortest $st$-path. We prove that for weighted multigraphs, both directed and undirected, a careful implementation of bidirectional search is instance-optimal with respect to the number of edges it examines. That is, we prove that no correct algorithm can outperform our implementation of bidirectional search on any single instance by more than a constant factor. For unweighted graphs, we show that bidirectional breadth-first search is instance-optimal up to a factor of $O(\hat{I}”)$ where $\hat{I}”$ is the maximum degree of the graph. We also show that this is best possible.

Fixed a bug in the bidirectional search pseudocode where e_mid was updated even if $\hat{I}¼$ wasn't. Fixed a typo in the proof of Theorem 3: changed all $v_1{u}_2$ to $u_2{v}_1$. Other polishing and rewording