spfa判断图中是否存在负环

御前带可乐侍卫

于 2024-08-18 23:40:39 发布

阅读量376

点赞数 3

文章标签：算法

本文链接：https://blog.csdn.net/2301_76861619/article/details/141306601

版权

spfa判断图中是否存在负环：

step1：

设置一个用来记录边数的数组 cnt[N] （这个数组的具体含义会在后面模拟的过程详细解释）

step2：

每有一个结点的 dist[ j ] 变小，那么 cnt[ j ] = cnt[ t ] +1

step3：

如果存在负环，那么 spfa算法 中的 q 队列永远不会为空，陷入死循环，那么总用一天 cnt[i] 会大于边数的上限 n ，那么就返回存在负环，如果循环能够退出，那么说明没有负环。

题目如下：

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

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

输入格式

第一行包含整数 n 和 m。

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

输出格式

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

数据范围

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

解答代码如下：

#include<iostream>
#include<cstring>
#include<queue>

using namespace std;

const int N = 100010;

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

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

bool spfa()
{
    //无须初始化dist数组，节省时间
    //因为本题只需要判断是否存在负环，而不是输出具体的数值
    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!= -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] == false)
                {
                    q.push(j);
                    st[j] = true;
                }
            }
        }
    }
    return false;
}
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    
    cin >> n >> m;
    memset(h,-1,sizeof(h));
    
    
    while(m--)
    {
        int a,b,c;
        cin >> a >> b >> c;
        add(a,b,c);
    }
    
    if (spfa())
    cout << "Yes" << endl;
    else
    cout << "No" << endl;
    return 0;
}