1 paper
Ahmed Shokry, Amr Elmasry, Ayman Khalafallah +1
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. P…