VIJOS 1532 区间

描述

对于一个整数序列，给出的一个三元组[a，b，c]表示该序列在闭区间[a，b]的整数至少有c个，其中a，b，c均为整数。

题目将给出n个三元组，求同时满足这n个三元组的序列的最少元素个数是多少。如果不存在这样的满足要求的序列，则输出－1。

格式

输入格式

第一行一个整数n（n<=50000),表示区间个数。

接下来n行，每行三个整数a，b，c（0<=a<=b<=50000,1<=c<=b－a＋1），用一个空格隔开，意义如题目描述。

输出格式

一个数，即为答案

样例

样例输入

5
3 7 3
8 10 3
6 8 1
1 3 1
10 11 1

样例输出

6

限制

每个测试点1s

提示

由于官方数据不全，所以有几个点是自己做的
样例说明：
满足条件的最少元素序列：3，4，5，8，9，10
[3，7]中有3，4，5三个数
[8，10]中有8，9，10三个数
……

来源

zju

联想到前缀和

令d[i]表示从0到i选的数

那么对于[a,b,w]

d[b]-d[a-1]>=w

由此可以差分约束

另外还需要注意 0<=a<=b<=50000

若a=0

d[a-1]会越界

所以就把0-50000改成了1-50001

不但对于每一组有以上关系

而且还有其他隐含关系

d[i]>=d[i-1]+0

d[i-1]>=d[i]+(-1)   //这个一开始没想到 导致WA50

本来还建立了0到i边权0的边 0作为源点

后来一想 由于d[i]>=d[i-1]+0已经建立了 所以可以不用再建0到i的边

注意数组还要开的大一点

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<queue>
using namespace std;
const int lim=50055;
const int inf=999999999;
int d[lim<<2];
struct self{int x,y,w;}s[lim<<2];
int first[lim<<2],nxt[lim<<2];
int m,n,a,b,c,tn,x,y,w;

queue<int>q;
bool inq[lim];

void makeside(int x,int y,int w)
{
	n++;
	s[n].x=x;s[n].y=y;s[n].w=w;
	nxt[n]=first[x];first[x]=n;
}

void spfa()
{
	int a,b;
	for(a=0;a<=m+1;a++)d[a]=-inf;
	d[0]=0;
	q.push(0);
	while(!q.empty())
	{
		int u=q.front();q.pop();inq[u]=0;
		for(int e=first[u];e!=-1;e=nxt[e])
		{
			if(d[s[e].y]<d[u]+s[e].w)
			{
				d[s[e].y]=d[u]+s[e].w;
				if(!inq[s[e].y])
				{
					q.push(s[e].y);
					inq[s[e].y]=1;
				}
			}
		}
	}
	cout<<d[m+1]<<endl;
}

int main()
{
	memset(first,-1,sizeof(first));memset(nxt,-1,sizeof(nxt));
	scanf("%d",&tn);
	m=50000;
	for(a=1;a<=tn;a++)
	{
		scanf("%d%d%d",&x,&y,&w);
		x++;y++;
		m=max(m,x);m=max(m,y);
		makeside(x-1,y,w);
	}
	for(a=1;a<=m+1;a++)
	{
		//makeside(0,a,0); //不写也过  因为已经从i-1到i建立了0的边 
		makeside(a,a-1,-1);
		makeside(a-1,a,0);
	}
	spfa();
	return 0;
}