今天上午学习Tarjan求强连通分量。首先引进一个概念：搜索树。    我们在做DFS搜索时会出现一棵树，如图：搜索树中，会有许多边。其中，实线是树边，就是搜索树中子节点与父节点相连的边。稀虚线是后向边，又称返祖边，是一个点直接连向他祖宗的边。红线是后向边，是一个点直接连接他子孙的边。密虚线是横向边，就是不是以