洛谷P1993 小K的农场 差分约束

题目链接：https://www.luogu.com.cn/problem/P1993

这题要用到差分约束，不会差分约束的同学看一下这篇博客
那么会差分约束的同学应该都知道我们要先找差分约束条件，并把所有条件根据具体情况转化成同一边（即都是大于等于或者都是小于等于），然后根据题目找最大路或者最短路或者判环即可。这题是判断差分约束系统是否有解，那么就是找这张图是否有环，spfa找最长路最短路都可以，这里博主是用spfa找最短路（即把所有条件转化成小于等于）。

这题一共三种情况。
情况一
农场a比农场b至少多种植c单位作物，即 a-b>=c 这里转化成 b-a<=-c。
情况二
农场a比农场b至多多种值c单位作物，即a-b<=c。
情况三
农场a与农场b的作物一样多，即 0<=a-b<=0,这里转化成两个条件 a-b<=0,b-a<=0。
之后根据条件连边作图，这里可能有好几个连通块，所以添加一个超级源点保证超级源点与所有点相连，这样就可以一次spfa搜完所有点了（打标记多次spfa也是可以的），最后从超级源点开始，用 dfs优化spfa 搜最短路，找负环即可（朴素spfa会TLE，因为有负环会提高时间复杂度至O(nm)）。
代码如下

#include <bits/stdc++.h>
using namespace std;
const int maxn=1e4+5;
const int maxm=5e4+5;
const int inf=0x7fffffff;
struct node//前向星
{
    int to,next,value;
}p[maxm];
int cnt;
int head[maxn];
void add(int x,int y,int c)//加边
{
    p[++cnt].next=head[x];
    p[cnt].to=y;
    head[x]=cnt;
    p[cnt].value=c;
}
bool vis[maxn],inque[maxn];
int dis[maxn];
int n,m,opt,a,b,c;
bool spfa(int u)//dfs优化spfa
{
    inque[u]=true;//放入队列
    for(int i=head[u];i;i=p[i].next)
    {
        int v=p[i].to;
        int c=p[i].value;
        if(dis[v]>dis[u]+c)
        {
            if(inque[v])//之前已在队列中，又搜到且比之前小，存在负环
            return false;
            dis[v]=dis[u]+c;
            if(!spfa(v))//一路递归回去
            return false;
        }
    }
    inque[u]=false;//从队列里拿出来
    return true;
}
int main()
{
    scanf("%d %d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        scanf("%d",&opt);
        if(opt==1)//三种情况
        {
            scanf("%d %d %d",&a,&b,&c);
            add(a,b,-c);
        }
        if(opt==2)
        {
            scanf("%d %d %d",&a,&b,&c);
            add(b,a,c);
        }
        if(opt==3)
        {
            scanf("%d %d",&a,&b);
            add(a,b,0);
            add(b,a,0);
        }
    }
    for(int i=1;i<=n;i++)
    add(0,i,0),dis[i]=inf;
    if(!spfa(0))
    puts("No");
    else
    puts("Yes");
    return 0;
}