Tour de force in Dijkstra's algorithm