spfa 判断负环可能存在一种情况：未连通
样例：

于是导致如下代码未能全部 AC

 #include <iostream>
#include <cstring>
#include <queue>
using namespace std;
const int N = 1e5+10;
int h[N],ne[N],e[N],w[N],idx;
int dist[N],st[N],cnt[N];
typedef pair<int,int> pii;
int n,m;

void add(int a,int b,int c)
{
    e[idx] = b;
    w[idx] = c;
    ne[idx] = h[a];
    h[a] = idx++;
}

void spfa()
{
    queue<pii> q;
    dist[1] = 0;
    st[1] = 1;
    cnt[1] = 1;

    q.push({0,1});

    while(q.size())
    {
        pii t = q.front();
        int ver = q.front().second;
        if(cnt[ver]>=n)
        {
            cout << "Yes";
            return;
        }
        q.pop();
        st[ver] = 0;

        for(int i=h[ver];i!=-1;i=ne[i])
        {
            int j = e[i];

            if(dist[j] > dist[ver] + w[i])
            {
                dist[j] = dist[ver] + w[i];

                if(!st[j])
                {
                    q.push({dist[j],j});
                    st[j] = 1;
                    cnt[j] ++;
                }
            }
        }
    }
    cout << "No";

}

int main()
{
    memset(h,-1,sizeof h);
    memset(dist,0x3f,sizeof dist);

    cin >> n >> m;

    while(m--)
    {
        int a,b,c;
        cin >> a >> b >> c;
        add(a,b,c);
    }

    spfa();

    return 0;
}

这也解释了模版中需要将所有结点入队后再做松驰操作