acwing 852 spfa判断负环

题面

题解

1. 原理：我们可以用一个cnt[t] 来记录点1 - t 经过的点数，那么每次拿t来更新其他点 j 的最小距离时，cnt[j] =cnt[t]+1 (1—>t—>j) ,那么当cnt[j]>=n,表示1-j之间（包括自己）最少有n+1个点，肯定是不合法的

2. 为什么会出现cnt[j]>=n这种情况呢，就是因为图中存在负环，每次经过负环dist都会变小，所以会一直更新，那么cnt[j]就是一直变大超出n

代码

#include<bits/stdc++.h>

using namespace std;
const int N = 1e5 + 10;

int n, m;
int h[N], e[N], w[N], ne[N], idx;
int dist[N], cnt[N];
bool st[N];

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

bool spfa() {
    //不需要初始化dist（因为这个只是需要判断dist有没有减小，存在负环的话，没循环一次都会减小）
    queue<int> q;
    //这里要把每个点都放入，因为负环有可能是1号点到达不了的
    for (int i = 1; i <= n; i++) {
        q.push(i);
        st[i] = true;
    }

    while (q.size()) {
        auto 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;
                //说明有负环
                if (cnt[j] >= n) return true;
                if (!st[j]) {
                    q.push(j);
                    st[j] = true;
                }
            }
        }
    }

    return false;

}

int main() {

    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);

    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"<<endl;
    else cout<<"No"<<endl;

    return 0;
}