[dijkstra_correctness.png]