文章出自：http://dsqiu.iteye.com/blog/1689163

最短路径算法——Dijkstra,Bellman-Ford,Floyd-Warshall,Johnson，无一幸免

本文内容框架：

§1 Dijkstra算法

§2 Bellman-Ford算法

§3 Floyd-Warshall算法

§4 Johnson算算法

§5 问题归约

§6 小结

常用的最短路径算法有：Dijkstra算法、Bellman-Ford算法、Floyd-Warshall算法、Johnson算法

最短路径算法可以分为单源点最短路径和全源最短路径。

单源点最短路径有Dijkstra算法和Bellman-Ford算法，其中Dijkstra算法主要解决所有边的权为非负的单源点最短路径，Bellman-Ford算法可以适用权值有负值的问题。

全源最短路径主要有Floyd-Warshall算法和Johnson算法，其中Floyd算法可以检测图中的负环并可以解决不包括负环的图中全源最短路径问题，Johnson算法相比Floyd-Warshall算法，效率更高。

算法性能分析

在分别讲解这四个算法之前先来理清下这个四个算法的复杂度：Dijkstra算法直接实现时间复杂度是O(n²),空间复杂度是O(n)(保存距离和路径)，二叉堆实现时间复杂度变成O((V+E)logV)，Fibonacci Heap可以将复杂度降到O(E+VlogV)；Bellman-Ford算法时间复杂度是O(V*E)，SPFA是时间复杂度是O(kE)；Floyd-Warshall算法时间复杂度是O(n³)，空间复杂度是O(n²)；Johnson算法时间复杂度是O( V * E * lgd(V) )，比Floyd-Warshall算法效率高。

最短路径算法之Dijkstra算法

╔

§1 Dijkstra算法

Dijkstra算法思想

Dijkstra算法思想为：设G=(V,E)是一个带权有向图（无向可以转化为双向有向），把图中顶点集合V分成两组，第一组为已求出最短路径的顶点集合（用S表示，初始时S中只有一个源点，以后每求得一条最短路径 , 就将 加入到集合S中，直到全部顶点都加入到S中，算法就结束了），第二组为其余未确定最短路径的顶点集合（用U表示），按最短路径长度的递增次序依次把第二组的顶点加入S中。在加入的过程中，总保持从源点v到S中各顶点的最短路径长度不大于从源点v到U中任何顶点的最短路径长度。此外，每个顶点对应一个距离，S中的顶点的距离就是从v到此顶点的最短路径长度，U中的顶点的距离，是从v到此顶点只包括S中的顶点为中间顶点的当前最短路径长度。

Dijkstra算法具体步骤　　

（1）初始时，S只包含源点，即S＝{v}，v的距离dist[v]为0。U包含除v外的其他顶点，U中顶点u距离dis[u]为边上的权值（若v与u有边） ）或∞（若u不是v的出边邻接点即没有边<v,u>）。

（2）从U中选取一个距离v(dist[k])最小的顶点k，把k，加入S中（该选定的距离就是v到k的最短路径长度）。

（3）以k为新考虑的中间点，修改U中各顶点的距离；若从源点v到顶点u（u∈ U）的距离（经过顶点k）比原来距离（不经过顶点k）短，则修改顶点u的距离值，修改后的距离值的顶点k的距离加上边上的权(即如果dist[k]+w[k,u]<dist[u]，那么把dist[u]更新成更短的距离dist[k]+w[k,u])。

（4）重复步骤（2）和（3）直到所有顶点都包含在S中(要循环n-1次)。

╝①

Dijkstra算法实现

╔

直接实现

最简单的实现方法就是，在每次循环中，再用一个循环找距离最短的点，然后用任意的方法更新与其相邻的边，时间复杂度显然为O(n²)

对于空间复杂度：如果只要求出距离，只要n的附加空间保存距离就可以了（距离小于当前距离的是已访问的节点，对于距离相等的情况可以比较编号或是特殊处理一下）。如果要求出路径则需要另外V的空间保存前一个节点，总共需要2n的空间。

╝②

╔

Cpp代码  
  1. /*********************************
  2. *   最短路径---Dijkstra算法实现
  3. *   　　　HDU：2544
  4. *   BLOG:www.cnblogs.com/newwy
  5. *   AUTHOR:Wang Yong
  6. **********************************/
  7. #include <iostream>
  8. #define MAX 100
  9. #define INF 1000000000
  10. using namespace std;
  11. int dijkstra (int mat[][MAX],int n, int s,int f)
  12. {
  13. int dis[MAX];
  14. int mark[MAX];//记录被选中的结点
  15. int i,j,k = 0;
  16. for(i = 0 ; i < n ; i++)//初始化所有结点，每个结点都没有被选中
  17. mark[i] = 0;
  18. for(i = 0 ; i < n ; i++)//将每个结点到start结点weight记录为当前distance
  19. {
  20. dis[i] = mat[s][i];
  21. //path[i] = s;
  22. }
  23. mark[s] = 1;//start结点被选中
  24. //path[s] = 0;
  25. dis[s] = 0;//将start结点的的距离设置为0
  26. int min ;//设置最短的距离。
  27. for(i = 1 ; i < n; i++)
  28. {
  29. min = INF;
  30. for(j = 0 ; j < n;j++)
  31. {
  32. if(mark[j] == 0  && dis[j] < min)//未被选中的结点中，距离最短的被选中
  33. {
  34. min = dis[j] ;
  35. k = j;
  36. }
  37. }
  38. mark[k] = 1;//标记为被选中
  39. for(j = 0 ; j < n ; j++)
  40. {
  41. if( mark[j] == 0  && (dis[j] > (dis[k] + mat[k][j])))//修改剩余结点的最短距离
  42. {
  43. dis[j] = dis[k] + mat[k][j];
  44. }
  45. }
  46. }
  47. return dis[f];
  48. }
  49. int mat[MAX][MAX];
  50. int main()
  51. {
  52. int n,m;
  53. while(scanf("%d %d",&n,&m))
  54. {
  55. int a,b,dis;
  56. if(n == 0 || m == 0)
  57. break;
  58. int i,j;
  59. for(i = 0 ; i < n;i++)
  60. for(j = 0 ; j < n; j++)
  61. mat[i][j] = INF;
  62. for(i = 0 ; i < m ;i++)
  63. {
  64. scanf("%d %d %d",&a,&b,&dis);
  65. --a,--b;
  66. if(dis < mat[a][b] || dis < mat[b][a])
  67. mat[a][b] = mat[b][a] = dis;
  68. }
  69. int ans = dijkstra(mat,n,0,n-1);
  70. printf("%d\n",ans);
  71. }
  72. }

╝⑤

╔

二叉堆实现

使用二叉堆(Binary Heap)来保存没有扩展过的点的距离并维护其最小值，并在访问每条边的时候更新，可以把时间复杂度变成O((V+E)logV)。

当边数远小于点数的平方时，这种算法相对来说有很好的效果。但是当E=O(V2)时（有时候表现为不限制边的条数），用二叉堆的优化反倒会更慢。因为此时的复杂度是O(V+V*2logV)，小于不用堆的实现的O(n²)的复杂度。

另外此时要用邻接表保存边，使得扩展边的总复杂度为O(E)，否则复杂度不会减小。

空间复杂度：这种算法需要一个二叉堆，及其反向指针，另外还要保存距离，所以所用空间为3V。如果保存路径则为4V。

具体思路：先将所有的点插入堆，并将值赋为极大值(maxint/maxlongint)，将原点赋值为0，通过松弛技术（relax）进行更新以及设定为扩展。

╝②

╔

C代码  
  1. int  GraphDijk(struct Graph *g, int root, int *parent, int *distance)
  2. {
  3. // 将除根结点之外的点都放入堆中，设置所有键为INFINITY
  4. // 遍历根结点发出的边，将其最短路径设为相应权值，并维持堆性质
  5. // RemoveTop，此结点已经取最短路径，如果为INFINITY，则终止算法
  6. // 否则，将其状态设为已标记，并设为根结点
  7. // loop back
  8. parent[root] = root;
  9. int reflection[g->V];
  10. int heap_real[g->V - 1];
  11. for (int i=0,j=0; i < g->V; i++) {
  12. if (i == root) {
  13. distance[i] = 0;
  14. } else {
  15. distance[i] = INFINITY;
  16. heap_real[j++] = i;
  17. reflection[i] = j;
  18. }
  19. }
  20. struct Edge *e;
  21. struct list_t *iter;
  22. int *heap = heap_real - 1;
  23. int base = 0;  /* euqal to distance[root]  */
  24. int size = g->V - 1;
  25. int length;
  26. do {
  27. iter = list_next(&(g->vertices + root)->link);
  28. for (; iter; iter = list_next(iter)) {
  29. e = list_entry(iter, struct Edge, link);
  30. length = base + e->weight;
  31. if (length < distance[e->to]) {
  32. HeapDecreaseKey(heap, size,
  33. distance, reflection,
  34. reflection[e->to], length);
  35. parent[e->to] = root;
  36. }
  37. }
  38. root = HeapRemoveTop(heap, size, distance, reflection);
  39. base = distance[root];
  40. if (distance[root] == INFINITY) {
  41. /* remain nodes in heap  is not accessible */
  42. return g->V - (size + 1); /* 返回强连通分支结点数 */
  43. }
  44. } while (size);
  45. /* successfull end algorightm  */
  46. return g->V;
  47. }

╝④

再献上一个实现

╔

C代码  
  1. /*很裸很水的最短路，练习二叉堆优化的Dijstra～
  2. 之前二叉堆优化的Prim敲了好几遍前后花了不下八个小时调试还是没有调试成功，
  3. 但是还好，熟悉了优先队列的操作。
  4. 十几天后的今天重新想起这个，终于调出来了堆优化的Dijstra。理解之后还是蛮简单的。
  5. 一些写法并不是最优的，例如heap的实现中可以减少交换元素等。但是有这个自己写的AC
  6. 过的Dijkstra在，以后写二叉堆优化的Prim/Dijkstra和其它优先队列的题目就可以拿它对照着Debug了。
  7. 2011-07-24 23:00
  8. */
  9. #include <stdio.h>
  10. #define MAXN 1200
  11. #define MAXM 1200000
  12. #define INF 19930317
  13. struct node
  14. {
  15. int d, v, p;
  16. }heap[MAXN];
  17. int pos[MAXN], hl;
  18. int e[MAXM], cost[MAXM], next[MAXM], g[MAXN], size;
  19. int m, n, s, t;
  20. void insert(int u, int v, int w)
  21. {
  22. e[++size] = v;
  23. next[size] = g[u];
  24. cost[size] = w;
  25. g[u] = size;
  26. }
  27. void swap(int a, int b)
  28. {
  29. heap[0] = heap[a];
  30. heap[a] = heap[b];
  31. heap[b] = heap[0];
  32. pos[heap[a].v] = a;
  33. pos[heap[b].v] = b;
  34. }
  35. void heapfy()
  36. {
  37. int i = 2;
  38. while (i <= hl)
  39. {
  40. if ((i < hl) && (heap[i + 1].d < heap[i].d))
  41. i++;
  42. if (heap[i].d < heap[i >> 1].d)
  43. {
  44. swap(i, i >> 1);
  45. i <<= 1;
  46. }
  47. else
  48. break;
  49. }
  50. }
  51. void decrease(int i)
  52. {
  53. while ((i != 1) && (heap[i].d < heap[i >> 1].d))
  54. {
  55. swap(i, i >> 1);
  56. i >>= 1;
  57. }
  58. }
  59. void relax(int u ,int v, int w)
  60. {
  61. if (w + heap[pos[u]].d < heap[pos[v]].d)
  62. {
  63. heap[pos[v]].p = u;
  64. heap[pos[v]].d = w + heap[pos[u]].d;
  65. decrease(pos[v]);
  66. }
  67. }
  68. void delete_min()
  69. {
  70. swap(1, hl);
  71. hl--;
  72. heapfy();
  73. }
  74. void init()
  75. {
  76. int u ,v ,w, i;
  77. scanf("%d%d", &m, &n);
  78. for (i = 1; i <= m; i++)
  79. {
  80. scanf("%d%d%d", &u, &v, &w);
  81. insert(u, v, w);
  82. insert(v, u, w);
  83. }
  84. s = 1;
  85. t = n;
  86. }
  87. int dijkstra()
  88. {
  89. int u, p, i;
  90. for (i = 1; i <= n; i++)
  91. {
  92. heap[i].v = pos[i] = i;
  93. heap[i].d = INF;
  94. }
  95. heap[s].p = s;
  96. heap[s].d = 0;
  97. swap(1, s);
  98. hl = n;
  99. while (hl)
  100. {
  101. u = heap[1].v;
  102. delete_min();
  103. p = g[u];
  104. while (p)
  105. {
  106. if (pos[e[p]] <= hl)
  107. relax(u, e[p], cost[p]);
  108. p = next[p];
  109. }
  110. }
  111. }
  112. int main()
  113. {
  114. init();
  115. dijkstra();
  116. printf("%d\n", heap[pos[t]].d);
  117. return 0;
  118. }

╝③

╔

菲波那契堆实现

用类似的方法，使用Fibonacci Heap可以将复杂度降到O(E+VlogV)，但实现比较麻烦。因此这里暂不列举。

╝②

最短路径算法之Bellman-Ford算法

§2 Bellman-Ford算法

╔

Bellman-Ford算法思想

Bellman-Ford算法能在更普遍的情况下（存在负权边）解决单源点最短路径问题。对于给定的带权（有向或无向）图 G=（V,E），其源点为s，加权函数 w是 边集 E 的映射。对图G运行Bellman-Ford算法的结果是一个布尔值，表明图中是否存在着一个从源点s可达的负权回路。若不存在这样的回路，算法将给出从源点s到 图G的任意顶点v的最短路径d[v]。

Bellman-Ford算法流程：

（1）    初始化：将除源点外的所有顶点的最短距离估计值 d[v] ←+∞, d[s] ←0;

（2）    迭代求解：反复对边集E中的每条边进行松弛操作，使得顶点集V中的每个顶点v的最短距离估计值逐步逼近其最短距离；（运行|v|-1次）

（3）    检验负权回路：判断边集E中的每一条边的两个端点是否收敛。如果存在未收敛的顶点，则算法返回false，表明问题无解；否则算法返回true，并且从源点可达的顶点v的最短距离保存在 d[v]中。

算法描述如下：

Bellman-Ford(G,w,s) ：boolean   //图G ，边集 函数 w ，s为源点

1        for each vertex v ∈ V（G） do        //初始化 1阶段

2            d[v] ←+∞

3        d[s] ←0;                             //1阶段结束

4        for i=1 to |v|-1 do               //2阶段开始，双重循环。

5           for each edge（u,v） ∈E(G) do //边集数组要用到，穷举每条边。

6              If d[v]> d[u]+ w(u,v) then      //松弛判断

7                 d[v]=d[u]+w(u,v)               //松弛操作   2阶段结束

8        for each edge（u,v） ∈E(G) do

9            If d[v]> d[u]+ w(u,v) then

10            Exit false

11    Exit true

下面给出描述性证明：

首先指出，图的任意一条最短路径既不能包含负权回路，也不会包含正权回路，因此它最多包含|v|-1条边。

其次，从源点s可达的所有顶点如果 存在最短路径，则这些最短路径构成一个以s为根的最短路径树。Bellman-Ford算法的迭代松弛操作，实际上就是按顶点距离s的层次，逐层生成这棵最短路径树的过程。

在对每条边进行1遍松弛的时候，生成了从s出发，层次至多为1的那些树枝。也就是说，找到了与s至多有1条边相联的那些顶点的最短路径；对每条边进行第2遍松弛的时候，生成了第2层次的树枝，就是说找到了经过2条边相连的那些顶点的最短路径……。因为最短路径最多只包含|v|-1 条边，所以，只需要循环|v|-1 次。

每实施一次松弛操作，最短路径树上就会有一层顶点达到其最短距离，此后这层顶点的最短距离值就会一直保持不变，不再受后续松弛操作的影响。（但是，每次还要判断松弛，这里浪费了大量的时间，怎么优化？单纯的优化是否可行？）

如果没有负权回路，由于最短路径树的高度最多只能是|v|-1，所以最多经过|v|-1遍松弛操作后，所有从s可达的顶点必将求出最短距离。如果 d[v]仍保持 +∞，则表明从s到v不可达。

如果有负权回路，那么第 |v|-1 遍松弛操作仍然会成功，这时，负权回路上的顶点不会收敛。

╝⑥

Bellman-Ford算法实现

╔

Cpp代码  
  1. #include<iostream>
  2. #include<cstdio>
  3. using namespace std;
  4. #define MAX 0x3f3f3f3f
  5. #define N 1010
  6. int nodenum, edgenum, original; //点，边，起点
  7. typedef struct Edge //边
  8. {
  9. int u, v;
  10. int cost;
  11. }Edge;
  12. Edge edge[N];
  13. int dis[N], pre[N];
  14. bool Bellman_Ford()
  15. {
  16. for(int i = 1; i <= nodenum; ++i) //初始化
  17. dis[i] = (i == original ? 0 : MAX);
  18. for(int i = 1; i <= nodenum - 1; ++i)
  19. for(int j = 1; j <= edgenum; ++j)
  20. if(dis[edge[j].v] > dis[edge[j].u] + edge[j].cost) //松弛（顺序一定不能反~）
  21. {
  22. dis[edge[j].v] = dis[edge[j].u] + edge[j].cost;
  23. pre[edge[j].v] = edge[j].u;
  24. }
  25. bool flag = 1; //判断是否含有负权回路
  26. for(int i = 1; i <= edgenum; ++i)
  27. if(dis[edge[i].v] > dis[edge[i].u] + edge[i].cost)
  28. {
  29. flag = 0;
  30. break;
  31. }
  32. return flag;
  33. }
  34. void print_path(int root) //打印最短路的路径（反向）
  35. {
  36. while(root != pre[root]) //前驱
  37. {
  38. printf("%d-->", root);
  39. root = pre[root];
  40. }
  41. if(root == pre[root])
  42. printf("%d\n", root);
  43. }
  44. int main()
  45. {
  46. scanf("%d%d%d", &nodenum, &edgenum, &original);
  47. pre[original] = original;
  48. for(int i = 1; i <= edgenum; ++i)
  49. {
  50. scanf("%d%d%d", &edge[i].u, &edge[i].v, &edge[i].cost);
  51. }
  52. if(Bellman_Ford())
  53. for(int i = 1; i <= nodenum; ++i) //每个点最短路
  54. {
  55. printf("%d\n", dis[i]);
  56. printf("Path:");
  57. print_path(i);
  58. }
  59. else
  60. printf("have negative circle\n");
  61. return 0;
  62. }

╝⑦

Bellman-Ford算法优化——SPFA算法

循环的提前跳出：在实际操作中，贝尔曼-福特算法经常会在未达到V-1次前就出解，V-1其实是最大值。于是可以在循环中设置判定，在某次循环不再进行松弛时，直接退出循环，进行负权环判定。

具体做法是用一个队列保存待松弛的点，然后对于每个出队的点依次遍历每个与他有边相邻的点（用邻接表效率较高），如果该点可以松弛并且队列中没有该点则将它加入队列中(只有进行松弛操作的点才会对它的邻接点有影响，也就是说其邻接点才需要松弛操作)，如此迭代直到队列为空。

SPFA算法实现

╔

Cpp代码  
  1. #include <iostream>
  2. #include <queue>
  3. using namespace std;
  4. const long MAXN=10000;
  5. const long lmax=0x7FFFFFFF;
  6. typedef struct
  7. {
  8. long v;
  9. long next;
  10. long cost;
  11. }Edge;
  12. Edge e[MAXN];
  13. long p[MAXN];
  14. long Dis[MAXN];
  15. bool vist[MAXN];
  16. queue<long> q;
  17. long m,n;//点,边
  18. void init()
  19. {
  20. long i;
  21. long eid=0;
  22. memset(vist,0,sizeof(vist));
  23. memset(p,-1,sizeof(p));
  24. fill(Dis,Dis+MAXN,lmax);
  25. while (!q.empty())
  26. {
  27. q.pop();
  28. }
  29. for (i=0;i<n;++i)
  30. {
  31. long from,to,cost;
  32. scanf("%ld %ld %ld",&from,&to,&cost);
  33. e[eid].next=p[from];
  34. e[eid].v=to;
  35. e[eid].cost=cost;
  36. p[from]=eid++;
  37. //以下适用于无向图
  38. swap(from,to);
  39. e[eid].next=p[from];
  40. e[eid].v=to;
  41. e[eid].cost=cost;
  42. p[from]=eid++;
  43. }
  44. }
  45. void print(long End)
  46. {
  47. //若为lmax 则不可达
  48. printf("%ld\n",Dis[End]);
  49. }
  50. void SPF()
  51. {
  52. init();
  53. long Start,End;
  54. scanf("%ld %ld",&Start,&End);
  55. Dis[Start]=0;
  56. vist[Start]=true;
  57. q.push(Start);
  58. while (!q.empty())
  59. {
  60. long t=q.front();
  61. q.pop();
  62. vist[t]=false;
  63. long j;
  64. for (j=p[t];j!=-1;j=e[j].next)
  65. {
  66. long w=e[j].cost;
  67. if (w+Dis[t]<Dis[e[j].v])
  68. {
  69. Dis[e[j].v]=w+Dis[t];
  70. if (!vist[e[j].v])
  71. {
  72. vist[e[j].v]=true;
  73. q.push(e[j].v);
  74. }
  75. }
  76. }
  77. }
  78. print(End);
  79. }
  80. int main()
  81. {
  82. while (scanf("%ld %ld",&m,&n)!=EOF)
  83. {
  84. SPF();
  85. }
  86. return 0;
  87. }

╝⑧

最短路径算法之Floyd-Warshall算法

§3 Floyd-Warshall算法

╔

Floyd-Warshall算法是解决任意两点间的最短路径的算法，可以处理有向图或负权值的最短路径问题，同时也被用于计算有向图的传递闭包。算法的时间复杂度为O(n³)，空间复杂度为O(n²)。

Floyd-Warshall算法的原理是动态规划。

设为从到的只以集合中的节点为中间節点的最短路径的长度。

  1. 若最短路径经过点k，则；
  2. 若最短路径不经过点k，则。

因此，。

在实际算法中，为了节约空间，可以直接在原来空间上进行迭代，这样空间可降至二维。

╝⑨

Floyd-Warshall算法实现

╔

C代码  
  1. for(int k =1 ;  k <= n ; k ++ ){
  2. for(int i =1 ; i<= n ; i++){
  3. for(int j =1 ;j<=n;j++){
  4. dist[ i ][ j ]= min( dist[ i ][ j ],dist[ i ][ k ]+dist[ k ][ j ] );
  5. }
  6. }
  7. }

如果dist[i][k]或者dist[k][j]不存在，程序中用∞代替。

真正的Floyd算法是一种基于DP(Dynamic Programming)的最短路径算法。

设图G中n 个顶点的编号为1到n。令c [i, j, k]表示从i 到j 的最短路径的长度，其中k 表示该路径中的最大顶点，也就是说c[i,j,k]这条最短路径所通过的中间顶点最大不超过k。因此，如果G中包含边<i, j>，则c[i, j, 0] =边<i, j> 的长度；若i= j ，则c[i,j,0]=0；如果G中不包含边<i, j>，则c (i, j, 0)= +∞。c[i, j, n] 则是从i 到j 的最短路径的长度。

对于任意的k>0，通过分析可以得到：中间顶点不超过k 的i 到j 的最短路径有两种可能：该路径含或不含中间顶点k。若不含，则该路径长度应为c[i, j, k-1]，否则长度为 c[i, k, k-1] +c [k, j, k-1]。c[i, j, k]可取两者中的最小值。

状态转移方程：c[i, j, k]=min{c[i, j, k-1], c [i, k, k-1]+c [k, j, k-1]}，k＞0。

这样，问题便具有了最优子结构性质，可以用动态规划方法来求解。

Cpp代码  
  1. #include <iostream>
  2. 2 using namespace std;
  3. 3
  4. 4 const int INF = 100000;
  5. 5 int n=10,map[11][11],dist[11][11][11];
  6. 6 void init(){
  7. 7     int i,j;
  8. 8     for(i=1;i<=n;i++)
  9. 9         for(j=1;j<=n;j++)
  10. 10             map[i][j]=(i==j)?0:INF;
  11. 11     map[1][2]=2,map[1][4]=20,map[2][5]=1;
  12. 12     map[3][1]=3,map[4][3]=8,map[4][6]=6;
  13. 13     map[4][7]=4,map[5][3]=7,map[5][8]=3;
  14. 14     map[6][3]=1,map[7][8]=1,map[8][6]=2;
  15. 15     map[8][10]=2,map[9][7]=2,map[10][9]=1;
  16. 16 }
  17. 17 void floyd_dp(){
  18. 18     int i,j,k;
  19. 19     for(i=1;i<=n;i++)
  20. 20         for(j=1;j<=n;j++)
  21. 21             dist[i][j][0]=map[i][j];
  22. 22     for(k=1;k<=n;k++)
  23. 23         for(i=1;i<=n;i++)
  24. 24             for(j=1;j<=n;j++){
  25. 25                 dist[i][j][k]=dist[i][j][k-1];
  26. 26                 if(dist[i][k][k-1]+dist[k][j][k-1]<dist[i][j][k])
  27. 27                     dist[i][j][k]=dist[i][k][k-1]+dist[k][j][k-1];
  28. 28             }
  29. 29 }
  30. 30 int main(){
  31. 31     int k,u,v;
  32. 32     init();
  33. 33     floyd_dp();
  34. 34     while(cin>>u>>v,u||v){
  35. 35         for(k=0;k<=n;k++){
  36. 36             if(dist[u][v][k]==INF) cout<<"+∞"<<endl;
  37. 37             else cout<<dist[u][v][k]<<endl;
  38. 38         }
  39. 39     }
  40. 40     return 0;
  41. 41 }

╝⑨

最短路径算法之Johnson算法

§4 Johnson算算法

Johson算法是目前最高效的在无负环可带负权重的网络中求所有点对最短路径的算法. Johson算法是Bellman-Ford算法, Reweighting(重赋权重)和Dijkstra算法的大综合. 对每个顶点运用Dijkstra算法的时间开销决定了Johnson算法的时间开销. 每次Dijkstra算法(d堆PFS实现)的时间开销是O( E * lgd(V) ). 其中E为边数, V为顶点数, d为采用d路堆实现优先队列ADT. 所以, 此种情况下Johnson算法的时间复杂度是O( V * E * lgd(V) )。

Johnson算法具体步骤（翻译自wikipedia）：

╔

1.初始化，把一个node q添加到图G中，使node q 到图G每一个点的权值为0。

2.使用Bellman-Ford算法，从源点为q，寻找每一个点 v从q到v的最短路径h(v)，如果存在负环的话，算法终止。

3.使用第2步骤中Bellman-Ford计算的最短路径值对原来的图进行reweight操作（重赋值）：边<u,v>的权值w(u,v)，修改成w(u,v)+h(u)-h(v)。

4.最后，移去q，针对新图（重赋值之后的图）使用Dijkstra算法计算从每一个点s到其余另外点的最短距离。

╝⑩

Johnson算法实现：

╔

Cpp代码  
  1. #include "stdafx.h"
  2. #include<iostream>
  3. #define Infinity 65535
  4. #define MAX 100
  5. using namespace std;
  6. //边尾节点结构体
  7. struct edgeNode
  8. {
  9. int no;//节点序号
  10. int weight; //此边权值
  11. edgeNode *next; //下一条邻接边
  12. };
  13. //节点信息
  14. struct vexNode
  15. {
  16. char info; //节点序号
  17. edgeNode *link; //与此节点为首节点的边的尾节点链表
  18. };
  19. //优先队列元素结构体
  20. struct PriQue
  21. {
  22. int no; //节点元素序号
  23. int weight; //源点到此节点的权值
  24. };
  25. //节点数组
  26. vexNode adjlist[MAX];
  27. //添加一个序号为0节点到其他各节点的最小权值
  28. int d[MAX];
  29. //源点到各节点的最小权值
  30. int lowcost[MAX];
  31. //各节点对间的最小权值
  32. int mincost[MAX][MAX];
  33. //优先队列
  34. PriQue queue[2*MAX];
  35. //建立图的邻接表
  36. void createGraph(vexNode *adjlist,int n,int e)
  37. {
  38. int i;
  39. cout<<"请输入这些节点的信息："<<endl;
  40. for(i=1;i<=n;i++)
  41. {
  42. cout<<"节点"<<i<<"的名称:";
  43. cin>>adjlist[i].info;
  44. adjlist[i].link = NULL;
  45. }
  46. cout<<"请输入这些边的信息："<<endl;
  47. int v1,v2;
  48. edgeNode *p1;
  49. int weight1;
  50. for(i=1;i<=e;i++)
  51. {
  52. cout<<"边"<<i<<"的首尾节点：";
  53. cin>>v1>>v2;
  54. cout<<"请输入此边的权值：";
  55. cin>>weight1;
  56. p1 = (edgeNode*)malloc(sizeof(edgeNode));
  57. p1->no = v2;
  58. p1->weight = weight1;
  59. p1->next = adjlist[v1].link;
  60. adjlist[v1].link = p1;
  61. }
  62. //添加节点0，到每一个节点的距离都是0
  63. adjlist[0].info ='0';
  64. adjlist[0].link = NULL;
  65. for(i=n;i>=1;i--)
  66. {
  67. d[i] = 0;
  68. p1 = (edgeNode*)malloc(sizeof(edgeNode));
  69. p1->no = i;
  70. p1->weight = 0;
  71. p1->next = adjlist[0].link;
  72. adjlist[0].link = p1;
  73. }
  74. }
  75. //bellman_ford算法求节点0到其他各节点的最短距离
  76. bool bellman_ford(vexNode *adjlist,int *d,int n)
  77. {
  78. int i,j;
  79. d[0] = 0;
  80. edgeNode *p1;
  81. for(j=1;j<=n;j++)
  82. {
  83. for(i=0;i<=n;i++)
  84. {
  85. p1= adjlist[i].link;
  86. while(p1 != NULL)
  87. {
  88. if(d[p1->no]>d[i]+p1->weight)
  89. d[p1->no] = d[i] + p1->weight;
  90. p1 = p1->next;
  91. }
  92. }
  93. }
  94. for(i=0;i<=n;i++)
  95. {
  96. p1= adjlist[i].link;
  97. while(p1 != NULL)
  98. {
  99. if(d[p1->no]>d[i]+p1->weight)
  100. return false;
  101. p1 = p1->next;
  102. }
  103. }
  104. return true;
  105. }
  106. //johnson算法中，需要对每一条边重新赋权值产生非负的权
  107. void G_w_to_G1_w1(int *d,const int n)
  108. {
  109. int i;
  110. edgeNode *p1;
  111. for(i=0;i<=n;i++)
  112. {
  113. p1= adjlist[i].link;
  114. while(p1 != NULL)
  115. {
  116. p1->weight = p1->weight + d[i] - d[p1->no];
  117. p1 = p1->next;
  118. }
  119. }
  120. }
  121. //保持优先队列的优先性，以指定源点到每一点的最少距离为关键字
  122. void keep_heap(PriQue *queue,int &num,int i)
  123. {
  124. int smallest = i;
  125. int left = 2*i,right = 2*i+1;
  126. if(left<=num&&queue[left].weight<queue[i].weight)
  127. smallest = left;
  128. if(right<=num&&queue[right].weight<queue[smallest].weight)
  129. smallest = right;
  130. if(smallest != i)
  131. {
  132. PriQue q = queue[smallest];
  133. queue[smallest] = queue[i];
  134. queue[i] = q;
  135. keep_heap(queue,num,smallest);
  136. }
  137. }
  138. //插入一个元素到优先队列中，并保持队列优先性
  139. void insert_heap(PriQue *queue,int &num,int no,int wei)
  140. {
  141. num += 1;
  142. queue[num].no = no;
  143. queue[num].weight = wei;
  144. int i = num;
  145. while(i>1&&queue[i].weight<queue[i/2].weight)
  146. {
  147. PriQue q1;
  148. q1 = queue[i/2];
  149. queue[i/2] = queue[i];
  150. queue[i] = q1;
  151. i = i/2;
  152. }
  153. }
  154. //取出队列首元素
  155. PriQue heap_extract_min(PriQue *queue,int &num)
  156. {
  157. if(num<1)
  158. return queue[0];
  159. PriQue que = queue[1];
  160. queue[1] = queue[num];
  161. num = num -1;
  162. keep_heap(queue,num,1);
  163. return que;
  164. }
  165. //dijkstra算法求节点i到其他每一个节点的最短距离
  166. void dijkstra(vexNode *adjlist,PriQue * queue,int i,const int n,int &num)
  167. {
  168. int v = i;
  169. //lowcost[v] = 0;
  170. int j;
  171. for(j=1;j<n;j++)
  172. {
  173. edgeNode *p1 = adjlist[v].link;
  174. while(p1 != NULL)
  175. {
  176. if(lowcost[p1->no] > lowcost[v] + p1->weight)
  177. {
  178. lowcost[p1->no] = lowcost[v] + p1->weight;
  179. insert_heap(queue,num,p1->no,lowcost[p1->no]);
  180. }
  181. p1 = p1->next;
  182. }
  183. v = heap_extract_min(queue,num).no;
  184. if(v==0)
  185. {
  186. cout<<"队列中没有节点！"<<endl;
  187. return;
  188. }
  189. }
  190. }
  191. int _tmain(int argc, _TCHAR* argv[])
  192. {
  193. int cases;
  194. cout<<"请输入案例的个数：";
  195. cin>>cases;
  196. //用队列0元素作为哨兵，如果队列中没有元素，则返回队列0元素
  197. queue[0].no = 0;
  198. queue[0].weight = 0;
  199. while(cases--)
  200. {
  201. int n,e;
  202. cout<<"请输入节点数：";
  203. cin>>n;
  204. cout<<"请输入边数：";
  205. cin>>e;
  206. //队列中的元素，初始为0
  207. int num = 0;
  208. int i,j;
  209. //创建邻接表
  210. createGraph(adjlist,n,e);
  211. cout<<endl;
  212. memset(d,Infinity,sizeof(d));
  213. //bellman_ford算法求节点0到其他各节点的最短距离
  214. bool flag = bellman_ford(adjlist,d,n);
  215. if(!flag)
  216. {
  217. cout<<"此图存在负回路，不正确！"<<endl;
  218. continue;
  219. }
  220. //johnson算法中，需要对每一条边重新赋权值产生非负的权
  221. G_w_to_G1_w1(d,n);
  222. //运用dijkstra算法求得每一对节点间的最短距离
  223. for(i=1;i<=n;i++)
  224. {
  225. for(j=1;j<=n;j++)
  226. lowcost[j] = Infinity;
  227. lowcost[i] =0;
  228. dijkstra(adjlist,queue,i,n,num);
  229. //重新把原值赋值回来，因为在函数G_w_to_G1_w1()中改变过
  230. for(j=1;j<=n;j++)
  231. mincost[i][j] = lowcost[j] + d[j] - d[i];
  232. }
  233. cout<<"下面输出每一对顶点之间的最短距离："<<endl;
  234. for(i=1;i<=n;i++)
  235. for(j=1;j<=n;j++)
  236. {
  237. cout<<"顶点("<<i<<":"<<adjlist[i].info<<")到顶点("<<j<<":"<<adjlist[j].info<<")的最短距离为："<<mincost[i][j]<<endl;
  238. }
  239. }
  240. system("pause");
  241. return 0;
  242. }

╝⑩+1

§5 问题归约

╔

对于两个问题A和B，如果使用求解B的一个算法来开发一个求解A的算法，且最坏的情况下算法总时间不会超过最坏情况下求解B的算法运行时间的常量倍，则称问题A可归约（reduce)为问题B。

1.传递闭包问题可归约为有非负权值的所有对最短路径问题。

给定两点u和v，有向图中从u到v存在一条路径，当且仅当网中从u到v的路径长度非零。

2.在边权没有限制的网中，（单源点或所有对）最长路径和最短路径问题是等价的。

3.作业调度问题可归约为差分约束问题。

4.有正常数的差分约束问题等价于无环网中的单源点最长路径。

5.带有截止期的作业调度问题可归约为（允许带有负权值的）最短路径问题。

╝⑩+2

§6 最短路径的扩展与应用

1.k短路

2.差分约束系统

3.DAG图上的单源点最短路径

4.Flyod求最小环

§6 小结

这篇文章把最短路径的四个算法——Dijkstra,Bellman-Ford,Floyd-Warshall,Johnson从原理到步骤，再从流程到实现都将了，有了一定的认识和理解。如果你有任何建议或者批评和补充，请留言指出，不胜感激，更多参考请移步互联网。

参考：

①永远的绿岩：http://2728green-rock.blog.163.com/blog/static/43636790200901211848284/

②NOCOW：http://www.nocow.cn/index.php/Dijkstra%E7%AE%97%E6%B3%95

③oa414：http://www.cnblogs.com/oa414/archive/2011/07/25/2115858.html

④NOCOW：http://www.nocow.cn/index.php/Dijkstra_%E4%BA%8C%E5%8F%89%E5%A0%86%E5%AE%9E%E7%8E%B0_C

⑤IT_元帅：http://www.cnblogs.com/newwy/archive/2010/11/20/1882569.html

⑥infinity：http://www.cppblog.com/infinity/archive/2008/11/11/66621.html

⑦niushuai666：http://blog.csdn.net/niushuai666/article/details/6791765

⑧Lost：http://www.cnblogs.com/zhuangli/archive/2008/07/26/1251869.html

⑨极限定律：http://www.cppblog.com/mythit/archive/2009/04/21/80579.html

⑩wikipedia:http://en.wikipedia.org/wiki/Johnson's_algorithm

⑩+1pleasetojava：http://pleasetojava.iteye.com/blog/1270377

⑩+2Robert Sedgewick:Algorithm in C

最短路径算法——Dijkstra,Bellman-Ford,Floyd-Warshall,Johnson，无一幸免相关推荐

  1. [转]最短路径算法—Dijkstra(迪杰斯特拉)算法分析与实现

    最短路径算法-Dijkstra(迪杰斯特拉)算法分析与实现(C/C++) Dijkstra算法 ----------- 最后更新时间:2011.9.25 ----------- Dijkstra(迪杰 ...

  2. 计算机网络最短路径路由选择,最短路径算法Dijkstra算法在路由选择中的应用.pdf...

    最短路径算法Dijkstra算法在路由选择中的应用.pdf 计算机与网络 江苏联合职业技术学院徐州机电工程分院 王恒青 江苏联合职业技术学院徐州生物工程分院 宋如敏 [摘要]本文介绍了路由算法的设计目 ...

  3. 最短路径算法——Dijkstra and Floyd算法

    一.     前言:     这个古老的算法应该耳熟能详了吧,但是我自从从学校出来到现在,最短路径算法都没有实际运用过,最近在一个GIS项目中总算用到了,于是乎把教材重温了下,同时查阅了网上很多的资料 ...

  4. 最短路径：Dijkstra算法和Floyd算法

    一.Dijkstra算法(单个顶点到其他顶点的最短距离) 定义概览 Dijkstra(迪杰斯特拉)算法是典型的单源最短路径算法,用于计算一个节点到其他所有节点的最短路径.主要特点是以起始点为中心向外层 ...

  5. 图论基础知识--最小生成树算法kruskal(克鲁斯克尔)和普里姆算法(Prim算法)；最短路径算法Dijkstra(迪杰斯特拉)和Floyd(弗洛伊德)

    一.基础知识   有向图   无向图 以无向图为例: 邻接矩阵: 度矩阵(对角矩阵): 二．最小生成树 应用:将网络顶点看着城市,边看着城市之间通讯网,边的权重看着成本,根据最小生成树可以构建城市之间 ...

  6. 最短路径（Dijkstra算法和Floyd算法）

    最短路径 ​ 在图中,不可避免要解决的一个问题就是计算两点之间的最短路径,对于图结构来说,两个点之间不一定只有一条路径,那么如何才能找出最短的那一条就是图中最短路径问题.最短路径问题在实际生活中应用十 ...

  7. 带权图的最短路径算法(Dijkstra)实现

    一,介绍 本文实现带权图的最短路径算法.给定图中一个顶点,求解该顶点到图中所有其他顶点的最短路径 以及 最短路径的长度.在决定写这篇文章之前,在网上找了很多关于Dijkstra算法实现,但大部分是不带 ...

  8. 单源最短路径算法—Dijkstra算法（详细介绍）

    一.算法简介 ​       迪杰斯特拉算法(Dijkstra),由荷兰计算机科学家艾兹赫尔·戴克斯特拉在1956年提出.又叫狄克斯特拉算法.这是从一个顶点到其余各顶点的最短路径算法,解决的是有权图中 ...

  9. 图论最短路径算法——Dijkstra

    说实在的,这算法很简单,很简单,很简单--因为它是贪心的,而且码量也小,常数比起SPFA也小. 主要思想 先初始化,dis[起点]=0,其它皆为无限大. 还要有一个bz数组,bz[i]表示i是否确定为 ...

最新文章

  1. [WPF]学习笔记二---主窗体
  2. 理解T-SQL:高级查询
  3. 网络病毒源的排查（2005年3月22日维护记录）
  4. python matplotlib_Python の Matplotlib
  5. 基于JavaWeb SSM mybatis 学生信息管理系统设计和实现以及文档报告
  6. 【读书笔记——开关电源】《精通开关电源设计》（1）
  7. C#编写上位机驱动运动控制板卡
  8. 大家好，我是谢公子，来自深信服—深蓝攻防实验室
  9. python开发一个PC屏幕监控软件（2000块的道德底线）
  10. pandas datetime数据类型
  11. 如何使用python合并多个excel文件
  12. 统计学 | 峰度系数与肥尾理解
  13. 在Win10与Ubuntu双系统中删除Ubuntu
  14. 120日均线金叉250日均线是大牛市来临的重要信号
  15. Multi-modality Latent Interaction Network for Visual Question Answering阅读笔记
  16. 15.IGame游戏公司的故事
  17. jquery toggle_响应式WordPress主题教程–第6部分– jQuery Toggle菜单
  18. Unity3D休闲射击类游戏《Survival Shooter》完整源码
  19. 【规划】Motion Planning Approaches 路径规划方法汇总
  20. c# WPF 动态设置button的IsEnabled属性

热门文章

  1. 【Vijos1404】遭遇战
  2. 20165218 学习基础和C语言基础调查
  3. MySQL如何删除重复数据
  4. 应聘信计算机英语怎么说,英文应聘信怎么写
  5. 华为云域名实名认证以及ip绑定
  6. 【win10】操作无法完成，因为文件已在XXX中打开
  7. 修改PyCharm的快捷键
  8. 【安装proteus8.7出现的问题及解决闪退的办法】
  9. C. Restoring Permutation
  10. 中国特色多层次资本市场经济体系