hdu3592 差分约束总结spfa

差分约束可转最短(长)路径问题求。通过数形结合，不等式关系图形化(建边)。

d[v]-d[u]>=c转为  adde(u,v,c);

最短路：<=形式，求两变量  差的最大值

最长路：>=形式，求两变量  差的最小值

最后形式要统一，全为>=  或全为<=。a-b=c可转为a-b>=c,a-b<=c。a-b<c可转为a-b<=c-1

该题：-1没有  -2无限多个。d[i]为第i个人的位置，d[n]-d[1]是1~n间的距离 

#include<bits/stdc++.h>
#define inf 0x3f3f3f3f
typedef long long ll;
using namespace std;
const int maxn=1e3+5;
int n,cnt;
int head[maxn],vis[maxn],dis[maxn],used[maxn];
struct edge{
	int v,w,nex;
}e[maxn*40];
void adde(int u,int v,int w){
	e[++cnt].v=v;
	e[cnt].w=w;
	e[cnt].nex=head[u];
	head[u]=cnt;
}
void spfa(){
	queue<int> q;
	q.push(1);
	vis[1]=1;dis[1]=0;
	used[1]=1;
	while(!q.empty()){
		int u=q.front();
		q.pop();
		vis[u]=0;//q里弹出来的，要让它置0 即未访问 
		for(int i=head[u];i;i=e[i].nex){
			int v=e[i].v;
			if(dis[v]>dis[u]+e[i].w){
				dis[v]=dis[u]+e[i].w;
				if(!vis[v]){
					vis[v]=1;
					used[v]++;
					if(used[v]>n){//负环 
						printf("-1\n");
						return;
					} 
					q.push(v);
				}
			}
		}
	}
	if(dis[n]==inf)//任意大。中间断了，1无法走到n 
		printf("-2\n");
	else
		printf("%d\n",dis[n]);  
}
int main(){
	int t,x,y,a,b,c;
	cin>>t;
	while(t--){
		scanf("%d%d%d",&n,&x,&y);
		cnt=0;
		memset(head,0,sizeof(head));
		memset(vis,0,sizeof(vis));
		memset(used,0,sizeof(used));
		memset(dis,inf,sizeof(dis));//求最短路，取min 
		while(x--){
			scanf("%d%d%d",&a,&b,&c);
			adde(a,b,c);
		}
		while(y--){
			scanf("%d%d%d",&a,&b,&c);
			adde(b,a,-c);
		}
		for(int i=1;i<n;i++)//下面是i+1,所以不用取到n 
			adde(i+1,i,0);//a[i]-a[i+1]<=0 
		spfa();
	}
	return 0;
}