spfa讲义+前向星.docVIP

SPFA算法 　　求单源最短路的SPFA算法的全称是：Shortest Path Faster Algorithm。 　　SPFA算法是西南交通大学段凡丁于1994年发表的. 　　从名字我们就可以看出，这种算法在效率上一定有过人之处。 　　很多时候，给定的图存在负权边，这时类似Dijkstra等算法便没有了用武之地，而 HYPERLINK /view/1481053.htm \t _blank Bellman-Ford算法的复杂度又过高，SPFA算法便派上用场了。 　　简洁起见，我们约定有向加权图G不存在负权回路，即 HYPERLINK /view/349189.htm \t _blank 最短路径一定存在。当然，我们可以在执行该算法前做一次拓扑排序，以判断是否存在负权回路，但这不是我们讨论的重点。 　　我们用数组d记录每个结点的最短路径估计值，而且用邻接表来存储图G。我们采取的方法是动态逼近法：设立一个先进先出的队列用来保存待优化的结点，优化时每次取出队首结点u，并且用u点当前的最短路径估计值对离开u点所指向的结点v进行松弛操作，如果v点的最短路径估计值有所调整，且v点不在当前的队列中，就将v点放入队尾。这样不断从队列中取出结点来进行松弛操作，直至队列空为止。 　　定理: 只要最短路径存在，上述SPFA算法必定能求出最小值。 　　证明：每次将点放入队尾，都是经过松弛