Algorithm PS/Dijkstra