差分约束系统详解

差分约束问题

差分约束系统

给出一些形如x-y<=b不等式的约束，问是否有满足问题的解，或者求最小，最大解。
这个问题的神奇之处是可以转化为图论的最短路问题。

原理

对于图论的最短路径，有：对于d(v) <= d(u) + w(u, v) ，而差分约束系统的解法利用到了单源最短路径问题中的三角形不等式。
移项得：d(v) – d(u) <= w(u, v)，是不是和上面的x-y<=b的一样？
是的，这就是转化为最短路径算法的原理。

建图

1.求最小解

有一个序列，题目用n个整数组合 [ai，bi，ci]来描述它，[ai，bi，ci]表示在该序列中处于[ai，bi]这个区间的整数至少有ci个。如果存在这样的序列，请求出满足题目要求的最短的序列长度是多少。

我们可以设s[i]为从[1,i]闭区间内的整数个数。那么显然对于组合[a，b，c] 我们有 s[b] – s[a-1] >= c (a-1是因为我们需要算上a）还有：0<= s[b]-s[b-1] <=1

变形得
S[b]-S[b-1] >=0
S[b-1]-S[b] >=-1

接着，对于求最小值的来说，我们用最长路来求解。为什么是最长路？一开始把距离d设为无穷小，之后最长路的更新公式为：if(d[v] < d[u]+w(u,v)) d[v]=d[u]+w(u,v); 可以看到d[v]不断的增大，即当满足条件的时候为最小的解。

所以我们在建图的时候，需要满足最长路的三角不等式： d(v) >= d(u) + w(u, v) =>d(v) – d(u) >=w(u,v) 的形式=>从u到v连接一条权重为w(u,v)的边。找出不等关系解出即可。

2.求最大解

一些母牛按升序排成一条直线。有两种要求，A和B距离(A<B)不得超过X，还有一种是C和D(C>D)距离不得少于Y，问可能的最大距离。如果没有输出-1，如果可以随便排输出-2，否则输出最大的距离。

题目按升序排，所以有：
s[i] – s[i-1] >=0
由题目的约束条件得到：
B – A <= X
D – C >= Y
因为题目求的是最大距离，故用最短路来求解
最短路三角不等式为 d(v) <= d(u) + w