Finds single-source shortest paths on weighted non-negative graphs using a priority queue greedy strategy.