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;
}