HDU - 1384 (Intervals)

题意：有一个未知的集合Z，现给定 n 个 询问，每个询问给出 a,b,c 表示区间[a,b]内至少c个数在集合Z中，求满足n个询问的集合Z的最小大小；

 

分析：求最小值，设 s[i] 表示 1~i 有多少个数在集合Z中：

①根据第i个询问有：s[bi]-s[ai-1]>=ci；

②两个隐形显然条件： s[i]-s[i-1]>=0 ，s[i]-s[i-1]<=1；

把这些都转换成小于等于的形式，即：

1）s[bi]-s[ai-1]>=ci;

2）s[i]-s[i-1]>=0;

3）s[i-1]-s[i]>=-1;

就是明显的差分约束了;

 

代码：

#include<queue>
#include<vector>
#include<cstdio>
#include<cstring>
#include<iostream>
using namespace std;
const int N = 5E4+10;

struct node{
	int to,v;
	node(int _to,int _v){to=_to,v=_v;}
};
vector<node>e[N];
int dis[N],vis[N];

int SPFA(int s,int t){
	queue<int>que;
	memset(dis,-1,sizeof(dis));
	memset(vis, 0,sizeof(vis));
	dis[s]=0,vis[s]=1; 
	que.push(s);
	while(!que.empty()){
		int u=que.front(); que.pop();
		vis[u]=0;
		for(int i=0;i<e[u].size();i++){
			node now=e[u][i];
			int v=now.to,w=now.v;
			if(dis[v]<dis[u]+w){
				dis[v]=dis[u]+w;
				if(!vis[v]){
					vis[v]=1;
					que.push(v);
				}
			}
		}
	}
	return dis[t];
}

int main()
{
	int n;
	while(~scanf("%d",&n)){
		for(int i=0;i<N;i++) e[i].clear();
		int s=N,t=-1;
		for(int i=1,a,b,c;i<=n;i++){
			scanf("%d%d%d",&a,&b,&c);
			s=min(a,s),t=max(b+1,t);
			e[a].push_back(node(b+1,c));
		}
		for(int i=s;i<=t;i++){
			e[i+1].push_back(node(i,-1));
			e[i].push_back(node(i+1,0));
		}
		int ans=SPFA(s,t);
	    printf("%d\n",ans); 
	}
}