Dijkstra和Floyd算法

Floyd算法：
　　如果要求所有两结点间的最短路径，则可以使用dijkstra算法n次完成，时间复杂度是
O(n^3)，Floyd还提出过另一个算法，同样是O(n^3)的复杂度，但形式上更简单些。
　　要求的解是一个矩阵Ｓ[N][N]，其中S[i][j]表示结点i到j的最短路径，算法很像动态
规划算法，甚至更简单些，不同的是这里规划的是一个矩阵，而不是简单的数组。
　　Floyd算法过程描述如下：

（在整个循环结束后，S[i][j]肯定是i和j之间的最短路径——i如果和j之间有直接通路，但是比S[i][k]+S[k][j]长的话就会被S[i][k]+S[k][j]替换，而S[i][k]（或S[k][j]）可能也是中间经过某一个其他点（这边设为w点）而得到的i到k的最短路径，所以可能i到j的最短路径是由S[i][k]+S[k][j]得到，而S[i][k]又是由i到w再到k的（S[k][j]同理），因此i到j的最短路径就可能是i—>w—>k—>j的（这边假设S[k][j]中间没有经过其他点，自己就是最短的））

　　１、 首先Ｓ以边集Ｍ初始化，得到所有的直接连通代价；
　　２、 依次考虑第k个结点，对于Ｓ中的每一个Ｓ[i][j]，判断是否满足：
　　S[i][j]>S[i][k]+S[k][j]，如果满足则用S[i][k]+S[k][j]代替Ｓ[i][j]，此为第k步；
　　３、 k循环取遍所有结点，算法结束时，Ｓ为最终解。
　　这样的求法自然再简单不过了，但要证明其中的正确性，有些难度，为什么不会使结点
重复存在于同一路径？在替换的时候，S[i][k]和S[k][j]中如果同时含有m结点，则这样的替
换显然是错误的，相当于i-->m-->k-->m-->j，可以简单用这有这样连通关系的例子试一下，会
发现如果在一条路径中有结点冗余，则不可能是最短路径，显然上面这条有冗余结点的路径
肯定要比i-->m-->j要长，所以算法在要求最短的同时已经排除了这种情况，这样使得任意一
条路径都不冗余。

 

 

 

Dijikstra算法：

（Dijkstra可以处理负权边，不允许有负权环，否则可以通过不断走负权环取得更小值。如果要考虑权值为负的情况可以用Bellman-Ford算法来实现）

大体过程如下：（过程中涉及到一个s集合用来保存已经求出到源点的最短路径的点，一个u集合，保存还没有求出到源点最短路径的点（即全部点的集合A减去集合s所得的集合））

1、  先将源点v加入s集合中；

2、  在剩下的u集合中找到与v有直接关联的边且其权值最小的点，先将该直接边的权值作为该点暂时的最短路径，将s集合里面的各个点与这点关联起来（如果有直接关联的边的话），看从源点v到该点（中间经过若干s集合中的点）的权值之和是不是小于v与该点间直接边的权值，如果小于的话就替换该点的最短路径；

3、  看u集合中还有没有点，如果有的话则重复步骤2，否则算法结束

注：在进行上述算法前如果先对各个点之间的权值大小进行排序可以提高算法效率，在步骤2中“在剩下的u集合中找到与v有直接关联的边且其权值最小的点”时可以不用每次都遍历所有的边。

再注：每一次向s中加入一个点之后，对于u集合中的j点的原始最短路径值（与源点有直接关联边的就是直接关联边的权值，没有的话就是无穷大）的影响：如果有影响，那影响后的路径肯定是先经过s集合中的某些点然后再经过刚刚加入s集合的点再直接到j点，而不可能是先经过s集合中的某些点再经过刚刚加入s集合的点，再经过s集合中的其他点（设为x点）再到j点的，因为如果是这样的话那刚刚加入s集合的点（设为k点）应该在x之前就已经加入s集合了的，因为x在k之前加入s集合，所以vx的路径长度肯定大于vkx的路径长度，而后面加j的时候都是加上xj的长度，这个显然不合理了的。