acwing852.spfa判断负环

给定一个n个点m条边的有向图，图中可能存在重边和自环， 边权可能为负数。请你判断图中是否存在负权回路。
输入格式
第一行包含整数n和m。
接下来m行每行包含三个整数x，y，z，表示存在一条从点x到点y的有向边，边长为z。
输出格式
如果图中存在负权回路，则输出“Yes”，否则输出“No”。
数据范围
1≤n≤2000 ,
1≤m≤10000 ,
图中涉及边长绝对值均不超过10000。
输入样例：
3 3
1 2 -1
2 3 4
3 1 -4
输出样例：
Yes

#define _CRT_SECURE_NO_WARNINGS 1
#include<iostream>
#include<cstring>
#include<algorithm>
#include<queue>
//如果1 - x 点一共有n个顶点，那么就是最多可以走n - 1条边，如果这条路上走过了n条边，理论上应该有n + 1个顶点， 
//而我们只有n个顶点，根据抽屉原理，一定有一个点走了两次，这就是出现了负环。
using namespace std;
const int N = 2010, M = 10010;
int e[N], h[N], ne[N], idx, w[N];
int dist[N], cnt[N];//cnt用来记录到达这个点时当前最短路径的边数
bool st[N];
int n, m;
void add(int x, int y, int z)
{
	e[idx] = y, w[idx] = z, ne[idx] = h[x], h[x] = idx++;
}
bool spfa()
{
	memset(dist, -1, sizeof dist);//本题可不做初始化
	queue<int>q;
	for (int i = 1; i <= n; i++)//第一次要把所有顶点全入队而不能只入队1号点，因为存在这样一种情况：存在负权回路，但是从1号点出发是到达不了的，所以要全部入队。
	{
		q.push(i);
		st[i] = true;
	}
	while (q.size())
	{
		int t = q.front();
		q.pop();
		st[t] = false;
		for (int i = h[t]; i != -1; 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;//cnt[j]=其前一个点的cnt+当前这条边即加1
				if (cnt [j]>= n) return true;
				if (!st[j])
				{
					q.push(j);
					st[j] = true;
				}
			}
		}
	}
	return false;
}
int main()
{
	cin >> n >> m;
	memset(h, -1, sizeof h);
	while (m--)
	{
		int x, y, z;
		cin >> x >> y >> z;
		add(x, y, z);
	}
	if (spfa()) printf("Yes\n");
	else printf("No\n");
	return 0;
}