强连通分量、Tarjan与蝴蝶结构

1.强连通

有向图中强连通分量(stronglyconnected component)，指的就是其中的任意顶点与其它任意顶点间有双向路径。求解图中的SCC，主要的算法有Kosaraju、Gabow和Tarjan三种，且时间复杂度都是O(m+n)，其中m为图的边数，而n为图的定点数。

2.Tarjan算法

Tarjan算法基于图深度优先搜索算法，每个强连通分量为搜索树中的一颗子树。搜索时，把当前搜索树中未处理的节点加入一个对战，回溯时可以判断栈顶到栈中的某个节点是否为一个强连通分量。

算法流程：

(i):初始化数组DFN和Low，分别用来记录节点首次被访问的时间，以及可追溯的最远父节点；同时还要初始化一个堆栈S，用来保存DFS时形成的子树；时间记录time=1；

(ii):遍历图中的节点i，time加1，并将DFN[i]=time，Low[i]=time；遍历i的邻居j，对于特定的邻居j：

如果j未被访问，则跳转到ii(j)，直到j的DFS完毕，将Low[i]设为Low[i]和Low[j]中的较小值

如果j被访问过了，则将i的Low[i]设为Low[i]和DFN[j]中的较小值

(iii):如果DFN[i]==Low[i]，则i为强连通分量的根，则对S进行出栈操作，直到出栈的元素DFN和Low再次相等，即一个新的连通分量的根。

3.蝴蝶结构

图中的蝴蝶结构包括三个部分，蝴蝶的身体、翅膀和卷须(Trendil)。蝴蝶的身体是一个SCC；左边翅膀称为IN部分，该部分的特点是可以通过IN中的节点到达SCC，但是从SCC不能到达IN；右边的翅膀称为OUT部分，该部分的特点是可以通过SCC中的节点到达，但是OUT中的节点无法到达SCC；对于Trendil部分来说，是和IN和OUT连通但是和SCC不连通的部分。

利用Tarjan算法，找出SCC，然后通过SCC的节点进行BFS遍历，可以找出OUT部分，然后将图中的边进行变向后，再次使用BFS，可以找出IN部分，然后