定义：在一张有向图中，两个点可以相互到达，则称这两个点强连通；一张有向图上任意两个点可以相互到达，则称这张图为强连通图；非强连通图有极大的强连通子图，成为强联通分量。
如图，{1}，{6}分别是一个强连通分量，{2,3,4,5}是一个强连通分量。而Tarjan算法可用于求解强连通分量。
Tarjan算法：
Tarjan算法是基于深度优先搜索的算法，每个强连通分量都是搜索树中的一个子树。
实现：dfn[u]表示到u节点时的标记（时间戳），low[u]表示u所能走到的节点中，点的最小的次序号（dfn），每搜寻一个节点u，就把一个节点入栈，令dfn[u]=++it;low[u]=dfn[u]。u所连接的节点为v，若v已经被搜寻过，则low[u]=min(low[u],low[v])。若v没有被搜寻过，则dfs（v）low[u]=min(low[u],low[v])。搜寻完u所连接的所有的边后，若dfn[u]==low[u]，则u这个点是该点所在强连通分量中编号最小的点。此时栈里的u节点上面的全部为该强连通分量的节点。
第一步：
点1有一条边指向2号点，而且2号点没有被遍历，dfs(2)。
第二步
2有一条边指向3，遍历三号点。
第三步：
3指向4，dfs(4)。
第四步：
dfs(5)。
第五步：
5号点存在两条边，两条边都要遍历，假设先走到2号点的边。因为2号点已经遍历过，所以直接比较即可，这时候要更新5号点的low。
第六步：
然后遍历6号节点。
第七步：
此时6号节点无法向外扩展节点，此时dfn[6]==low[6]，因此6号节点就是一个强连通分量。弹出6号节点，回溯。此时图的遍历已经完成，所有的节点均已被打上标记。
第八步：
回溯到5号节点，low[5]!=dfn[5]，继续回溯。
第九步：
回溯到4号节点，更新4号节点的low值。
第十步：
回溯到3号节点，更新3号的low值。
第十一步：
回溯到2号节点，此时low[2]==dfn[2]，因此，栈中2号点上面的（包括2号点）全部在一个强连通分量中。将他们全部弹出。
第十二步：
回溯到1号节点，dfn[1]==low[1]，因此1号节点也是一个强连通分量。弹出。
void tarjan(int u){ dfn[u]=++it; low[u]=it; for(int i=0;i<tu[u].size();i++){ if(!in[tu[u][i]]){ in[tu[u][i]]=true; s.push(tu[u][i]); tarjan(tu[u][i]); low[u]=min(low[u],low[tu[u][i]]); } else{ low[u]=min(low[u],low[tu[u][i]]); } } if(low[u]==dfn[u]){ while(s.top()!=u){ s.pop(); } s.pop(); } }