P2294 [HNOI2005]狡猾的商人 差分约束 等于号转小于等于

这里给了m个等式，（sm[r]-s[l-1] == w）

转化为不等式： sm[r]-sm[l-1] >= w ,sm[r]-sm[l-1] <= w

即可用 差分约束判是否无解。

加一个超级源点方便处理入度不为1的情况。

 

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define ls (o<<1)
#define rs (o<<1|1)
#define pb push_back
const double PI= acos(-1.0);
const int M = 2e3+7;

int head[M],cnt=1;
void init(){cnt=1,memset(head,0,sizeof(head));}
struct EDGE{int to,nxt,w;}ee[M*2];
void add(int x,int y,int w){ee[++cnt].nxt=head[x],ee[cnt].w=w,ee[cnt].to=y,head[x]=cnt;}

int d[M],vs[M],nm[M];
int n,m;
bool spfa()
{
	memset(d,0x3f,sizeof(d));
	memset(nm,0,sizeof(nm));
	memset(vs,0,sizeof(vs));
	queue<int>q;
	q.push(0);
	d[0]=0;vs[0]=1;
	while(q.size())
	{
		int x=q.front();q.pop();
		vs[x]=0;
		for(int i=head[x];i;i=ee[i].nxt)
		{
			int y=ee[i].to,w=ee[i].w;
	//		cout<<x<<" "<<y<<"  "<<w<<"  "<<d[x]<<"  "<<d[y]<<endl;
			if(d[y]>d[x]+w)
			{
				d[y]=d[x]+w;
				nm[y]=nm[x]+1;
				if(nm[y]>=n)return true;
				if(!vs[y])q.push(y),vs[y]=1;
			}
		}
	}
	return false;
}
int main()
{
	ios::sync_with_stdio(false);
  	cin.tie(0);
  	int t;
  	cin>>t;
  	while(t--)
	{
		cin>>n>>m;
		init();
	  	for(int i=1;i<=m;i++)
	  	{
	  		int x,y,w;
	  		cin>>x>>y>>w;
	  		y++;
	  		//y-x=c    y-x<=c y-x>=c 
	  		// y<=c+x  , x<=-c+y
	  		add(y,x,-w);
	  		add(x,y,w);
		}
		for(int i=1;i<=n+1;i++)add(0,i,0);
		if(spfa())cout<<"false"<<endl;
		else cout<<"true"<<endl;
	}
	return 0;
}