强连通分量Tarjan算法.pdf

强连通分量 有向图强连通分量的 Tarjan 算法 [有向图强连通分量] 在有向图 G 中，如果两个顶点间至少存在一条路径，称两个顶点强连通(strongly connected)。如果有向图 G 的每两个顶点都强连通，称 G 是一个强连通图。非 强连通图有向图的极大强连通子图，称为强连通分量(strongly connected components)。 下图中，子图{1,2,3,4}为一个强连通分量，因为顶点 1,2,3,4 两两可达。{5},{6} 也分别是两个强连通分量。 直接根据定义，用双向遍历取交集的方法求强连通分量，时间复杂度为 O(N^2+M)。更好的方法是 Kosaraju 算法或 Tarjan 算法，两者的时间复杂度 都是 O(N+M)。本文介绍的是 Tarjan 算法。 [Tarjan 算法] Tarjan 算法是基于对图深度优先搜索的算法，每个强连通分量为搜索树中的一 棵子树。搜索时，把当前搜索树中未处理的节点加入一个堆栈，回溯时可以判断 栈顶到栈中的节点是否为一个强连通分量。 定义 DFN(u)为节点 u 搜索的次序编号(时间戳)，Low(u)为 u 或 u 的子树能够追 溯到的最早的栈中节点的次序号。由定义可以得出， Low(u)=Min { DFN(u), Low(v),(u,v)为树枝边，u 为 v 的父节点 DFN(v),(u,v)为指向栈中节点的后向边(非横叉边) } 当 DFN(u)=Low(u)时，以 u 为根的搜索子树上所有节点是一个强连通分量。 算法伪代码 tarjan (u) { DFN [u]=Low [u]=++Index // 为节点 u设定次序编号和 Low初值 Stack.push (u ) // 将节点 u压入栈中 for each (u, v) in E // 枚举每一条边 if (v is not visted) // 如果节点 v未被访问过 tarjan (v) // 继续向下找 Low [u] = min (Low [u], Low[v]) else if (v in S) // 如果节点 v还在栈内 Low [u] = min (Low [u], DFN[v]) if (DFN [u] == Low [u]) // 如果节点 u是强连通分量的根 repeat v = S.pop // v退栈，为强连通分量中一个顶点 print v until (u== v) } 算法流程演示 从节点 1 开始 DFS，把遍历到的节点加入栈中。搜索到节点 u=6 时， DFN[6]=LOW[6]，找到了一个强连通分量。退栈到 u=v 为止，{6}为一个强连通 分量。 返回节点 5，发现 DFN[5]=LOW[5]，退栈后{5}为一个强连通分量。 返回节点 3，继续搜索到节点 4，把 4 加入堆栈。发现节点 4 向节点 1 有后向边， 节点 1 还在栈中，所以 LOW[4]=1。节点 6 已经出栈，(4,6)是横叉边，返回 3， (3,4)为树枝边，所以 LOW[3]=LOW[4]=1。