强连通分量SCC模版（LRJ）

SCC算法详解

最新推荐文章于 2024-05-12 14:48:59 发布

原创最新推荐文章于 2024-05-12 14:48:59 发布 · 1.1k 阅读

0 ·

CC 4.0 BY-SA版权

图论专栏收录该内容

114 篇文章

订阅专栏

本文介绍了一种基于深度优先搜索的强连通分量(SCC)查找算法，详细展示了如何通过预处理和递归调用确定图中的强连通分量。该算法利用了lowlink值和预处理顺序来有效地区分并找出所有强连通分量。

#include<cstdio>
#include<algorithm>
#include<vector>
#include<cstring>
#include<stack>
using namespace std;

const int maxn = 1000 + 10;
//图中节点编号从0开始，scc从1开始
vector<int> G[maxn];
int pre[maxn], lowlink[maxn], sccno[maxn], dfs_clock, scc_cnt;
stack<int> S;

void dfs(int u) {
  pre[u] = lowlink[u] = ++dfs_clock;
  S.push(u);
  for(int i = 0; i < G[u].size(); i++) {
    int v = G[u][i];
    if(!pre[v]) {
      dfs(v);
      lowlink[u] = min(lowlink[u], lowlink[v]);
    } else if(!sccno[v]) {
      lowlink[u] = min(lowlink[u], pre[v]);
    }
  }
  if(lowlink[u] == pre[u]) {
    scc_cnt++;
    for(;;) {
      int x = S.top(); S.pop();
      sccno[x] = scc_cnt;
      if(x == u) break;
    }
  }
}

void find_scc(int n) {
  dfs_clock = scc_cnt = 0;
  memset(sccno, 0, sizeof(sccno));
  memset(pre, 0, sizeof(pre));
  for(int i = 0; i < n; i++)
    if(!pre[i]) dfs(i);
}