spfa判断负环

题目

给定一个 n 个点 m 条边的有向图，图中可能存在重边和自环， 边权可能为负数。

请你判断图中是否存在负权回路。

输入格式

第一行包含整数 n 和 m。

接下来 m 行每行包含三个整数 x,y,z，表示存在一条从点 x 到点 y 的有向边，边长为 z。

输出格式

如果图中存在负权回路，则输出 Yes，否则输出 No。

数据范围

1≤n≤2000,
1≤m≤100001,
图中涉及边长绝对值均不超过 10000。

输入样例：

3 3
1 2 -1
2 3 4
3 1 -4

输出样例：

Yes

题解

#include<iostream>
#include<algorithm>
#include<cstring>
#include<queue>
using namespace std;
int n,m;//点数n，边数m
const int N = 2010, M = 10010;
//邻接表
/*
 * h[N]：为节点N到其他节点数据的链表头结点
 * w[N]：存放权值，即c
 * e[N]：存放目标节点，即b
 * a：表示出发节点，也作为头结点数组h[]的索引
 * ne[N]：存放同节点到另一节点的边的地址索引
 * idx：链接w[]，e[]和ne[]，并且指示所用数组
*/
int h[N],w[M],e[M],ne[M],idx;
int dist[N];//解集
int cnt[N];//边数
bool st[N];//该节点是否在队列中

//将输入的数据a,b,c添加进邻接表
void add(int a,int b,int c){
    ne[idx]=h[a];
    h[a]=idx;
    e[idx]=b;
    w[idx]=c;
    idx++;
}

bool spfa(){
    queue<int> q;
    //将所有节点都压入队列（负环不确定在哪个位置）
    for (int i = 1; i <=n ; ++i) {
        st[i] = true;
        q.push(i);
    }

    while(q.size()){
        //取出并弹出队头，
        int t = q.front();
        q.pop();
        //st[]存储该节点是否在队列中，防止队列中存储重复的点
        //将取出节点的状态设置为false
        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;
                //如果边数大于n，说明有n+1个点，但只有n个点，此时确定有负环返回true；
                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);
    cin.tie(0),cout.tie(0);
    cin >> n >> m;
    int a,b,c;
    //将头结点数组都初始化为-1
    memset(h,-1,sizeof(h));
    while(m--){
        cin >> a >> b >> c;
        add(a,b,c);
    }
    if(spfa()){
        cout << "Yes" <<endl;
    }else{
        cout << "No" << endl;
    }
    return 0;
}