hdu1384差分约束spfa BF优先队列优化。可解决负权负环

d[i] 表示区间 [0,i] 中包含的集合中数字的个数。
区间 [a,b] 中包含的集合中数字的个数: d[b] - d[a-1]>=c， 求最长路径
隐含条件：d[i] - d[i-1] >= 0；d[i] - d[i-1] <= 1符号不一致的，转成负边d[i-1] - d[i] >= -1再建边
d[b] - d[a-1]所以是建a-1指向b(被减数)的边

增加虚点 s ，与所有点相连，边权为0。是为了防止图不连通。
由于上面的隐含条件，此题就不需要增加了，但不增加的话需要手动把每个点入队列(不过可以省时间)。

#include<bits/stdc++.h>
#define inf 0x3f3f3f3f
using namespace std;
const int maxn=5e4+5;
int n,l,r,cnt;
int head[maxn],vis[maxn],dis[maxn];
struct edge{
	int v,w,nex;
}e[maxn*4];
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;
//原本可以在while里做，但由于没增加虚点 ，需要手动把所有点都放进队列 ，更新dis ，vis 
	for(int i=l;i<=r;i++){
		q.push(i);
		vis[i]=1;dis[i]=0;
	}
	//求最长所以dis初始化为0 
	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;
					q.push(v);
				}
			}
		}
	}
}
int main(){
	int a,b,c;
	while(~scanf("%d",&n)){
		cnt=0;l=inf;r=0; 
		memset(head,0,sizeof(head));
		memset(vis,0,sizeof(vis));
		for(int i=0;i<n;i++){
			scanf("%d%d%d",&a,&b,&c);
			adde(a-1,b,c);
			l=min(a-1,l);
			r=max(b,r);
		}
		//因为有i-1，所以i从l+1开始 
		//建减数指向被减数的边 
		for(int i=l+1;i<=r;i++){
			adde(i-1,i,0);
			adde(i,i-1,-1);
		}
		spfa();
		printf("%d\n",dis[r]); 
	}
	return 0;
}