Bellman-Ford算法

最新推荐文章于 2021-03-17 13:30:02 发布

five_east_west

最新推荐文章于 2021-03-17 13:30:02 发布

阅读量103

点赞数

分类专栏：图论

本文链接：https://blog.csdn.net/five_east_west/article/details/109066338

版权

图论专栏收录该内容

6 篇文章 0 订阅

订阅专栏

如果给定一个图是一个DAG，就可以按拓扑排序给顶点编号，并利用这条递推关系式计算出d。但是，如果图中有圈，就无法依赖这样的顺序进行计算。在这种情况下，记当前顶点i的最短路长度为d[i]，并设初值 $d [s] = 0, d [i [= I N F (足够大的常数)$ ，再不断使用这条递推关系式更新d的值，就可以计算出新的d。只要图中不存在负圈，这样的更新操作就是有限的。结束之后的d就是所求的最短距离了。

// 从顶点from指向顶点to的权值为cost的边
struct edge { int from, to, cost; };

edge es[MAX_E];		// 边

int d[MAX_V];	// 最短距离
int V, E;		// V 是顶点数，E是边数

// 求解从顶点s出发到所有点的最短距离
void shortest_path(int s)
{
	for(int i=0; i < V; i++) d[i] = INF;
	d[s] = 0;
	while(true)
	{
		bool update =  false;
		for(int i=0;i<E;i++)
		{
			edge e = es[i];
			if(d[e.from] != INF && d[e.to] > d[e.from] + e.cost)
			{
				d[e.to] = d[e.from] + e.cost;
				update = true;
			}
		}
		if(!update) break;
	}
}

如果在图中不存在从s可达的负圈，那么最短路不会经过同一个顶点两次（也就是说，最多通过|V|-1条边），while(true)的循环最多执行|V|-1次，因此，复杂度是 $\times |E|)$ 。反之，如果存在从s可达的负圈，那么在第|V|次循环中也会更新d的值，因此也可以用这个性质来检查负圈。如果一开始对所有的顶点i，都把d[i]初始化为0，那么可以检查出所有的负圈。

// 如果返回true则存在负圈
bool find_negative_loop()
{
	memset(d, 0, sizeof(d));

	for(int i=0;i<V;i++)
		for(int j=0;j<E;j++)
		{
			edge e = es[j];
			if(d[e.to] > d[e.from] + e.cost)
			{
				d[e.to] = d[e.from] + e.cost;

				// 如果第n次仍然更新了，则存在负圈
				if (i == V - 1) return true;
			}		
		}
	return false;
}