Optimal Algorithmic Approach
V-1 edge relaxation passes.
Core Invariants & Edge Cases
- Relax all edges V-1 times (guarantees shortest paths if no negative cycle)
- A V-th relaxation that still reduces a distance means a negative cycle exists
- Handles negative edges unlike Dijkstra