用优先队列式分支限界法求解单源最短路径问题的思路

单源最短路径问题可以使用Dijkstra算法或Bellman-Ford算法来解决。而优先队列式分支限界法是一种搜索算法，可以用来解决单源最短路径问题。

以下是使用优先队列式分支限界法求解单源最短路径问题的思路：

1. 初始化一个优先队列Q，并将起点s加入队列中。并初始化一个距离数组dist，dist[i]表示从起点s到节点i的最短距离。将dist[s]初始化为0，其他节点的距离初始化为无穷大。同时，初始化一个标记数组visited，visited[i]表示节点i是否已经被访问过。

2. 从Q中取出距离最短的节点u，并将其标记为已访问。遍历u的所有邻居节点v，如果v未被访问过，计算从起点s到v的距离，即dist[u]+w(u,v)，其中w(u,v)表示u和v之间的边权。如果这个距离小于dist[v]，则更新dist[v]的值，并将v加入队列Q中。

3. 重复步骤2直到队列Q为空。

4. 最终得到的dist数组即为从起点s到每个节点的最短距离。

5. 如果要求得s到某个特定节点t的最短路径，可以在遍历邻居节点v时，记录下v的前驱节点pre[v]，表示从s到v的最短路径的前驱节点是pre[v]。最后从t开始，沿着pre数组逆向遍历，即可得到s到t的最短路径。

优先队列式分支限界法的优点是可以处理负权边，但是如果存在负权环，该算法将无法得到正确的最短路径。如果需要处理负权环，可以使用Bellman-Ford算法