Lower Bounds for Adaptive Relaxation-Based Algorithms for Single-Source Shortest Paths

Sunny Atalig,Alexander Hickerson,Arrdya Srivastav,Tingting Zheng,Marek Chrobak

2024-11-11

Abstract:We consider the classical single-source shortest path problem in directed weighted graphs. D.~Eppstein proved recently an $\Omega(n^3)$ lower bound for oblivious algorithms that use relaxation operations to update the tentative distances from the source vertex. We generalize this result by extending this $\Omega(n^3)$ lower bound to \emph{adaptive} algorithms that, in addition to relaxations, can perform queries involving some simple types of linear inequalities between edge weights and tentative distances. Our model captures as a special case the operations on tentative distances used by Dijkstra's algorithm.

Data Structures and Algorithms

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is: in the single - source shortest - path problem, for adaptive relaxation - based algorithms, whether there is an asymptotic complexity less than \(O(n^3)\) to solve the problem. Specifically, the authors hope to prove whether it is possible to solve the shortest - path problem by using asymptotically less than \(O(n^3)\) relaxation operations, even when negative weights (but no negative - weight cycles) are allowed.

### Background and Motivation

1. **Classical Shortest - Path Algorithms**
- For non - negative - weight graphs, Dijkstra's algorithm can calculate the shortest path in \(O(m + n\log n)\) time.
- For graphs that allow negative weights but no negative - weight cycles, Bellman - Ford's algorithm can calculate the shortest path in \(O(nm)\) time.

2. **Importance of Relaxation Operations**
- These algorithms update the distance estimate \(D[v]\) from the source node to other nodes by repeatedly performing relaxation operations, that is, by checking whether the edge \((u, v)\) can provide a shorter path to update \(D[v]\).

3. **Number of Relaxations in Complete Graphs**
- In a complete graph (where there is an edge between every pair of nodes), Dijkstra's algorithm needs to perform \(Θ(n^2)\) relaxation operations.
- Bellman - Ford's algorithm needs to perform \(Θ(n^3)\) relaxation operations.

4. **Natural Question**
- Is it possible to solve the shortest - path problem with asymptotically less than \(O(n^3)\) relaxation operations?

### Main Contributions

To answer the above question, the authors made the following main contributions:

1. **Lower Bound for Deterministic Algorithms**
- It is proved that a deterministic algorithm using only edge queries requires \(Ω(n^3)\) operations in the worst case, even when the weights are non - negative and symmetric (i.e., undirected graphs).

2. **Lower Bound for Randomized Algorithms**
- Similarly, for randomized algorithms, the expected running time is also at least \(Ω(n^3)\).

3. **Extension to More Types of Queries**
- It is proved that even when D - comparison queries, weight - comparison queries, and edge queries are allowed, deterministic and randomized algorithms still require \(Ω(n^3)\) operations.

### Conclusion

Through these results, the authors show that in the framework of adaptive relaxation algorithms, the lower bound on the minimum number of relaxation operations required to solve the single - source shortest - path problem is \(Ω(n^3)\). This indicates that in this model, there is limited room for further optimizing the shortest - path algorithm.