bzoj 3436: 小K的农场（差分约束）

3436: 小K的农场

Time Limit: 10 Sec   Memory Limit: 128 MB
Submit: 1824   Solved: 810
[ Submit][ Status][ Discuss]

Description

背景

小K是个特么喜欢玩MC的孩纸。。。

描述

小K在MC里面建立很多很多的农场，总共n个，以至于他自己都忘记了每个农场中种植作物的具体数量了，他只记得一些含糊的信息（共m个），以下列三种形式描述：农场a比农场b至少多种植了c个单位的作物，农场a比农场b至多多种植了c个单位的作物，农场a与农场b种植的作物数一样多。但是，由于小K的记忆有些偏差，所以他想要知道存不存在一种情况，使得农场的种植作物数量与他记忆中的所有信息吻合。

Input

第一行包括两个整数n和m，分别表示农场数目和小K记忆中的信息的数目接下来m行：如果每行的第一个数是1，接下来有三个整数a,b,c，表示农场a比农场b至少多种植了c个单位的作物如果每行第一个数是2，接下来有三个整数a，b，c，表示农场a比农场b至多多种植了c个单位的作物如果每行第一个数是3，接下来有两个整数a,b，表示农场a种植的数量与b一样。1<=n,m,a,b,c<=10000

Output

如果存在某种情况与小K的记忆吻合，输出”Yes”，否则输出”No”

Sample Input

3 3

3 1 2

1 1 3 1

2 2 3 2

Sample Output

Yes

差分约束裸题

如果a比b多至少x，那么a到b连一条长度为-x的边

如果a比b多最多x，那么b到a连一条长度为x的边

如果a和b相等，那么相当于是上面两种的特殊情况，a到b连一条长度为0的双向边

最后如果出现负权环就是No，否则就是Yes

#include<stdio.h>
#include<vector>
#include<algorithm>
#include<queue>
using namespace std;
typedef struct
{
	int v;
	int val;
}Road;
Road temp;
vector<Road> G[10005];
queue<int> q;
int sum[10005], vis[10005], val[10005];
int main(void)
{
	int n, m, i, now, ok, opt, x, y, z;
	scanf("%d%d", &n, &m);
	for(i=1;i<=m;i++)
	{
		scanf("%d", &opt);
		if(opt==1)
		{
			scanf("%d%d%d", &x, &y, &z);
			temp.v = y, temp.val = -z;
			G[x].push_back(temp);
		}
		else if(opt==2)
		{
			scanf("%d%d%d", &x, &y, &z);
			temp.v = x, temp.val = z;
			G[y].push_back(temp);
		}
		else
		{
			scanf("%d%d", &x, &y);
			temp.val = 0, temp.v = x;
			G[y].push_back(temp);
			temp.v = y;
			G[x].push_back(temp);
		}
	}
	ok = 1;
	for(i=1;i<=n;i++)
	{
		sum[i] = 0;
		val[i] = vis[i] = 1;
		q.push(i);
	}
	while(q.empty()==0)
	{
		now = q.front();
		q.pop();
		vis[now] = 0;
		for(i=0;i<G[now].size();i++)
		{
			temp = G[now][i];
			if(val[now]+temp.val<val[temp.v])
			{
				val[temp.v] = val[now]+temp.val;
				if(sum[temp.v]++>=n)
					ok = 0;
				if(vis[temp.v]==0)
				{
					vis[temp.v] = 1;
					q.push(temp.v);
				}
				if(ok==0)
					break;
			}
		}
		if(ok==0)
			break;
	}
	if(ok)
		printf("Yes\n");
	else
		printf("No\n");
	return 0;
}