差分约束

差分约束:解决满足条件的不等式
为了保证图连通,引入附加点vs,使图中每个点vi到vs都可达,设弧<vs, vi>的权w(vs, vi)=0.
对于每个差分约束xj-xi<=bk,则弧<vj, vi>权值为bk;
初始化dis[vs]=0, dis[vi]=INF;
然后求以vs为源点的最短路径。由于存在负权值,因此可以用Spfa算法求
spfa算法:
1.将源点加入队列, dis[s]=0, 其他点为无穷大
2.将队头取出标记为front,遍历与他相邻的点x;
3.如果dis[x]>dis[front]+edge[x].value即源点到x的距离大于源点到front的距离+front到x点的距离,更新dis[x].
并且如果x不在队列中将它入队.重复步骤2
4.如果某一点出队的次数大于n-1,证明存在负环,无法计算单源最短路

你可能感兴趣的:(差分约束)