Kasaraju算法--强连通图遍历及其python实现

在理解有向图和强连通分量前必须理解与其对应的两个概念，连通图（无向图）和连通分量。

连通图的定义是：如果一个图中的任何一个节点可以到达其他节点，那么它就是连通的。

例如以下图形：

这是最简单的一个连通图，即使它并不闭合。由于节点间的路径是没有方向的，符合从任意一个节点出发，都可以到达其他剩余的节点这一条件，那么它就是连通图了。

 

连通分量

 

显然这也是一个图，只不过是由三个子图组成而已，但这并非一个连通图。这三个子图叫做这个图的连通分量，连通分量的内部归根还是一个连通图。

 

有向图：

在连通图的基础上增加了方向，两个节点之间的路径只能有单一的方向，即要么从节点A连向节点B，要么从节点B连向节点A。有向图与连通图（更准确来说是无向图）最大的区别在于节点之间的路径是否有方向。

有向图也分两种，一种是有环路的有向图。另外一种是无环路的有向图，即通常所说的有向无环图DAG（Directed Acyclic Graph）。严格来说，第一种有环路的图，如果任