一些定义

强连通:指的是在一个有向图中,任意两个节点联通。也就是从任意一个节点出发,可以到达图中任意另外的一个节点。(只有一个点的图也是强连通的)

强连通分量:图中的极大强连通子图(很大很大的强连通的子图)。每一个有向图都是由几个强连通分量组成的。

(可以想成一个强连通分量是图这个国家里面的一个城市,城市里面的节点是强连通的,而城市外面每个城市之间虽然有单向的道路,但并不强连通。一个节点也可以算作一个城市)

缩点:对于一个有向图,我们如果把里面的所有强连通分量看成是一个点的话,这个有向图就会变成一个有向无环图,也叫做DAG(环原本存在于强连通分量里边,强连通分量缩成点了,外面自然没有环了)

(这当然是可以的,如果两个强连通分量之间的边不是单向的话,那么这两个强连通分量应该会组合成为一个更大的强连通分量,所以并不存在两个强连通分量之间的边是双向的)

理解了上面的概念后,下面就开始讲算法啦(好耶

#一些算法

我们怎么找到藏在有向图里面的强连通分量呢?