12
20
2015
0

【bzoi2330】【SCOI2011】糖果

2330: [SCOI2011]糖果

Time Limit: 10 Sec  Memory Limit: 128 MB
Submit: 3541  Solved: 1063
[Submit][Status][Discuss]

Description

幼儿园里有N个小朋友,lxhgww老师现在想要给这些小朋友们分配糖果,要求每个小朋友都要分到糖果。但是小朋友们也有嫉妒心,总是会提出一些要求,比如小明不希望小红分到的糖果比他的多,于是在分配糖果的时候,lxhgww需要满足小朋友们的K个要求。幼儿园的糖果总是有限的,lxhgww想知道他至少需要准备多少个糖果,才能使得每个小朋友都能够分到糖果,并且满足小朋友们所有的要求。

Input

输入的第一行是两个整数NK

接下来K行,表示这些点需要满足的关系,每行3个数字,XAB

如果X=1, 表示第A个小朋友分到的糖果必须和第B个小朋友分到的糖果一样多;

如果X=2, 表示第A个小朋友分到的糖果必须少于第B个小朋友分到的糖果

如果X=3, 表示第A个小朋友分到的糖果必须不少于第B个小朋友分到的糖果

如果X=4, 表示第A个小朋友分到的糖果必须多于第B个小朋友分到的糖果

如果X=5, 表示第A个小朋友分到的糖果必须不多于第B个小朋友分到的糖果;

Output

输出一行,表示lxhgww老师至少需要准备的糖果数,如果不能满足小朋友们的所有要求,就输出-1

Sample Input

5 7
 
1 1 2
 
2 3 2
 
4 4 1
 
3 4 5
 
5 4 5
 
2 3 5
 
4 5 1
 

Sample Output


11
 

HINT

【数据范围】

对于30%的数据,保证 N<=100

对于100%的数据,保证 N<=100000

对于所有的数据,保证 K<=100000,1<=X<=5,1<=A, B<=N

裸的差分约束系统,只是照正常的写会TLE。hzwer:有一个坑爹的点就是形成的是十万个点的一条链,如果从0到所有点顺序加边就会T,改成倒序就AC。。。

代码:

 

#include<cstdio>
using namespace std;
int n,m,opt,x,y,edgenum;
int vet[500010],next[500010],head[100010],dis[500010],q[500010],flag[500010],inq[500010],Max[500010];
long long ans;
void add(int u,int v,int w)
{
	edgenum++;
	vet[edgenum]=v;
	next[edgenum]=head[u];
	head[u]=edgenum;
	dis[edgenum]=w;
}
bool spfa()
{
	int p1=-1,p2=0;
	q[0]=0;flag[0]=1;inq[0]++;
	while (p1<p2)
	{
		p1++;
		int u=q[p1%(n+1)];
		flag[u]=0;
		for (int e=head[u];e;e=next[e])
		{
			int v=vet[e];
			if (Max[u]+dis[e]>Max[v])
			{
				Max[v]=Max[u]+dis[e];
				if (!flag[v])
				{
					p2++;
					q[p2%(n+1)]=v;
					flag[v]=1;
					inq[v]++;
					if (inq[v]>n) return 0;
				}
			}
		}
	}
	return 1;
}
int main()
{
	scanf("%d%d",&n,&m);
	for (int i=1;i<=m;i++)
	{
		scanf("%d%d%d",&opt,&x,&y);
		if (opt==1){add(x,y,0);add(y,x,0);}else
		if (opt==2){add(x,y,1);}else
		if (opt==3){add(y,x,0);}else
		if (opt==4){add(y,x,1);}else{add(x,y,0);}
	}
	for (int i=n;i>=1;i--) add(0,i,1);
	if (!spfa()){printf("-1\n");return 0;}
	for (int i=1;i<=n;i++)
		ans+=Max[i];
	printf("%lld\n",ans);
}
Category: 差分约束 | Tags:

Host by is-Programmer.com | Power by Chito 1.3.3 beta | Theme: Aeros 2.0 by TheBuckmaker.com