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,
0≤ci≤bi−ai+1
输入样例：
5
3 7 3
8 10 3
6 8 1
1 3 1
10 11 1
输出样例：
6

题解：
设s[i]为集合在区间1 ~ i 中 数的个数则有以下规则：
若 取 数 i 则 s[i] = s[i-1] + 1，不取则是s[i+1] = s[i];

1. s[i] - s[i-1] <= 1即 s[i - 1] >= s[i] - 1;
2. s[i] - s[i-1] >= 0即 s[i] > s[i - 1];
3. 输入a,b,c表示 在区间[a,b]中至少有c 个数 则 s[b] - s[a - 1] >= c 即 s[b] >= s[a - 1] + c;

通过以上表达式构造有向图求得最长路即为答案。

#include<iostream>
#include<cstring>
#include<algorithm>
#include<stack>
#include<queue>
using namespace std;
typedef long long LL;
int n;

const int N = 50010;
int h[N],e[N * 3],ne[N * 3],w[N * 3],idx;
int di[N];
bool st[N];

void add(int u,int v,int w1)
{
	e[idx] = v,w[idx] = w1,ne[idx] = h[u],h[u] = idx ++;
}


bool spfa()
{
	queue<int>qu;     //如果stack 超时了,可换queue试试
	memset(di,-0x3f,sizeof di);
	qu.push(0);
	di[0] = 0;
	st[0] = true;
	while(qu.size())
	{
		int tx = qu.front();
		qu.pop();
		st[tx] = false;
		
		for(int i = h[tx];i != -1;i = ne[i])
		{
			int j = e[i];
			
			
			if(di[j] < di[tx] + w[i])
			{
				di[j] = di[tx] + w[i];
				
				
				if(!st[j])
				{
					qu.push(j);
					st[j] = true;
				}
			}
		}
	}
	return true;
	
}

int main()
{
	memset(h,-1,sizeof h);
	cin >> n;
	for(int i = 1;i < 50010;i ++) 
	{
		add(i - 1,i,0);
		add(i,i - 1,-1);
	}
	
	while(n --)
	{
		int a,b,c;
		cin >> a >> b >> c;
		a ++,b ++;
		add(a - 1,b,c);
	}
	
	spfa();
	
	cout << di[50001] << endl;
	return 0;
}