差分约束——种树

题目链接

差分约束——种树

题目背景

一条街的一边有几座房子，因为环保原因居民想要在路边种些树。

题目描述

路边的地区被分割成块，并被编号成 1,2,…,n。每个部分为一个单位尺寸大小并最多可种一棵树。

每个居民都想在门前种些树，并指定了三个号码 b，e，t。这三个数表示该居民想在地区 b 和 e 之间（包括 b 和 e）种至少 t 棵树。

居民们想种树的各自区域可以交叉。你的任务是求出能满足所有要求的最少的树的数量。

输入格式

输入的第一行是一个整数，代表区域的个数 n。

输入的第二行是一个整数，代表房子个数 h。

第 3 到第 (h + 2) 行，每行三个整数，第 (i + 2) 行的整数依次为 b_i,e_i,t_i，代表第 i 个居民想在 b_i 和 e_i 之间种至少 t_i 棵树。

输出格式

输出一行一个整数，代表最少的树木个数。

输入输出样例

输入

9
4
1 4 2
4 6 2
8 9 2
3 5 2

输出

5

说明/提示

数据规模与约定
对于 100% 的数据，保证：
1 ≤ n ≤ 3 × 10⁴，1 ≤ h ≤ 5 × 10³。
1 ≤ b_i ≤ e_i ≤ n，1 ≤ t_i ≤ e_i - b_i + 1。

分析

sum[e] - sum[b - 1] ≥ t，则 sum[b - 1] ≤ sum[e] - t，那么 e 到 b - 1 就可以连一条权值为 -t 的边，而 0 ≤ sum[i] - sum[i - 1] ≤ 1，则 sum[i-1] ≤ sum[i]，sum[i] ≤ sum[i - 1] + 1，那么 i 到 i - 1 就可以连一条权值为 0 的边，i - 1 到 i 就可以连一条权值为 1 的边，然后用 spfa 跑最短路即可。

#include<bits/stdc++.h>
using namespace std;
const int N=50000;
const int inf=0x3f3f3f3f;
int dis[N],n,m;
bool vis[N];

struct edge{
	int to,w,next;
}e[N*2];

int h[N],tot=0;

void add(int u,int v,int w)
{
	e[tot].w=w;
	e[tot].to=v;
	e[tot].next=h[u];
	h[u]=tot++;
}

void spfa(int k)
{
	memset(dis,inf,sizeof(dis));
	dis[k]=0;
	vis[k]=1;
	queue<int> q;
	q.push(k);
	while(!q.empty()){
		int p=q.front();
		q.pop();
		vis[p]=0;
		for(int i=h[p];i!=-1;i=e[i].next){
			int t=e[i].to;
			if(dis[t]>dis[p]+e[i].w){
				dis[t]=dis[p]+e[i].w;
				if(!vis[t]){
					q.push(t);
					vis[t]=1;
				}
			}
		}
	}
}

int main()
{
	memset(h,-1,sizeof(h));
	cin>>n>>m;
	int s=n+1;
	for(int i=0;i<=n;i++){
		add(s,i,0);
	}
	int b,e,t;
	for(int i=0;i<m;i++){
		cin>>b>>e>>t;
		add(e,b-1,-t);
	}
	for(int i=1;i<=n;i++){
		add(i,i-1,0);
		add(i-1,i,1);
	}
	spfa(s);
	printf("%d\n",-dis[0]);
	return 0;
}