【差分约束系统/DFS版SPFA】BZOJ3436-小K的农场

【题目大意】

总共n个农场，有以下三种描述：农场a比农场b至少多种植了c个单位的作物，农场a比农场b至多多种植了c个单位的作物，农场a与农场b种植的作物数一样多。问是否有可能性。

【思路】

农场a比农场b至少多种植了c个单位的作物：a>=b+c → b<=a-c，由a向b连一条-c的边。

农场a比农场b至多多种植了c个单位的作物：a<=b+c，由b向a连一条c的边。

农场a与农场b种植的作物数一样多：a=b → b<=a<=b，互相连一条0的边。

SPFA判断负环，要用DFS版本的来。DFS版本的直接参考了rausen学长的……真是快到飞起(；′⌒`)

#include<bits/stdc++.h>
using namespace std;
const int MAXN=10000+50;
struct edge
{
    int to,len;
};
int n,m;
vector<edge> E[MAXN];
int vis[MAXN],dis[MAXN],flag;

void addedge(int u,int v,int w)
{
    E[u].push_back((edge){v,w});
}

void init()
{
    scanf("%d%d",&n,&m);
    for (int i=1;i<=m;i++)
    {
        int op,a,b,c;
        scanf("%d",&op);
        if (op==1)//a-b>=c
        {
            scanf("%d%d%d",&a,&b,&c);
            addedge(a,b,-c);
        }
        if (op==2)
        {
            scanf("%d%d%d",&a,&b,&c);
            addedge(b,a,c);
        }
        if (op==3)
        {
            scanf("%d%d",&a,&b);
            addedge(a,b,0);addedge(b,a,0);
        }
    }
}

void spfa(int fr)
{
    if (vis[fr])
    {
        flag=1;
        return;
    }
    vis[fr]=1;
    for (int i=0;i<E[fr].size();i++)
    {
        int to=E[fr][i].to,len=E[fr][i].len;
        if (dis[fr]+len<dis[to])
        {
            dis[to]=dis[fr]+len;
            spfa(to);
            if (flag) return;
        }
    }
    vis[fr]=0;
}

void solve()
{
    memset(vis,0,sizeof(vis));
    for (int i=1;i<=n;i++)
    {
        spfa(i);
        if (flag) break;
    }
    puts(flag?"No":"Yes");
}

int main()
{
    init();
    solve();
    return 0;
}