[模板]负环

在博大精深的图论算法中有这样一个神奇的存在!

当我们求最短路时,往往会发现有边权为负的情况存在,这时候我们的dijksra便不能很好的胜任他的职务了。

那么伟大的spfa算法就出现了(至于同学们在刚接触这个算法的时候,一定会听到:关于SPFA,他死了,这是因为dfs优化下的spfa时间复杂度极优,亲测是dijksta的10分之1左右,但是它有着明显的缺陷,

容易被出题人的极端数据卡掉,所以我们今天讲的是常用的bfs的spfa)

我们用一个队列储存所有的点,用vis数组储存他是访问过了,剩下的就是松弛操作。

我一般爱把其写为bool类型,如果节点的访问次数>n即有负环,返回false

代码如下:

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstdlib>
#include<cstring>
#include<queue>
#define maxn 120000
using namespace std;

inline int read()
{
    char c=getchar();int re=0,f=1;
    while(‘0‘>c||c>‘9‘)
    {
        if(c==‘-‘)
        {
            f=-1;
        }
        c=getchar();
    }
    while(‘0‘<=c&&c<=‘9‘)
    {
        re=re*10+c-‘0‘;
        c=getchar();
    }
    return re*f;
}

int head[maxn],n,m,cnt;
int vis[maxn],dis[maxn],num[maxn];

struct node
{
    int next,to,w;
}e[maxn];

inline void add(int x,int y,int z)
{
    e[++cnt].to=y;
    e[cnt].w=z;
    e[cnt].next=head[x];
    head[x]=cnt;
}

bool spfa(int s)
{
    memset(vis,0,sizeof(vis));
    memset(dis,0x3f3f3f3f,sizeof(dis));
    memset(num,0,sizeof(num));
    queue<int> q;
    q.push(s);
    vis[s]=1;
    dis[s]=0;

    while(!q.empty())
    {
        int u=q.front();
        q.pop();
        vis[u]=0;
        //if(num[u]>=n)return 1;
        for(int i=head[u];i;i=e[i].next)
        {
            int v=e[i].to;
            int w=e[i].w;
            if(dis[v]>dis[u]+w)
            {
                dis[v]=dis[u]+w;
                if(!vis[v])
                {
                    q.push(v);
                    vis[v]=1;
                    ++num[v];
                    if(num[v]>n)
                    {
                        return 1;
                    }
                }

            }
        }
    }
    return 0;
}

int main()
{
    int t=read();
    while(t--)
    {
        n=read(),m=read();
        memset(head,0,sizeof(head));
        cnt=0;
        for(int i=1;i<=m;i++)
        {
            int x,y,z;
            x=read(),y=read(),z=read();
            if(z>=0)
            {
                add(x,y,z);
                add(y,x,z);
            }
            else
            {
                add(x,y,z);
            }

        }
        if(spfa(1))
            {
            cout<<"YE5"<<endl;
        }
        else{
            cout<<"N0"<<endl;
        }
    }
    return 0;
}

但是在题目中没有强调负边权的情况下,我们还是要用堆优化的dijksta啊!

——2021届董驰原

原文地址:https://www.cnblogs.com/btjzoi/p/11824178.html

时间: 2024-10-29 05:18:16

[模板]负环的相关文章

【洛谷P3385】模板-负环

这道题普通的bfs spfa或者ballen ford会T 所以我们使用dfs spfa 原因在于,bfs sfpa中每个节点的入队次数不定,退出操作不及时,而dfs则不会 既然,我们需要找负环,那么我们不妨将dis数组初始化为0,以每个点为起点进行dfs spfa 这样第一次扩展到的只有边权为负的边,之后若再次走到以访问过的点一定是负权回路 记得每次更换起点时清零vis数组 1 #include<cstdio> 2 #include<cstring> 3 #include<

洛谷P3385 【模板】负环 DFS-SPFA 判负环 图论

洛谷P3385 [模板]负环 图论 今天get了 一个 DFS-SPFA 判负环的方法 一般的 BFS-SPFA 判负环 一般就是 不停地做,如果某点第 n+1次加入队列中,那么说明这个图存在负环然而我并不会证明,期望复杂度是 O(kM) k 大约是在 2 左右 但是其实对于一些极限数据,最坏可以把他卡到 O( NM) 额,这就直接炸飞了是不是,而且据说,一些数据比较强的题目,总会想到卡一卡SPFA的, 然后我们换一种思路 因为题目中一定存在一种 负环对吧,所以说假如你某段路径权值和为自然数的时

【模板】负环(spfa)

洛谷——P3385 [模板]负环 题目描述 暴力枚举/SPFA/Bellman-ford/奇怪的贪心/超神搜索 输入输出格式 输入格式: 第一行一个正整数T表示数据组数,对于每组数据: 第一行两个正整数N M,表示图有N个顶点,M条边 接下来M行,每行三个整数a b w,表示a->b有一条权值为w的边(若w<0则为单向,否则双向) 输出格式: 共T行.对于每组数据,存在负环则输出一行"YE5"(不含引号),否则输出一行"N0"(不含引号). 输入输出样例

洛谷—— P3385 【模板】负环

题目描述 暴力枚举/SPFA/Bellman-ford/奇怪的贪心/超神搜索 输入输出格式 输入格式: 第一行一个正整数T表示数据组数,对于每组数据: 第一行两个正整数N M,表示图有N个顶点,M条边 接下来M行,每行三个整数a b w,表示a->b有一条权值为w的边(若w<0则为单向,否则双向) 输出格式: 共T行.对于每组数据,存在负环则输出一行"YE5"(不含引号),否则输出一行"N0"(不含引号). 输入输出样例 输入样例#1: 2 3 4 1

【模板】负环

[模板]负环 题目描述 暴力枚举/SPFA/Bellman-ford/奇怪的贪心/超神搜索 输入输出格式 输入格式: 第一行一个正整数T表示数据组数,对于每组数据: 第一行两个正整数N M,表示图有N个顶点,M条边 接下来M行,每行三个整数a b w,表示a->b有一条权值为w的边(若w<0则为单向,否则双向) 输出格式: 共T行.对于每组数据,存在负环则输出一行"YE5"(不含引号),否则输出一行"N0"(不含引号). 输入输出样例 输入样例#1: 2

「P3385」【模板】负环(spfa

题目描述 暴力枚举/SPFA/Bellman-ford/奇怪的贪心/超神搜索 输入输出格式 输入格式: 第一行一个正整数T表示数据组数,对于每组数据: 第一行两个正整数N M,表示图有N个顶点,M条边 接下来M行,每行三个整数a b w,表示a->b有一条权值为w的边(若w<0则为单向,否则双向) 输出格式: 共T行.对于每组数据,存在负环则输出一行"YE5"(不含引号),否则输出一行"N0"(不含引号). 输入输出样例 输入样例#1: 复制 2 3 4

[USACO06DEC]虫洞Wormholes (负环模板)

题意::问一个图是否存在负环,虫洞一边的权值为负 思路: dfs版spfa判环根据:若一个节点出现2次及以上,则存在负环.(你可以假想一下,当一个点被搜过时,再次深搜的话还能搜索到那不就说明存在负环嘛可能解释的不好,请见谅) {补充bfs版本:若一个节点入队列的次数超过n,则存在负环.} 如果是bfs来实现的话,果断到达上限(T-L-E),而dfs版的话,就相对快一些. 对于本题的强大数据来说,还需加入一定的优化: 由于是负环,所以无需像一般的spfa一样初始化为极大的数,只需要初始化为0就够了

【无聊放个模板系列】洛谷 负环 模板

还有这样ws卡bfs-spfa判负环的也是醉 1 #include<cstdio> 2 #include<cstdlib> 3 #include<cstring> 4 #include<iostream> 5 #include<algorithm> 6 #include<queue> 7 #include<cmath> 8 #include<stack> 9 using namespace std; 10 #d

POJ-3259 Wormholes(判断负环、模板)

Description While exploring his many farms, Farmer John has discovered a number of amazing wormholes. A wormhole is very peculiar because it is a one-way path that delivers you to its destination at a time that is BEFORE you entered the wormhole! Eac