有向图的强连通分量算法Word格式.docx
- 文档编号:22759293
- 上传时间:2023-02-05
- 格式:DOCX
- 页数:13
- 大小:19.30KB
有向图的强连通分量算法Word格式.docx
《有向图的强连通分量算法Word格式.docx》由会员分享,可在线阅读,更多相关《有向图的强连通分量算法Word格式.docx(13页珍藏版)》请在冰豆网上搜索。
这给我们提供了很好的选择,在第一次深搜遍历时,记录时间i离开的顶点j,即numb[i]=j。
那么,我们每次只需找到没有找过的顶点中具有最晚离开时间的顶点直接深搜(对于GT来说)就可以了。
每次深搜都得到一个强连通分量。
隐藏性质:
分析到这里,我们已经知道怎么求强连通分量了。
但是,大家有没有注意到我们在第二次深搜选择树的顺序有一个特点呢?
如果在看上述思路的时候,你的脑子在思考,相信你已经知道了!
!
它就是:
如果我们把求出来的每个强连通分量收缩成一个点,并且用求出每个强连通分量的顺序来标记收缩后的节点,那么这个顺序其实就是强连通分量收缩成点后形成的有向无环图的拓扑序列。
为什么呢?
首先,应该明确搜索后的图一定是有向无环图呢?
废话,如果还有环,那么环上的顶点对应的所有原来图上的顶点构成一个强连通分量,而不是构成环上那么多点对应的独自的强连通分量了。
然后就是为什么是拓扑序列,我们在改进分析的时候,不是先选的树不会连通到其他树上(对于反图GT来说),也就是后选的树没有连通到先选的树,也即先出现的强连通分量收缩的点只能指向后出现的强连通分量收缩的点。
那么拓扑序列不是理所当然的吗?
这就是Kosaraju算法的一个隐藏性质。
2.
伪代码
Kosaraju_Algorithm:
step1:
对原图G进行深度优先遍历,记录每个节点的离开时间。
step2:
选择具有最晚离开时间的顶点,对反图GT进行遍历,删除能够遍历到的顶点,这些顶点构成一个强连通分量。
step3:
如果还有顶点没有删除,继续step2,否则算法结束。
3.
实现代码:
#include
<
iostream>
using
namespace
std;
const
int
MAXN=110;
typedef
AdjTable[MAXN];
//邻接表类型
n;
bool
flag[MAXN];
//访问标志数组
belg[MAXN];
//存储强连通分量,其中belg[i]表示顶点i属于第belg[i]个强连通分量
numb[MAXN];
//结束时间标记,其中numb[i]表示离开时间为i的顶点
AdjTableadj[MAXN],radj[MAXN];
//邻接表,逆邻接表
//用于第一次深搜,求得numb[1..n]的值
void
VisitOne(int
cur,
&
sig)
{
flag[cur]=
true;
for
(
i=1;
i<
=adj[cur][0];
++i)
if
false==flag[adj[cur][i]])
VisitOne(adj[cur][i],sig);
}
numb[++sig]=cur;
//用于第二次深搜,求得belg[1..n]的值
VisitTwo(int
belg[cur]=sig;
=radj[cur][0];
false==flag[radj[cur][i]])
VisitTwo(radj[cur][i],sig);
//Kosaraju算法,返回为强连通分量个数
Kosaraju_StronglyConnectedComponent()
i,sig;
//第一次深搜
memset(flag+1,0,sizeof(bool)*n);
(sig=0,i=1;
=n;
false==flag[i])
VisitOne(i,sig);
//第二次深搜
(sig=0,i=n;
i>
0;
--i)
false==flag[numb[i]])
VisitTwo(numb[i],++sig);
return
sig;
二、
Trajan算法
算法思路:
这个算法思路不难理解,由开篇第一句话可知,任何一个强连通分量,必定是对原图的深度优先搜索树的子树。
那么其实,我们只要确定每个强连通分量的子树的根,然后根据这些根从树的最低层开始,一个一个的拿出强连通分量即可。
那么身下的问题就只剩下如何确定强连通分量的根和如何从最低层开始拿出强连通分量了。
那么如何确定强连通分量的根,在这里我们维护两个数组,一个是indx[1..n],一个是mlik[1..n],其中indx[i]表示顶点i开始访问时间,mlik[i]为与顶点i邻接的顶点未删除顶点j的mlik[j]和mlik[i]的最小值(mlik[i]初始化为indx[i])。
这样,在一次深搜的回溯过程中,如果发现mlik[i]==indx[i]那么,当前顶点就是一个强连通分量的根,为什么呢?
因为如果它不是强连通分量的跟,那么它一定是属于另一个强连通分量,而且它的根是当前顶点的祖宗,那么存在包含当前顶点的到其祖宗的回路,可知mlik[i]一定被更改为一个比indx[i]更小的值。
至于如何拿出强连通分量,这个其实很简单,如果当前节点为一个强连通分量的根,那么它的强连通分量一定是以该根为根节点的(剩下节点)子树。
在深度优先遍历的时候维护一个堆栈,每次访问一个新节点,就压入堆栈。
现在知道如何拿出了强连通分量了吧?
是的,因为这个强连通分量时最先被压人堆栈的,那么当前节点以后压入堆栈的并且仍在堆栈中的节点都属于这个强连通分量。
当然有人会问真的吗?
假设在当前节点压入堆栈以后压入并且还存在,同时它不属于该强连通分量,那么它一定属于另一个强连通分量,但当前节点是它的根的祖宗,那么这个强连通分量应该在此之前已经被拿出。
现在没有疑问了吧,那么算法介绍就完了。
伪代码:
Tarjan_Algorithm:
step1:
找一个没有被访问过的节点v,gotostep2(v)。
否则,算法结束。
step2(v):
初始化indx[v]和mlik[v]
对于v所有的邻接顶点u:
1)
如果没有访问过,则step2(u),同时维护mlik[v]
2)
如果访问过,但没有删除,维护mlik[v]
如果indx[v]==mlik[v],那么输出相应的强连通分量
实现代码
MAXN
=110;
char
NOTVIS
=0x00;
//顶点没有访问过的状态
VIS
=0x01;
//顶点访问过,但没有删除的状态
OVER
=0x02;
//顶点删除的状态
//用于标记顶点状态,状态有NOTVIS,VIS,OVER
stck[MAXN];
//堆栈,辅助作用
mlik[MAXN];
//很关键,与其邻接但未删除顶点地最小访问时间
indx[MAXN];
//顶点访问时间
AdjTableadj[MAXN];
//邻接表
//深搜过程,该算法的主体都在这里
Visit(int
sig,
scc_num)
i;
stck[++stck[0]]=cur;
flag[cur]=VIS;
mlik[cur]=indx[cur]=++sig;
(i=1;
(NOTVIS==flag[adj[cur][i]])
Visit(adj[cur][i],sig,scc_num);
(mlik[cur]>
mlik[adj[cur][i]])
mlik[cur]=mlik[adj[cur][i]];
else
(VIS==flag[adj[cur][i]])
indx[adj[cur][i]])
//该部分的indx应该是mlik,但是根据算法的属性,使用indx也可以,且时间更少
mlik[cur]=indx[adj[cur][i]];
(mlik[cur]==indx[cur])
++scc_num;
do
belg[stck[stck[0]]]=scc_num;
flag[stck[stck[0]]]=OVER;
while
(stck[stck[0]--]!
=cur);
//Tarjan算法,求解belg[1..n],且返回强连通分量个数,
Tarjan_StronglyConnectedComponent()
i,sig,scc_num;
memset(flag+1,NOTVIS,sizeof(char)*n);
sig=0;
scc_num=0;
stck[0]=0;
(NOTVIS==flag[i])
Visit(i,sig,scc_num);
scc_num;
}
三、
Gabow算法
思路分析
这个算法其实就是Tarjan算法的变异体,我们观察一下,只是它用第二个堆栈来辅助求出强连通分量的根,而不是Tarjan算法里面的indx[]和mlik[]数组。
那么,我们说一下如何使用第二个堆栈来辅助求出强连通分量的根。
我们使用类比方法,在Tarjan算法中,每次mlik[i]的修改都是由于环的出现(不然,mlik[i]的值不可能变小),每次出现环,在这个环里面只剩下一个mlik[i]没有被改变(深度最低的那个),或者全部被改变,因为那个深度最低的节点在另一个环内。
那么Gabow算法中的第二堆栈变化就是删除构成环的节点,只剩深度最低的节点,或者全部删除,这个过程是通过出栈来实现,因为深度最低的那个顶点一定比前面的先访问,那么只要出栈一直到栈顶那个顶点的访问时间不大于深度最低的那个顶点。
其中每个被弹出的节点属于同一个强连通分量。
那有人会问:
为什么弹出的都是同一个强连通分量?
因为在这个节点访问之前,能够构成强连通分量的那些节点已经被弹出了,这个对Tarjan算法有了解的都应该清楚,那么Tarjan算法中的判断根我们用什么来代替呢?
想想,其实就是看看第二个堆栈的顶元素是不是当前顶点就可以了。
现在,你应该明白其实Tarjan算法和Gabow算法其实是同一个思想的不同实现,但是,Gabow算法更精妙,时间更少(不用频繁更新mlik[])。
Gabow_Algorithm:
step1:
将v压入堆栈stk1[]和stk2[]
1)
如果没有访问过,则step2(u)
2)
如果访问过,但没有删除,维护stk2[](处理环的过程)
如果stk2[]的顶元素==v,那么输出相应的强连通分量
intm[MAXN];
//标记进入顶点时间
stk1[MAXN];
//辅助堆栈
stk2[MAXN];
intm[cur]=++sig;
stk1[++stk1[0]]=cur;
stk2[++stk2[0]]=cur;
(0==intm[adj[cur][i]])
(0==belg[adj[cur][i]])
(intm[stk2[stk2[0]]]>
intm[adj[cur][i]])
--stk2[0];
(stk2[stk2[0]]==cur)
++scc_num;
belg[stk1[stk1[0]]]=scc_num;
(stk1[stk1[0]--]!
//Gabow算法,求解belg[1..n],且返回强连通分量个数,
Gabow_StronglyConnectedComponent()
memset(belg+1,0,sizeof(int)*n);
memset(intm+1,0,sizeof(int)*n);
stk1[0]=0;
stk2[0]=0;
(0==intm[i])
四、
总结
写到这里,做一个总结:
Kosaraju算法的第二次深搜隐藏了一个拓扑性质,而Tarjan算法和Gabow算法省略了第二次深搜,所以,它们不具有拓扑性质。
Tarjan算法用堆栈和标记,Gabow用两个堆栈(其中一个堆栈的实质是代替了Tarjan算法的标记部分)来代替Kosaraju算法的第二次深搜,所以只用一次深搜,效率比Kosaraju算法高。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 连通 分量 算法