[bzoj3436][差分约束]小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一样。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

HINT

样例解释
三个农场种植的数量可以为（2,2,1）

题解

差分约束一眼题
直接设d[i]为第i个农场种植的作物数
输入x,y,c（c第三种操作可以去掉）
第一种操作 d[y]≥d[x]-c 那么x~y连一条-c的边
第二种操作 d[x]≥d[y]+c 那么y~x连一条c的边
第三种操作 d[x]≥d[y] 且 d[y]≥d[x] 那么x~y和y~x都要一条权为0的边
跑最长路即可，最短路的话吧上面改一下也可以跑。。
记住判环的时候一定要break掉while

#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<algorithm>
#include<cmath>
using namespace std;
struct node
{
    int x,y,c,next;
}a[51000];int len,last[51000];
void ins(int x,int y,int c)
{
    len++;
    a[len].x=x;a[len].y=y;a[len].c=c;
    a[len].next=last[x];last[x]=len;
}
int d[51000];bool v[51000];
int sta[51000],top,ru[51000];
int n,m;
int main()
{
    scanf("%d%d",&n,&m);
    len=0;memset(last,0,sizeof(last));
    for(int i=1;i<=m;i++)
    {
        int x,y,c,op;
        scanf("%d%d%d",&op,&x,&y);
        if(op==1 || op==2)scanf("%d",&c);
        if(op==1)ins(x,y,-c);
        else if(op==2)ins(y,x,c);
        else ins(y,x,0),ins(x,y,0);
    }
    memset(d,0,sizeof(d));
    memset(ru,0,sizeof(ru));
    top=0;memset(v,true,sizeof(v));
    for(int i=1;i<=n;i++)sta[++top]=i,ru[i]++;
    bool bk=false;
    while(top)
    {
        int x=sta[top--];
        v[x]=false;
        for(int k=last[x];k;k=a[k].next)
        {
            int y=a[k].y;
            if(d[y]<d[x]+a[k].c)
            {
                d[y]=d[x]+a[k].c;
                ru[y]++;
                if(ru[y]>=n){bk=true;break;}
                if(v[y]==false)
                {
                    v[y]=true;
                    sta[++top]=y;
                }
            }
        }
        if(bk==true)break;//这里一定要break，因为上面那个break只是跳出if的。。 
    }
    if(bk==false)printf("Yes\n");
    else printf("No\n");
    return 0;
}