优先队列式分支限界法求解单源最短路径

优先队列式分支限界法是一种求解单源最短路径的算法。它是将待扩展节点状态按照估价函数从小到大排在一个优先队列中，每次取出估价函数最小的节点进行扩展并更新已求出的最短路径。算法维护两个集合：已被选中的节点集合和待选节点集合，初始时已被选中节点集合为空，待选节点集合包含起点。对于待选节点集合中的所有节点，计算它们到起点的实际距离和估计最短距离之和作为估价函数，将它们按照该估价函数值从小到大加入优先队列中。取出队首节点进行扩展，更新到达其邻居节点的最短距离，并将邻居节点加入待选节点集合。重复该过程，直到找到终点或者待选节点集合为空。