Python 计算两个连通子图距离_[图论] Tarjan算法-找强连通分量

Tarjan是什么？

Tarjan算法是由Robert Tarjan发明的可以求有向图中强连通分量的算法。

Tarjan算法可以解决强连通分量、双连通分量、割点和桥、LCA等问题，这里介绍用它来找强连通分量。

有向图：由有向边构成的图，与之对应的是无向图。

强连通分量：如果两个顶点可以相互到达，则称两个顶点强连通（strongly connected）。如果有向图G的每两个顶点都强连通，则称G是一个强连通图。非强连通有向图的极大强连通子图，称为强连通分量（strongly connected components）。

算法介绍

下图中，子图[1, 2, 3, 4]为强连通分量，顶点1、2、3、4两两可达，[5]、[6]也是两个强连通分量。

在Tarjan算法中我们维护如下的变量：

vector

伪代码：

void 

C++实现

//输出强连通分量的数量及包含的点