Verifying Shortest Paths in Linear Time

Ahmed Shokry,Amr Elmasry,Ayman Khalafallah,Amr Aly
2024-12-09
Abstract:In this paper we propose a linear-time certifying algorithm for the single-source shortest-path problem capable of verifying graphs with positive, negative, and zero arc weights. Previously proposed linear-time approaches only work for graphs with positive arc weights.
Data Structures and Algorithms
What problem does this paper attempt to address?