Renamed Knuth's algorithm to Dijkstra's.