如果两个顶点可以相互通达,则称两个顶点
强连通
(strongly connected)。如果
有向图
G的每两个顶点都
强连通
,称G是一个
强连通图
。
强连通图
有向图的极大强连通子图,称为
强连通分量
(strongly connected components)。
Tarjan算法是用来求有向图的强连通分量的。求有向图的强连通分量的Tarjan算法是以其发明者Robert Tarjan命名的。Robert Tarjan还发明了求
双连通分量
的Tarjan算法。
接下来是对算法流程的演示。
返回节点3,继续搜索到节点4,把4加入
堆栈
。发现节点4向节点1有后向边,节点1还在栈中,所以LOW[4]=1。节点6已经出栈,(4,6)是横叉边,返回3,(3,4)为树枝边,所以LOW[3]=LOW[4]=1。
继续回到节点1,最后访问节点2。访问边(2,4),4还在栈中,所以LOW[2]=DFN[4]=5。返回1后,发现DFN[1]=LOW[1],把栈中节点全部取出,组成一个
连通分量
{1,3,4,2}。
下面是伪代码:
tarjan(u)
{
DFN[u]=Low[u]=++Index
//为节点u设定次序编号和Low初值
Stack.push(u)
//将节点u压入栈中
for
each(u,v) in E
//枚举每一条边
if
(visnotvisted)
//如果节点v未被访问过
tarjan(v)
//继续向下找
Low[u]=min(Low[u],Low[v])
else
if
(vinS)
//如果节点v还在栈内
Low[u]=min(Low[u],DFN[v])
if
(DFN[u]==Low[u])
//如果节点u是强连通分量的根
repeat{
v=S.pop
//将v退栈,为该强连通分量中一个顶点
printv
until(u==v)
}