Table of Contents
Fetching ...

Breaking the Bellman-Ford Shortest-Path Bound

Amr Elmasry

TL;DR

A single-source shortest-path algorithm that breaks, after over 60 years, the $O(n \cdot m)$ time bound for the Bellman-Ford algorithm, where $n$ is the number of vertices and $m$ isThe number of arcs of the graph.

Abstract

In this paper we give a single-source shortest-path algorithm that breaks, after over 65 years, the $O(n \cdot m)$ bound for the running time of the Bellman-Ford-Moore algorithm, where $n$ is the number of vertices and $m$ is the number of arcs of the graph. Our algorithm converts the input graph to a graph with nonnegative weights by performing at most $\min(2 \cdot \sqrt{n},2 \cdot \sqrt{m/\log n})$ calls to a modified version of Dijkstra's algorithm, such that the shortest-path trees are the same for the new graph as those for the original. When Dijkstra's algorithm is implemented using Fibonacci heaps, the running time of our algorithm is therefore $O(\sqrt{n} \cdot m + n \cdot \sqrt{m \log n})$.

Breaking the Bellman-Ford Shortest-Path Bound

TL;DR

A single-source shortest-path algorithm that breaks, after over 60 years, the time bound for the Bellman-Ford algorithm, where is the number of vertices and isThe number of arcs of the graph.

Abstract

In this paper we give a single-source shortest-path algorithm that breaks, after over 65 years, the bound for the running time of the Bellman-Ford-Moore algorithm, where is the number of vertices and is the number of arcs of the graph. Our algorithm converts the input graph to a graph with nonnegative weights by performing at most calls to a modified version of Dijkstra's algorithm, such that the shortest-path trees are the same for the new graph as those for the original. When Dijkstra's algorithm is implemented using Fibonacci heaps, the running time of our algorithm is therefore .

Paper Structure

This paper contains 18 sections, 9 theorems, 1 equation, 5 algorithms.

Key Result

Lemma 1

By setting the potential value of every vertex $x$ to $d[x] \gets \min\{\delta[x],0\}$, the reduced weights of all the arcs are nonnegative.

Theorems & Definitions (17)

  • Lemma 1
  • proof
  • Lemma 2
  • proof
  • Lemma 3
  • proof
  • Lemma 4
  • proof
  • Lemma 5
  • proof
  • ...and 7 more