Kosaraju 求强连通分量

2022-01-26 19:34:15 阅读：157 来源： 互联网

标签：连通 color int void SCC dfs2 Kosaraju dfs 求强

感觉比 Tarjan 好写多了！虽然正确性可能不如 Tarjan 好理解。

先求出 dfs 树，然后按照出栈序倒序在反图上 dfs，每次 dfs 所有能走到的点都构成了一个强连通分量，然后将它们在图上删去。

代码（来自 oi-wiki）

时间复杂度 \(\mathcal{O}(|V|+|E|)\)．

// C++ Version
// g 是原图，g2 是反图

void dfs1(int u) {
  vis[u] = true;
  for (int v : g[u])
    if (!vis[v]) dfs1(v);
  s.push_back(u);
}

void dfs2(int u) {
  color[u] = sccCnt;
  for (int v : g2[u])
    if (!color[v]) dfs2(v);
}

void kosaraju() {
  sccCnt = 0;
  for (int i = 1; i <= n; ++i)
    if (!vis[i]) dfs1(i);
  for (int i = n; i >= 1; --i)
    if (!color[s[i]]) {
      ++sccCnt;
      dfs2(s[i]);
    }
}

正确性的话，感性理解一下：

考虑缩点后的 DAG，对于一个 SCC，显然能找到它的所有节点，证明其不会走到其它 SCC 的节点即可：

它不会走到它的前驱 SCC 以外的 SCC：因为是按照反图上没有到达其的边；
它不会走到它的前驱 SCC：因为它的前驱 SCC 出栈序比它大，已经被标记过了。

标签：连通,color,int,void,SCC,dfs2,Kosaraju,dfs,求强
来源： https://www.cnblogs.com/do-while-true/p/15847939.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

Kosaraju 求强连通分量