Dijkstra's algorithm
"Proof of Dijkstra's algorithm is constructed by induction on the number of visited nodes."