Outputting the shortest path in a Directed Acyclic Graph [quote]The algorithm is linked to the proof by providing invariants at each step of the algorithm: s...

Outputting the shortest path in a Directed Acyclic Graph Actually, proving this theorem still does not prove that my algorithm above is correct. The algorit...

Outputting the shortest path in a Directed Acyclic Graph Ok, I think I've come up with a formal proof of the correctness of the algorithm, after reading Duoa...

Outputting the shortest path in a Directed Acyclic Graph [quote]If you have s→u as the shortest path, that means there is no other edge s→u that is short...

Outputting the shortest path in a Directed Acyclic Graph Ok, the 'parent' array, kept as [b]1-dimensional[/b], seems to be working when I print out the outpu...