思路是差分约束+dfs版SPFA。
首先来思考差分约束的过程，将题目给出的式子进行转化：
- 农场a比农场b至少多种植了c个单位的作物，
SPFA我们考虑跑最短路，那么要让SPFA中满足的式子就是if(d[b]>d[a]-c)d[b]=d[a]-c，即让b<=a-c。
所以建一条a->b权值为-c的边，使d[b]始终满足<=d[a]-c。
- 农场a比农场b至多多种植了c个单位的作物，
同理，建一条b->a，权值为c的边。
- 农场a与农场b种植的作物数一样多。
建一条a，b间的双向边，权值为0。即建两条单向权值为0的边。
最后处理完所有条件，考虑存在整张图不连通的情况——这时候我们需要一个点能把整张图串起来，又不会影响到结果，即“超级源点”0点。
由0点向每个点建一条权值为0的边。
然后就是SPFA松弛，判负环的过程。这里用dfs版的SPFA不然会T。
代码如下：
#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
int n,m,d[],vis[],cnt[],flag;
int ver[],Next[],edge[],head[],tot;
queue<int>q;
void add(int a,int b,int c){
ver[++tot]=b;
Next[tot]=head[a];
edge[tot]=c;
head[a]=tot;
}
int spfa(int x){
vis[x]=;
for(int i=head[x];i;i=Next[i]){
int v=ver[i],z=edge[i];
if(d[v]>d[x]+z){
d[v]=d[x]+z;
if(vis[v])return ;
if(!spfa(v))return ;
}
}
vis[x]=;
return ;
}
int main()
{
scanf("%d%d",&n,&m);
for(int i=,k,a,b,c;i<=m;i++){
scanf("%d",&k);
if(k==){
scanf("%d%d%d",&a,&b,&c);
add(a,b,-c);
}
if(k==){
scanf("%d%d%d",&a,&b,&c);
add(b,a,c);
}
if(k==){
scanf("%d%d",&a,&b);
add(a,b,);
add(b,a,);
}
}
for(int i=;i<=n;i++)add(,i,);
memset(d,0x3f,sizeof(d));
d[]=;
if(!spfa())printf("No");
else printf("Yes");
return ;
}