[algo1] Dijkstra's algorithm finished.