这道题也是很坑的- -!模拟队列不是RE就是TLE模拟栈才对。。
题目大意:有n个区间每个区间范围为a,b,在每个区间内任选c个数,是的最后的集合内没有重复元素的集合包含最少的元素。
思路:通过这道题才算是明白怎么玩构造差分约束系统,在区间a,b的话我们如果直接add(a,b,c)的话很明显,当a=b时,没法去区分从当前点到a,还是b的问题。然后我们再看约束条件:
1、明显条件dis[b+1]-dis[a]>=c;
2、隐蔽条件 dis[i+1]-dis[i]>=0 &&dis[i+1]-dis[i]<=1.(注意区间的范围应该是有上下界的)当==0的时候为dis[i+1]=dis[i],为1的时候就是当期数和前边的一个数的距离。
(PS:用SPFA做差分约束的时候一定要栈模拟!)
#include<map>
#include<queue>
#include<cmath>
#include<iostream>
#include<cstdio>
#include<stack>
#include<cstring>
#include<algorithm>
#define inf 0x3f3f3f3f
using namespace std;
int cnt;
struct node{
int to,w,next;
}q[51010*4];
bool vis[51010];
int head[51010*4],st,en,dis[51010],n,qu[51010*4];
void bu(int a,int b,int c){
q[cnt].to=b;
q[cnt].w=c;
q[cnt].next=head[a];
head[a]=cnt++;
}
void SPFA(){
for(int i=st;i<=en;i++){
dis[i]=-inf;
vis[i]=false;
}
dis[st]=0;
vis[st]=true;
int f1;
f1=0;
qu[f1++]=st;
while(f1>0){
int u=qu[--f1];
vis[u]=false;
for(int i=head[u];~i;i=q[i].next){
int v=q[i].to;
if(dis[v]<dis[u]+q[i].w){
dis[v]=dis[u]+q[i].w;
if(!vis[v]){
vis[v]=true;
qu[f1++]=v;
}
}
}
}
}
int main(){
int m,i,j,k,nu;
while(~scanf("%d",&nu)){
memset(head,-1,sizeof(head));
en=-1,cnt=0;
st=inf;
for(i=0;i<nu;++i){
scanf("%d%d%d",&n,&m,&k);
st=min(st,n);
en=max(en,m+1);
bu(n,m+1,k);
}
for(i=st;i<en;++i){
bu(i,i+1,0);
bu(i+1,i,-1);
}
SPFA();
int ans=0;
//for(i=st;i<=en;i++)
//if(dis[i]<inf)
// ans+=dis[i];
printf("%d\n",dis[en]);
}
return 0;
}