bzoj3436 小K的农场 差分约束系统

题目大意：
给定n个点，m条信息，信息分为三种：
1、a比b多至少c
2、a比b多之多c
3、a和b相等

题目分析：
差分约束系统。
差分约束系统中的一条边代表b至多比a多c。
于是我们用一下方式连边然后跑最短路即可：
1、a->b -c
2、b->a c
3，a->b 0

第一次写递归版的spfa好羞射o(>﹏<)o
代码如下：

#include <cstdio>
#define N 12000
using namespace std;
int n,m;
int fir[N],nes[N],v[N],q[N],tot=1;
int f[N];
bool vis[N],judge;
void edge(int x,int y,int z)
{
    v[++tot]=y;
    q[tot]=z;
    nes[tot]=fir[x];
    fir[x]=tot;
}
void spfa(int c)
{
    vis[c]=true;
    for(int t=fir[c];t;t=nes[t])
    {
        if(f[v[t]]>f[c]+q[t])
        {
            if(vis[v[t]]) judge=true;
            if(judge) break;
            f[v[t]]=f[c]+q[t];
            spfa(v[t]);
        }
    }
    vis[c]=false;
}
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1,x,y,opt,z;i<=m;i++)
    {
        scanf("%d",&opt);
        switch(opt)
        {
        case 1:
            scanf("%d%d%d",&x,&y,&z);
            edge(x,y,-z);
            break;
        case 2:
            scanf("%d%d%d",&x,&y,&z);
            edge(y,x,z);
            break;
        case 3:
            scanf("%d%d",&x,&y);
            edge(x,y,0);
            break;
        }
    }
    for(int i=1;i<=n;i++)
    {
        f[i]=0;
        spfa(i);
    }
    printf(judge?"No\n":"Yes\n");
    return 0;
}