Kosaraju算法、Tarjan算法分析及证明--强连通分量的线性算法

一、背景介绍 强连通分量是有向图中的一个子图，在该子图中，所有的节点都可以沿着某条路径访问其他节点。强连通性是一种非常重要的等价抽象，因为它满足 自反性：顶点V和它本身是强连通的 对称性：如果顶点V和顶点W是强连通的，那么顶点W和顶点V也是强连通的 传递性：如果V和W是强连通的，W和X是强连通的，那么V和X也是强连通的 强连通性可以用来描述一系列属性，如自然界中物种之间的捕食关系，互相捕食的物种可

>>阅读原文<<