SPFA判负环|BFS|DFS

最新推荐文章于 2025-07-29 12:35:48 发布

ws_yzy

最新推荐文章于 2025-07-29 12:35:48 发布

阅读量6.8k

点赞数 1

分类专栏：最短路文章标签： bfs dfs spfa

最短路专栏收录该内容

7 篇文章

订阅专栏

本文详细介绍了如何使用SPFA算法的DFS和BFS两种形式来判断有向图中是否存在负环，并提供了相应的代码实现。通过检测图中是否存在负环，可以有效避免某些算法中可能产生的无限循环问题。

判断给定的有向图中是否存在负环。

利用 spfa 算法判断负环有两种方法：

1） spfa 的 dfs 形式，判断条件是存在一点在一条路径上出现多次。

2） spfa 的 bfs 形式，判断条件是存在一点入队次数大于总顶点数。

代码如下：

法 1 （spfa 的 dfs 形式）：

<span style="background-color: rgb(255, 255, 255);">#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;
 
const int oo = 1 << 30;
const int maxn = 1010;
 
struct Edge {
     int u, v, t, next;
}edge[2010];
int prev[maxn], p[maxn], d[maxn];
bool vis[maxn], flag;
int tot;
 
void addEdge(int u, int v, int t) {
     edge[tot].u = u;
     edge[tot].v = v;
     edge[tot].t = t;
     edge[tot].next = prev[u];
     prev[u] = tot ++;
}
 
void spfa(int u) {
     int v;
    
     for (int i = prev[u]; i != -1; i = edge[i].next) {
         v = edge[i].v;
 
         if (d[u] + edge[i].t < d[v]) {
             if (vis[v]) {            //存在一点在一条路径上出现多次
                 flag = true;
                 return ;
             }
             else {
                 d[v] = d[u] + edge[i].t;
                 vis[v] = true;
                 spfa(v);   
             }
         }
     }
}
 
int main() {
     //freopen("input.txt", "r", stdin);
     //freopen("output.txt", "w", stdout);
    
     int T;
     int a, b, t;
     int n, m;
 
     scanf("%d", &T);
 
     while (T --) {
         scanf("%d%d", &n, &m);
        
         memset(prev, -1, sizeof(prev));
         tot = 0;
         for (int i = 1; i <= m; i ++) {
             scanf("%d%d%d", &a, &b, &t);
             addEdge(a, b, t);
         }
        
         memset(vis, false, sizeof(vis));
         fill(d, d + n, oo);
         d[0] = 0;
        
         flag = false;
        
         spfa(0);
        
         if (flag) printf("possible\n");
         else printf("not possible\n");
     }
 
     return 0;
}</span>

法 2 （spfa 的 bfs 形式）：

<span style="background-color: rgb(255, 255, 255);">#include <iostream>
#include <cstdio>
#include <cstring>
#include <queue>
using namespace std;
 
const int oo = 1 << 30;
const int maxn = 1010;
 
struct Edge {
     int u, v, t, next;
}edge[2010];
int prev[maxn], p[maxn], d[maxn], in[maxn];
bool vis[maxn];
int tot;
queue<int> q;
 
void addEdge(int u, int v, int t) {
     edge[tot].u = u;
     edge[tot].v = v;
     edge[tot].t = t;
     edge[tot].next = prev[u];
     prev[u] = tot ++;
}
 
bool spfa(int n) {
     int u, v;
 
     while (!q.empty()) q.pop();
     memset(vis, false, sizeof(vis));
     memset(in, 0, sizeof(in));
     fill(d, d + n, oo);
    
     d[0] = 0; vis[0] = true;
     q.push(0);
    
     while (!q.empty()) {
         u = q.front();
         vis[u] = false;
         for (int i = prev[u]; i != -1; i = edge[i].next) {
             v = edge[i].v;
             if (d[u] + edge[i].t < d[v]) {
                 d[v] = d[u] + edge[i].t;
                
                 if (!vis[v]) {
                     in[v] ++;
 
                     if (in[v] > n) return true;                //存在一点入队次数大于总顶点数
 
                     vis[v] = true;
                     q.push(v);
                 }
             }
         }
        
         vis[u] = false;
         q.pop();
     }
 
     return false;
}
 
int main() {
     //freopen("input.txt", "r", stdin);
     //freopen("output.txt", "w", stdout);
    
     int T;
     int a, b, t;
     int n, m;
 
     scanf("%d", &T);
 
     while (T --) {
         scanf("%d%d", &n, &m);
        
         memset(prev, -1, sizeof(prev));
         tot = 0;
         for (int i = 1; i <= m; i ++) {
             scanf("%d%d%d", &a, &b, &t);
             addEdge(a, b, t);
         }
        
         if (spfa(n)) printf("possible\n");
         else printf("not possible\n");
     }
 
     return 0;
}</span>