F: Dijkstra's Algorithm