BZOJ 3436 小k的农场（差分约束）

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）。

对于100%的数据，1<=n,m,a,b,c<=10000

---

显然，这是个差分约束的题…对于1、2、3，三种情况分类讨论建树，然后跑一遍spfa。一定要注意判负环的时候，在这里用一个vis数组来进行判断。（思路是利用spfa跑，每次跑对vis数组内+1，如果大于n这个数，则是证明它已经形成了一个环，直接return）
判负环代码如下：

vis[u]=vis[x]+1;   //判负环 
if(vis[u]>n)   
{
    vist=1; 
    return ;
}

还有就是初始化，手残打在了scanf的前面wawawawawawawa了好多遍（满眼心酸泪）教训啊QAQ

好在最后在loi_a和小兔子学长的帮助下，最终调出来了！！！

下附代码：

#include<iostream>
#include<cstdlib>
#include<cstdio>
#include<queue>
#include<cstring>
using namespace std;
const int MAXN=20005;
struct dqs
{
    int t,c;
}hh[MAXN];
int first[MAXN],next[MAXN],d[MAXN],vist;
bool used[MAXN];
int tot=0,n,m;
void build(int f,int t,int c )
{
    hh[++tot].t =t;
    hh[tot].c =c;
    next[tot]=first[f];
    first[f]=tot;

}
int vis[MAXN];
queue <int>q;
void spfa(int s)
{
    d[s]=0;
    q.push(s);
    used[s]=1;
    while(!q.empty())
    {
        int x=q.front();
        q.pop();
        used[x]=0;
        for(int i=first[x];i;i=next[i])
        {
            int u=hh[i].t ;
            if(d[u]>d[x]+hh[i].c )
            {
                d[u]=d[x]+hh[i].c;
                if(!used[u])
                {
                    q.push(u);
                    used[u]=1;
                vis[u]=vis[x]+1;   //判负环 
                if(vis[u]>n)   
                {
                    vist=1; 
                    return ;
                }
                }
            }
        }   
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++)//初始化 
        d[i]=1000000000;
    int l,a,b,c;

    for(int i=1;i<=m;i++)
    {
        cin>>l;
        if(l==1)
        {
            scanf("%d%d%d",&a,&b,&c);
            build(a,b,-c);
        }
        if(l==2)
        {
            scanf("%d%d%d",&a,&b,&c);
            build(b,a,c);
        }
        if(l==3)
        {
            scanf("%d%d",&a,&b);
            build(a,b,0);
            build(b,a,0);
        }

    }
    for(int i=1;i<=n;i++)
    {
        if(d[i]==1000000000)
            spfa(i);
        if(vist==1)
        {
            cout<<"No";
            return 0;
        }
    }
    cout<<"Yes";
    return 0;   
}