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

思路：
首先将所有区间统一向数轴右侧挪一格，方便放置超级源点。
建图方面包含一个等式和三个不等式。
$S_0=0$
$S_i>=S_{i-1}$
$S_i-S_{i-1}<=1$
$S_b>=S_a+c$

若存在边： a->b 权值为c，则表示 $a+c<=b$

#include<iostream>
#include<cstring>
#include<stack>
using namespace std;
const int N = 50005, M = 150010;
int dist[N];
int w[M], e[M], ne[M], h[N], idx = 0;
bool st[N];
void add(int a, int b, int c)
{
	w[idx] = c;
	e[idx] = b;
	ne[idx] = h[a];
	h[a] = idx++;
}
void spfa()
{
	memset(dist, -0x3f, sizeof dist);
	stack<int>stk;
	stk.push(0);
	dist[0] = 0;
	st[0] = true;
	while (!stk.empty())
	{
		int t = stk.top();
		stk.pop();
		st[t] = false;
		for (int i = h[t]; i != -1; i = ne[i])
		{
			int j = e[i];
			if (dist[j] < dist[t] + w[i])
			{
				dist[j] = dist[t] + w[i];
				if (st[j])
				{
					continue;
				}
				stk.push(j);
				st[j] = true;
			}
		}
	}
}
int main()
{
	memset(h, -1, sizeof h);
	int n;
	cin >> n;
	for (int i = 1; i < N; i++)
	{
		add(i - 1, i, 0);
		add(i, i - 1, -1);
	}
	for (int i = 0; i < n; i++)
	{
		int a, b, c;
		cin >> a >> b >> c;
		a++;
		b++;
		add(a - 1, b, c);
	}
	spfa();
	cout << dist[50001] << endl;
}