有权图的最短路径

有权图的最短路径，同样也有单源最短路径算法和多源最短路径算法。

• 1.有权图单源最短路径算法（Dijkstra算法，不考虑负值圈）。
  核心思路是：按照递增（非递减）的顺序找到各个顶点的最短路。
  把顶点集合V分成两组：
  （1）S：已求出的顶点的集合（初始时只含有源点V0）
  （2）V-S=T：尚未确定的顶点集合
  将T中顶点按递增的次序加入到S中，保证：
  （1）从源点V0到S中其他各顶点的长度都不大于从V0到T中任何顶点的最短路径长度
  （2）每个顶点对应一个距离值
  S中顶点：从V0到此顶点的长度
  T中顶点：从V0到此顶点的只包括S中顶点作中间顶点的最短路径长度
  依据：可以证明V0到T中顶点Vk的，或是从V0到Vk的直接路径的权值；或是从V0经S中顶点到Vk的路径权值之和。该性质描述为：如果P(i,j)={Vi….Vk..Vs…Vj}是从顶点i到j的最短路径，k和s是这条路径上的一个中间顶点，那么P(k,s)必定是从k到s的最短路径。下面证明该性质的正确性。
  证明：假设P(i,j)={Vi….Vk..Vs…Vj}是从顶点i到j的最短路径，则有P(i,j)=P(i,k)+P(k,s)+P(s,j)。而P(k,s)不是从k到s的最短距离，那么必定存在另一条从k到s的最短路径P’(k,s)，那么P’(i,j)=P(i,k)+P’(k,s)+P(s,j)< P(i,j)。则与P(i,j)是从i到j的最短路径相矛盾。因此该性质得证。
  1.初始时令 S={V0},T=V-S={其余顶点}，T中顶点对应的距离值
  若存在< V0,Vi >，d(V0,Vi)为< V0,Vi >弧上的权值
  若不存在< V0,Vi >，d(V0,Vi)为∞
  2.从T中选取一个与S中顶点有关联边且权值最小的顶点W，加入到S中
  3.对其余T中顶点的距离值进行修改：若加进W作中间顶点，从V0到Vi的距离值缩短，则修改此距离值
  重复上述步骤2、3，直到S中包含所有顶点，即W=Vi为止。

如下图所示：

先初始化V，并对V的每一个邻接点（不邻接则距离定义为无穷大），所以最初的W1,W2,W3,W4,W5这5个点到V的距离是最小的5个，依次从W4开始遍历