[图] 有向图的强连通分量-原理

geodoer

已于 2022-01-18 21:56:28 修改

阅读量9k

点赞数 3

分类专栏：数据结构与算法文章标签：图有向图强连通分量 DFS

于 2018-08-14 14:44:51 首次发布

本文链接：https://blog.csdn.net/summer_dew/article/details/81666877

版权

数据结构与算法专栏收录该内容

102 篇文章 9 订阅 ¥29.90 ¥99.00

订阅专栏

超级会员免费看

本文介绍了有向图的强连通分量概念，探讨了在有向图中如何判断强连通性，并重点讲解了Kosaraju算法在寻找强连通分量上的应用，该算法具有线性时间复杂度，显著优于暴力判断方法。此外，还提及了其他如Tarjan和Gabow等算法作为求解手段。

摘要由CSDN通过智能技术生成

原文链接：https://www.yuque.com/cppdev/algo/kxfg9o
相关链接

Kosaraju算法：https://blog.csdn.net/summer_dew/article/details/83047190

背景

【无向图】如果从s到t存在一条路径，那么我们知道从t到s也存在一条路径
【有向无环图（DAG）】如果从s到t存在一条路径，那么我们知道从t到s不存在有向路径
【问题】但是，对于一般的有向图，知道t由s可达并没有给出s是否由t可达的信息
【强连通分量的提出】为了理解有向图的结构，我们考虑强连通性（strong connectivity），它具有我们寻求的对称性。如果s和t是强连通的（顶点相互可达）–>那么根据定义，t和s也是强连通的
【如何判断有向图是不是强连通】暴力判断：判断任意两个顶点s，t，看从s是否可以到t，从t是否可以到s。这个算法易于描述和实现，但需要代价很大
【现代算法设计的胜利】现代算法设计能在线性时间内找出任何图的强分量，它要比蛮力算法快V倍。对于100个顶点，这些算法将比蛮力算法快100倍；对于1000个顶点，这些算法比蛮力算法块1000倍