Tarjan与有向图连通性

 给定有向图$G=(V,E)$，若存在$r\in V$，满足从$r$出发能够到达$V$中所有的点，则称$G$是一个“流图”，记为$(G,r)$，其中$r$称为流图的源点。
 与无向图的深度有限遍历类似，我们也可以定义流图中的搜索树和时间戳的概念。

 流图中的每条有向边$(x,y)$必然是一下四种之一：
 1.树枝边，指搜索树中的边，即$x$是$y$的父节点
 2.前向边，指搜索树中$x$是$y$的祖先节点。
 3.后向边，指搜索树中$y$是$x$的祖先节点。
 4.横叉边，指除了以上三种情况之外的边，它一定满足$dfn[y]<dfn[x]$。
如下图所示：

有向图的强连通分量

 给定一张有向图，若对于图中任意两个节点$x,y$，既存在从$x$到$y$的路径，也存在从$y$到$x$的路径，则称该有向图是“强连通图”。
 有向图的极大连通子图被称为“强连通分量”，简记为$“SCC”$。此处的极大与双连通分量的极大的意思是一样的。

 一个“环”一定是强连通图。如果既存在从$x$到$y$的路径，也存在从$y$到$x$的路径，那么$x,y$显然在一个环中。因此，$Tarjan$算法的基本思路就是对于每个点，尽量找到与它一起能构成环的所有节点。

 其实前向边$(x,y)$没有什么用处，因为搜索树上本来就存在从$x$到$y$