【题解】洛谷P1993 小K的农场（差分约束 dfs 最短路）

做多了应该能一眼看出这道题使用差分约束解决。根据1/2/3三个序号所代表的含义建立不等式组，然后我们将符号统一成一个方向跑最短路或者最长路，这里我选择跑最短路。如果出现在图内出现负环就代表不行，而如果用bfs-spfa的话会T几个点，所以改用dfs-spfa来解决。卡着时间过去了

#include<cstdio>
#include<iostream>
#include<cstring>
#include<cstdlib>
#include<queue>
#define INF 0x3f3f3f3f
using namespace std;
const int maxn=10010;
const int maxm=200010;
int head[maxn],nnext[maxm],to[maxm],length[maxm],dis[maxn];
bool b[maxn];
int tot,n,m,s=0,t=0,num;
bool flag=false;
void add(int x,int y,int l)
{
	tot++;
	nnext[tot]=head[x];
	head[x]=tot;
	to[tot]=y;
	length[tot]=l;
}
void spfa(int x)
{
//	num=0;
//	queue<int> q;

//	dis[x]=0;	
//	q.push(x);
	b[x]=true;
//	while(!q.empty())
//	{
//		int now=q.front();
//		q.pop();
//		b[now]=false;
		for(int i=head[x];i;i=nnext[i])
		{
			int y=to[i];
			if(dis[y]>dis[x]+length[i])
			{
				dis[y]=dis[x]+length[i];
				if(b[y]==true)
				{
					cout<<"No"<<endl;
					exit(0);
				}
				spfa(y);
			}
		}
	
}
int main()
{
//	freopen("testdata.in","r",stdin);
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;i++)
	{
		int k,x,y,z;
		cin>>k;
		if(k==1)
		{
			scanf("%d %d %d",&x,&y,&z);
			add(x,y,-z);
		}
		if(k==2)
		{
			scanf("%d %d %d",&x,&y,&z);
			add(y,x,z);
		}
		if(k==3)
		{
			scanf("%d %d",&x,&y);
			add(x,y,0);
			add(y,x,0);
		}
	}
	for(int i=0;i<=n;i++)
	{
		memset(dis,INF,sizeof(dis));
		memset(b,false,sizeof(b));
		dis[i]=0;
		spfa(i);
	}
	cout<<"Yes"<<endl;
	return 0;
}