网络与社会导论之强连通分量算法

    课上讲到图的强连通分量求法为双向bfs，但实际上，跑两遍bfs/dfs之后还要加入较为繁琐的判断，实际上使用起来较为繁琐，更方便使用的算法为Tarjan算法。

        Tarjan算法是基于对图深度优先搜索的算法，每个强连通分量为搜索树中的一棵子树。搜索时，把当前搜索树中未处理的节点加入一个堆栈，回溯时可以判断栈顶到栈中的节点是否为一个强连通分量。定义DFN(u)为节点u搜索的次序编号(时间戳)，Low(u)为u或u的子树能够追溯到的最早的栈中节点的次序号。由定义可以得出，当DFN(u)=Low(u)时，以u为根的搜索子树上所有节点是一个强连通分量。