最短路问题DijkstraFloyd算法详细资料.pptVIP

最短路径问题是图论研究中的一个经典算法问题， 旨在寻找图（由结点和路径组成的）中两结点之间的最短路径。 算法具体的形式包括： 确定起点的最短路径问题 - 即已知起始结点，求最短路径的问题。 确定终点的最短路径问题 - 与确定起点的问题相反，该问题是已知终结结点，求最短路径的问题。在无向图中该问题与确定起点的问题完全等同，在有向图中该问题等同于把所有路径方向反转的确定起点的问题。 确定起点终点的最短路径问题 - 即已知起点和终点，求两结点之间的最短路径。 全局最短路径问题 - 求图中所有的最短路径。 void init (){ int i, j; for (i = 1; i = n; i++) //i==j的时候也可以初始化为0，只是有时候不合适 for (j = 1; j = n; j++) mapp[i][j] = inf; } void dijk (int u){ int i, j, mins, v; for (i = 1; i = n; i++){ dist[i] = mapp[u][i]; mark[i] = false; } mark[u] = true; dist[u] = 0; while (1) { mins = inf; for (j = 1; j = n; j++) if (!mark[j] dist[j] mins) mins = dist[j], v = j; if (mins == inf) break; mark[v] = true; for (j = 1; j = n; j++) if (!mark[j] dist[v] + mapp[v][j] dist[j]) dist[j] = dist[v] + mapp[v][j]; } } bool Bellman_Ford(int s){ for(int i = 1; i = n; ++i) //初始化 dist[i] = (i == s ? 0 : INF); for(int i = 1; i = n - 1; ++i) for(int j = 1; j = edgenum; ++j) if(dist[edge[j].v] dist[edge[j].u] + edge[j].cost) {//松弛（顺序一定不能反~） dist[edge[j].v] = dist[edge[j].u] + edge[j].cost; pre[edge[j].v] = edge[j].u; } for(int i = 1; i = edgenum; ++i) if(dist[edge[i].v] dist[edge[i].u] + edge[i].cost) return 0; return 1; } 求单源最短路的SPFA算法的全称是：Shortest Path Faster Algorithm。 SPFA算法是西南交通大学段凡丁于1994年发表的. 很多时候，给定的图存在负权边，这时类似Dijkstra等算法便没有了用武之地，而Bellman-Ford算法的复杂度又过高，SPFA算法便派上用场了。 我们用数组d记录每个结点的最短路径估计值，而且用邻接表来存储图G。 我们采取的方法是动态逼近法：设立一个先进先出的队列用来保存待优化的结点，优化时每次取出队首结点u，并且用u点当前的最短路径估计值对离开u点所指向的结点v进行松弛操作，如果v点的最短路径估计值有所调整，且v点不在当前的队列中，就将v点放入队尾。 这样不断从队列中取出结点来进行松弛操作，直至队列空为止。 定理: 只要最短路径存在，上述SPFA算法必定能求出最小值。 期望的时间复杂度O(ke)， 其中k为所有顶点进队的平均次数，可以证明k一般小于等于2。 实现方法：建立一个队列，初始时队列里只有起始点，再建立一个表格记录起始点到所有点的最短路径（该表格的初始值要赋为极大值，该点到他本身的路径赋为0）。然后执行松弛操作，用队列里有的点去刷新起始点到所有点的最短路，如果刷新成功且被刷新点不在队列中则把该点加入到队列最后。 重复执行直到队列为空 判断有无负环：如果某个点进入队列的次数超过N次则存在负环（SPFA无法处理带负环的图） #define inf 0x3fffffff #define M 1005 //最大点数 struct edge{ int v, w, ne