基本思路:利用最短路中di≤dj+c(j指向i,边权为c,此指算法结束后)将求解三角不等式组转换为(单源)最短路问题
三角不等式(组): xi≤xj+ck 其中xi、xj是自变量,ck是常量
差分约束系统有如下功能:
- 求不等式组的可行解
源点需要满足条件:从原点出发,一定可以走到所有的边。故可设“超级源点”
超级源点:与每一个点相连的虚拟源点
步骤:
- 先将每个不等式xi≤xj+ck转化成一条从xj走向xi
基本思路:利用最短路中di≤dj+c(j指向i,边权为c,此指算法结束后)将求解三角不等式组转换为(单源)最短路问题
三角不等式(组): xi≤xj+ck 其中xi、xj是自变量,ck是常量
差分约束系统有如下功能:
源点需要满足条件:从原点出发,一定可以走到所有的边。故可设“超级源点”
超级源点:与每一个点相连的虚拟源点
步骤: