差分约束系统与最短路

　　《挑战程序设计》讲最短路的时候提到了简单的差分约束系统求解(poj 3169) , 但是没有讲清楚是怎么转化成最短路问题的.

　　有几点要搞清楚:

　　1. 边代表什么,路径代表什么;

　　　　考虑2个约束条件

　　　　(1) wi - wj <= a
　　　　(2) wj - wk <= b

　　　　那么要得到i与k的关系,根据不等式的性质 (1) + (2)得

　　　　wi - wk <= a+b (除了2个端点外的中间点都被消去了)

　　　　这个关系是通过(1)和(2)的相加关系得到的 , 因此(1)和(2)可以看作2条边 (i,j,a) 和 (j,k,b) , 一条路径就表示了段连续的相加关系.

　　　　另外 , 为了满足不等式的可加性和传递性, 必须确定并且统一好符号 , 经过统一处理后的不等式组,本质上就是一个图了.

　　2. 为什么是最短路;

　　　　现在,这些不等式组可以作为图来看,然后考虑更复杂一点的情况：

　　　　(1) wi - wj <= 3

　　　　(2) wj - wk <= 4

　　　　(3) wi - wk <= 3

　　　　如果想知道i与k的不等式关系 , 会得到2个回答 ,

　　　　wi - wk <= 7 ( (1) + (2)得到)

　　　　wi - wk <= 3

　　　　当然根据不等式的运算法则 , 最终答案是第二个 , 所以当我们需要知道两个点在整个不等式组中的关系时,需要求2点间的最短路.

转载于:https://www.cnblogs.com/eggeek/p/3538248.html

差分约束系统与最短路相关推荐

jzoj1295-设计【差分约束系统,最短路】
前言比赛时有想到是最短路,可是觉得自己的是错的就没做qwq 正题大意有n头牛,坐标分别为s1,s2,s3...sns1,s2,s3...sns_1,s_2,s_3...s_n,保证si⩽si+1 ...
【转】差分约束系统详解（转化为最短路）（概念）
---恢复内容开始--- 转自:http://www.cnblogs.com/void/archive/2011/08/26/2153928.html 差分约束系统中: 如果求未知数的最大值,那么按小 ...
【差分约束系统】【强连通分量缩点】【拓扑排序】【DAG最短路】CDOJ1638 红藕香残玉簟秋，轻解罗裳，独上兰舟。...
题意: 给定n个点(点权未知)和m条信息:u的权值>=v的权值+w 求点权的极小解和极大解(无解则输出-1) 极小解即每个点的点权可能的最小值极大解即每个点的点权可能的最大值题解: 差分约束 ...
【图论专题】差分约束系统
整理的算法模板合集: ACM模板题目列表: 题目算法 AcWing 1169. 糖果差分约束系统.超级源点.求最值 UVA1723 Intervals 差分约束.求最值 AcWing 1170. ...
差分约束系统【模板】
差分约束系统:如果一个系统由n个变量和m个约束条件组成,其中每个约束条件形如 xj - xi<= bk ( i , j ∈ [1,n],k ∈ [1,m]),则称其为差分约束系统. 例如如下的 ...
差分约束系统——建模与求解
如果一个系统由n个变量和m个约束条件组成,其中每个约束条件形如:xj-xi<=bk,其中,1<=i,j<=n, 1<=k<=m.则称其为差分约束系统(System of ...
【算法】差分约束系统
差分约束系统有两种方式可以求解,最短路和最长路.当我们把不等式整理成d[a]+w(a,b) <= d[b]时,我们求最长路.整理成d[a]+w(a,b) >= d[b]时,我们求最短路. ...
图论--差分约束系统
先上一张图,看懂了就可以走了!你学会了! 求x1-x4的最大值,由题目给的式子1,2,4可得x1-x4>=11,我们来看图中最短路,x1到X4的最短距离也是11,也就是说差分约束系统就是将给定条 ...
提高篇第三部分图论第4章差分约束系统
差分约束系统_我的ACM,我的梦!!!-CSDN博客_差分约束系统差分约束系统详解 - hr_whisper - 博客园最短路径算法:Bellman和差分约束系统_算法导论视频课程_其他视频-51 ...
图论 —— 差分约束系统
[概述] 如果一个系统由 n 个变量 m 个约束条件组成,形成 m 个形如的不等式,其中 ,k 是常数,则称这 m 个不等式为差分约束系统(system of difference constra ...

差分约束系统与最短路

差分约束系统与最短路相关推荐

最新文章

热门文章

差分约束系统 与 最短路

差分约束系统 与 最短路相关推荐

最新文章

热门文章

差分约束系统与最短路

差分约束系统与最短路相关推荐