AcWing 362 区间

题目描述：

给定 n 个区间 [ai,bi]和 n 个整数 ci。

你需要构造一个整数集合 Z，使得∀i∈[1,n],Z 中满足ai≤x≤bi的整数 x 不少于 ci 个。

求这样的整数集合 Z 最少包含多少个数。

输入格式

第一行包含整数 n。

接下来n行，每行包含三个整数ai,bi,ci。

输出格式

输出一个整数表示结果。

数据范围

1≤n≤50000,
0≤ai,bi≤50000,
1≤ci≤bi−ai+1

输入样例：

5
3 7 3
8 10 3
6 8 1
1 3 1
10 11 1

输出样例：

6

分析：

本题同样考察差分约束，难点在于想到用前缀和的方法去求解。题目中有两个地方可以想到需要使用前缀和，第一个地方是集合Z中在[ai,bi]中的的x不少于ci个，要求一个集合在若干个区间中数的个数，最快的方法就是使用前缀和。另一个是只要求集合在给定区间中数的个数不小于c，但是这些数的选取并不是唯一的，所以Z中具体数的值并不重要，只需要知道在每个区间内Z中元素的个数是多少，这里也暗示了使用前缀和。

设s[i]表示集合Z中有s[i]个元素是在1到i之间的，则在区间[a,b]中就存在s[b] - s[a - 1]个集合中的元素。下面将题目条件转化为差分约束的条件，首先是前缀和中默认的条件：s[i - 1] <= s[i]，另外第i个元素要么在集合中要么不在，这意味着s[i]至多比s[i - 1]多1，所以有s[i-1] >= s[i] - 1。最后需要加上题目中的约束条件，在a到b区间中出现的个数不少于c个，即s[b] - s[a - 1] >= c。

需要注意的是a和b的范围是从0开始的，为了在区间左端点等于0时使用前缀和数组不发生越界，需要将所有的区间均右移一个单位。最多有50000左右个点，上面的三类约束条件都可能出现50000来次，所以最