User profile: prestokeys

User info
User name:prestokeys
Bio:Recreational programmer who started learning in 2013. Currently addicted as I learn more and more.
History
Joined:
Number of posts:339
Latest posts:

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...