BellmanFord算法

算法

Bellman-Ford(G, w, s)
	for each vertex v 属于 V[G]
		d[v] = 无穷大
		p[v] = NIL
	d[s] = 0

	for i = 1 to |V[G]| - 1
		relax(u, v, w)
	for each edge(u, v)属于E[G]
		if d[v] > d[u] + w(u, v)
			return false
	
	return true

n表示图中的顶点数，m表示边数，时间复杂度为O(nm)

应用

差分约束系统

形如有多个约束
$x_j-x_i\le d_k$
对于此，可以构造表示从$x_i$到$x_j$的边，其权值为$d_k$，起始点用s表示， 其到$x_i$的权值为0，构造的图如果没有环说明有解，否则无解

实践

UVa11090 Going in Cycle!!
UVa11478 Halum