abstract position in the dijkstra_sssp algorithms