Dijkstra's algorithm of computing the single-source shortest path problem