poj 1201 (差分约束系统)

      题意：给你n条线段，形如a b c，代表起点，终点以及最少从线段上取多少个点，问你在满足所有约束条件下最多能从所有线段上取多少个点。

      分析：为了构造约束条件，首先想象有一个源点，d[x]就表示从源点到x点这个范围内取的点数，于是对每一条线段a b c，有d[b]-d[a]>=c，但后来发现这样不行，例如有1 3 3，3 5 2，按前面的构造方法求出来的解是5，但正确的解应该是4，因为线段在3点处重叠了。为了解决这个问题，可将每条线段的区间构造为左闭右开区间，即[a,b+1)，而且这样仍满足题意。但只这样的话约束条件还不够，构建的图不连通，于是还要寻找其它的约束条件。其实确实有点不好想，我也是看网上大神讲了后才知道的，题目中隐含的约束条件：在区间[i,i+1)内，最少取0个点，最多取1个点，即0<=d[i+1]-d[i]<=1，于是得到以下全部约束条件：

d[b+1]-d[a]>=c;

d[i]-d[i+1]>=-1;

d[i+1]-d[i]>=0;

      另外，读输入时，记录下出现的点里面的最小点min和最大点max，源点就设为min点。

      接下来建图求最长路就行了。输出d[max]即为解。

代码如下：

     

#include <cstdio>
#include <stack>
#include <set>
#include <iostream>
#include <string>
#include <vector>
#include <queue>
#include <functional>
#include <cstring>
#include <algorithm>
#include <cctype>
#include <string>
#include <map>
#include <iomanip>
#include <cmath>
#define LL long long
#define ULL unsigned long long
#define SZ(x) (int)x.size()
#define Lo