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++实现
//输出强连通分量的数量及包含的点