tarjan算法

         在有向图G中，如果任意两点可达，那么就称图是强连通的。如果只是图的部分（或说子图）是强连通的，那么把这个子图称为一个强连通分量。tarjan算法就是来求一个有向图中的强连通分量的算法。

      首先建立一个数组dfn，做一遍dfs，按照访问的顺序依次给每个节点编号，dfn[i] = ++index。这个数组就是记录每个节点的次序的。dfn值越小的节点，说明访问的也就越早。

      第二个数据结构是low[i]。它表示i节点所能达到的节点（包括这个节点自己）中dfn的最小值。

      第三个数据结构是栈。每次遇到一个节点就入栈，当求出了某个强连通分量后就出栈。

      如果发现某节点u有边连到栈里的节点v，则更新u的low 值为min(low[u],dfn[v]) ，若low[u]被更新为dfn[v],则表明目前发现u可达的最早的节点是v。