【差分约束系统/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=+;
 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=;i<=m;i++)
     {
         int op,a,b,c;
         scanf("%d",&op);
         if (op==)//a-b>=c
         {
             scanf("%d%d%d",&a,&b,&c);
             addedge(a,b,-c);
         }
         if (op==)
         {
             scanf("%d%d%d",&a,&b,&c);
             addedge(b,a,c);
         }
         if (op==)
         {
             scanf("%d%d",&a,&b);
             addedge(a,b,);addedge(b,a,);
         }
     }
 }

 void spfa(int fr)
 {
     if (vis[fr])
     {
         flag=;
         return;
     }
     vis[fr]=;
     for (int i=;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]=;
 }

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

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