Acwing_362区间【差分约束】

题目链接:Acwing_362区间

思路分析:

• 本题同样考察差分约束，难点在于想到用前缀和的方法去求解。题目中有两个地方可以想到需要使用前缀和，第一个地方是集合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来次，所以最多有150000左右条边。要想求集合中至少包含多少个数，只需要求s[50001]的最小值即可（这里向右偏移了1个单位，所以是50001），求不等式组解的最小值自然是求最长路了。建图时虚拟源点0到1,1到2，…都是有连边的，所以所有的点都是可达的。集合Z中最坏情况是包含了50000以内所有的点，所以一定是有解的。最后补充一句，这里的前缀和s[i]在spfa算法中也就是距离数组d。

AC代码:

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;

const int N = 50010, M = 150010;
int n;
int h[N], e[M], ne[M], idx, w[M];
int dist[N];
int q[N];
bool st[N];

void add(int a, int b, int c) {
	e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx++;
}

void spfa() {
	int hh = 0, tt = 1;
	memset(dist, -0x3f, sizeof dist);
	dist[0] = 0;
	q[0] = 0;
	st[0] = true;

	while (hh != tt) {
		int t = q[hh++];
		if (hh == N) hh = 0;
		st[t] = false;
		for (int i = h[t]; ~i; i = ne[i])
		{
			int j = e[i];
			if (dist[j] < dist[t] + w[i])
			{//求最长路
				dist[j] = dist[t] + w[i];
				if (!st[j]) {
					q[tt++] = j;
					if (tt == N) tt = 0;
					st[j] = true;
				}
			}
		}

	}
}



int main()
{
	scanf("%d", &n);
	memset(h, -1, sizeof h);
	for (int i = 1; i <= 50001; i++) {
		add(i - 1, i, 0);
		add(i, i - 1, -1);
	}

	while (n--) {
		int a, b, c;
		scanf("%d%d%d", &a, &b, &c);
		a++, b++;
		add(a - 1, b, c);
	}

	spfa();
	printf("%d", dist[50001]);
	system("pause");
	return 0;
}