[POJ1201]Intervals && [POJ2983]Is the Information Reliable

[POJ1201]Intervals:

题目大意：有N个区间，起点A，终点B，要在[A，B]中选出不少于C个数，问一共最少可以选出多少个数。

解题思路：用S[I]表示前I个数一共选出了多少个数，根据题目有S[B] - S[A - 1] >= C，即S[A - 1] + C <= S[B]，所以是求一个求最长路的差分约束。除此以外，由于题目要求的是最少，所以对于数轴上的每一个点，应当有边E[I][I + 1] = 0，E[I + 1][I] = -1。松弛判断：S[B] - C < S[A - 1]；

[POJ2983]Is the Information Reliable:

题目大意：给N个表达式，问是否矛盾。

解题思路：P A B X表示dis[B] + x = dis[A]， 则得到不等式dis[B] + x <= dis[A]，dis[B] + x >= dis[A]；V A B则可以表示dis[B] + 1 <= dis[A]；松弛判断：dis[A] - x < dis[B]；

总结：

1、若跟据题目可以得到一组形如V[A] + D[A][B] <= V[B]，V[B] + D[B][C] <= V[C] 的不等式，则用最短路可解。

2、差分约束系统矛盾的充分必要条件是最短路SPFA存在负环。

3、差分约束的松弛跟一般的松弛有些许不一样，如1的式子，假设已知当前队首是B，一般的松弛判断是V[B] + D[B][C] <= V[C]来更新C，而差分约束中则是V[B] - D[A][B] <= V[A]。这一点应该注意。