差分约束系统详解

差分约束问题

差分约束系统

给出一些形如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