ACWING 852. spfa判断负环（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

https://www.acwing.com/problem/content/854/

#include<iostream>
#include<cstring>
#include<queue>
using namespace std;
const int N=100010;
const int INF=0x3f3f3f3f;

int n,m;
int h[N], e[N], ne[N], w[N], idx=1;
int d[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++;
    return ;
}

bool spfa() {
    queue<int> q;

    for(int i=1; i<=n; i++) {
        q.push(i);
        st[i]=true;
    }

    while(q.size()) {
        int t=q.front();
        q.pop();

        st[t]=false;

        for(int i=h[t]; i; i=ne[i]) {
            int j=e[i];

            if(d[j]>d[t]+w[i]) {

                d[j]=d[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() {
    cin>>n>>m;

    for(int i=0; i<m; i++) {
        int a,b,c;
        cin>>a>>b>>c;
        add(a,b,c);
    }

    if(spfa()) cout<<"Yes\n";
    else cout<<"No\n";

    return 0;
}

手动模拟

#include<iostream>
#include<cstring>
#include<queue>
using namespace std;
const int N=2e7;
const int INF=0x3f3f3f3f;

int n,m;
int h[N], e[N], ne[N], w[N], idx=1;
int q[N], d[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++;
    return ;
}

bool spfa() {

    for(int i=1; i<=n; i++) {
        q[i-1]=i;
        st[i]=true;
    }

    int hh=0, tt=n;
    while(hh<tt) {
        int t=q[hh++];

        st[t]=false;

        for(int i=h[t]; i; i=ne[i]) {
            int j=e[i];

            if(d[j]>d[t]+w[i]) {

                d[j]=d[t]+w[i];

                cnt[j]=cnt[t]+1;
                if(cnt[j]>=n) return true;

                if(!st[j]) {
                    q[tt++]=j;
                    st[j]=true;
                }
            }
        }
    }
    return false;
}

int main() {
    cin>>n>>m;

    for(int i=0; i<m; i++) {
        int a,b,c;
        cin>>a>>b>>c;
        add(a,b,c);
    }

    if(spfa()) cout<<"Yes\n";
    else cout<<"No\n";

    return 0;
}