spfa判断负环

spfa算法是基于动态规划思想的，凡是被更新过的点都会重新加入队列中

我们在更新整个图的时候，若是发现某条边出现了n次，那么至少有一个点出现了n+1次，也就是说至少存在一个环

但是存在环怎么能说明这个环就是负环呢？因为spfa算法只有在路径变短的时候才会更新，所以spfa只能在负环中打转

又因为之前我们在做spfa算法的时候仅仅就把起点入队，而起点是不一定能到达终点的，所以我们一开始就把所有点都入队，这样的话有负环就一定能判断出来

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
const int N = 10010;
int e[N],ne[N],h[N],w[N],idx;
int dist[N],st[N],cnt[N];
int n,m;
void add(int a,int b,int c)
{
	e[idx] = b,w[idx] = c,ne[idx] = h[a],h[a] = idx++;
}
int spfa()
{
	queue<int>q;
	for(int i=1;i<=n;i++)
	{
		st[i] = 1;
		q.push(i);
	} 
	
	while(q.size())
	{
		int t = q.front();
		q.pop();
		st[t] = 0;
		for(int i=h[t];~i;i=ne[i])
		{
			int j = e[i];
			if(dist[j]>dist[t]+w[i])
			{
				dist[j] = dist[t]+w[i];      
				cnt[j] = cnt[t] + 1;         //注意记录的是总点数
				if(cnt[j]>=n) return 1;
				if(!st[j])
				{
					st[j] = 1;
					q.push(j);
				}
			}
		}
	}
	return 0;
}
int main()
{
	memset(h,-1,sizeof h);
	cin>>n>>m;
	for(int i=1;i<=m;i++)
	{
		int a,b,c;
		cin>>a>>b>>c;
		add(a,b,c);
	}
	
	if(spfa()) cout<<"Yes";
	else cout<<"No";
	return 0;
}

要加油啊！！