BZOJ 3436: 小K的农场 差分约束

3436: 小K的农场

Time Limit: 10 Sec Memory Limit: 128 MB
Submit: 443 Solved: 220
[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一样多输出格式

Output

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

Sample Input

33

312

1131

2232

Sample Output

Yes

样例解释

三个农场种植的数量可以为（2,2,1）。

题解：就爱搜刮q神的姿势，这题是差分约束

/**************************************************************
Problem: 3436
User: 1085422276
Language: C++
Result: Wrong_Answer
****************************************************************/

#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<algorithm>
#include<queue>
#include<cmath>
#include<map>
using namespace std ;
typedef long long ll;
#define inf 100000
#define maxn 10000+5
inline ll read()
{
ll x=0,f=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
//******************************************************************
struct ss{
int to,v;};
vector<ss >G[maxn];
int flag=0,vis[maxn],dis[maxn];
int n,m;
void dfs(int x)
{
vis[x]=1;
for(int i=0;i<G[x].size();i++)
{
if(dis[G[x][i].to]>dis[x]+G[x][i].v)
{
if(vis[G[x][i].to])
{
flag=1;
return ;
}
dis[G[x][i].to]=dis[x]+G[x][i].v;
dfs(G[x][i].to);
// vis[G[x][i].to]=1;
}
}
vis[x]=0;
}
int main()
{

scanf("%d%d",&n,&m);
for(int i=1;i<=n;i++)
{
int t=read();
int a,b,c;
if(t==3)
{
scanf("%d%d",&a,&b);
G[a].push_back((ss){b,0});
}else if(t==1){
scanf("%d%d%d",&a,&b,&c);
G[a].push_back((ss){b,-c});
}
else {
scanf("%d%d%d",&a,&b,&c);
G[b].push_back((ss){a,c});
}
}
flag=0;
memset(dis,127,sizeof(dis));
for(int i=1;i<=n;i++){
dis[i]=0;
dfs(i);
if(flag){
cout<<"No"<<endl;return 0;
}
}
cout<<"Yes"<<endl;
return 0;
}

代码