14 最短路—Bellman-Ford算法

 贝尔曼-福特算法（Bellman-Ford）

问题背景与定义

求下图中1号顶点到2、3、4、5号顶点的最短路径。

 因为Bellman算法是使用边对所有顶点的估计值进行松弛操作，这里使用数组记录每条边的信息。

  构建最短距离上界的估计值数组

 问题求解过程

 总结：Bellman算法是对所有的边进行n-1次松弛操作，在前k个阶段结束后，就已经找出了从源点出发“最多经过k条边”达到各个顶点的最短路。直到进行完n-1个阶段后，便得到最多经过n-1条边的最短路。

 问题代码实现

#include <bits/stdc++.h>
using namespace std;

int n = 5, m = 5;

int u[5] = {2,  1, 1, 4, 3};
int v[5] = {3,  2, 5, 5, 4};
int w[5] = {2, -3, 5, 2, 3};

int main() {
	//初始化dis数组
	int f = 9999;
	int dis[6] = {0, 0, f, f, f, f};
	//松弛过程
	for (int i = 0; i < n - 1; i++) { // 点数 |V-1|
		for (int j = 0; j < m; j++) { // 边数 |E|
			dis[v[j]] = min(dis[v[j]], dis[u[j]] + w[j]);
		}
	}
	//输出结果
	for (int i = 1; i <= n; i++) {
		cout << dis[i] << " ";
	}
	return 0;
}

 注意事项：

(1) Bellman算法可以解决带有负权边的图，（该算法是使用边对所有顶点进行松弛操作，而且操作的次数为n-1，可以优化起点到最远终点的最短距离）。

(2) Bellman算法的时间复杂度为O(mn)，其中m为边的数量，n为点的数量, 主要解决单源最短距离问题（由源点都任意一点之间的最短距离）。

(3) Bellman算法可以判定是否存在环路。如果对于不存在负权回路的图进行n-1次松弛后就可以得到最短距离，后面再进行松弛，理论上不会影响所有最短距离，如果影响最短路说明存在负权回路。

int j = 0;
for (j = 0; j < m; j++) { // 边数 |E|
    if(dis[v[j]]> dis[u[j]] + w[j]) break;
}
if(j==m) cout<<"存在负权回路";
else   cout<<"不存在负权回路"