3436: 小K的农场

3436: 小K的农场

Time Limit: 10 Sec   Memory Limit: 128 MB
Submit: 1200   Solved: 521
[ 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
样例解释
三个农场种植的数量可以为（2,2,1）

HINT

Source

Kpmcup#0 By Greens

[ Submit][ Status][ Discuss]
对于每个约束，总是可以转换成ai - bi <= ci的形式 那这就是典型的差分约束了-- 然后这题我们只需要知道其可行性 添加一个辅助点，从它到[1,n]的点都连一条权值为0的边，在这张图上用SPFA判有无负环即可 判负环的话，，SPFA写成dfs的形式比较方便

#include<iostream>
#include<cstdio>
#include<queue>
#include<vector>
#include<bitset>
#include<algorithm>
#include<cstring>
#include<map>
#include<stack>
#include<set>
#include<cmath>
#include<ext/pb_ds/priority_queue.hpp>
using namespace std;

const int maxn = 1E4 + 10;
const int INF = ~0U>>1;

struct E{
	int to,w; E(){}
	E(int to,int w): to(to),w(w){}
};

int n,m,dis[maxn];
bool vis[maxn];

vector <E> v[maxn];

bool SPFA(int x)
{
	for (int i = 0; i < v[x].size(); i++) {
		E e = v[x][i];
		if (dis[e.to] > dis[x] + e.w) {
			dis[e.to] = dis[x] + e.w;
			if (vis[e.to]) return 0;
			vis[e.to] = 1; 
			if (!SPFA(e.to)) return 0;
			vis[e.to] = 0;
		}
	}
	return 1;
}

int main()
{
	#ifdef DMC
		freopen("DMC.txt","r",stdin);
	#endif
	
	cin >> n >> m;
	for (int i = 1; i <= m; i++) {
		int typ,x,y,c;
		scanf("%d%d%d",&typ,&x,&y);
		if (typ == 1) scanf("%d",&c),v[x].push_back(E(y,-c));
		else if (typ == 2) scanf("%d",&c),v[y].push_back(E(x,c));
		else v[x].push_back(E(y,0)),v[y].push_back(E(x,0));
	}
	for (int i = 1; i <= n; i++) v[0].push_back(E(i,0)),dis[i] = INF;
	vis[0] = 1; if (!SPFA(0)) puts("No"); else puts("Yes");
	return 0;
}