1、强连通:如果两个顶点u和v之间有u到v的路径,也有v到u的路径,则说明u和v强连通;
2、强连通图:有向图G中任何两个点之间都是强连通的;
3、强连通分量:有向非强连通图的极大联通子图称为强连通分量;
4、极大强连通子图:G是一个极大强连通子图,当且仅当G是一个强连通子图,且不存在另一个强连通子图G‘使得G是G’的真子集。
一、kosaraju算法
思路:(基于两次dfs有向连通子图的算法)
1、对原有的tu进行dfs,得到访问顺序d[i];
2、选择最晚访问完的顶点,对反向图进行dfs,删除能够遍历到的顶点;
3、如果还有顶点没有删除,进行第二部,直到删除完毕,算法结束;
void dfs1(int x)
{
vis[x]=1;
for(int i=1;i<=n;i++)
if(vis[i]==0&&mp[x][i]) dfs1(i);
d[++t]=x;
}
void dfs2(int x)
{
vis[x]=t;
for(int i=1;i<=n;i++)
if(vis[i]==0&&mp[i][x])dfs2(i);
}
void kosaraju()
{
int i,t=0;
for(i=1;i<=n;i++)
if(vis[i]==0) dfs1(i);
memset(vis,0,sizeof(vis));
t=0;
for(i=n;i>=1;i--)
if(vis[d[i]]==0) dfs2(d[i]);
}
二、Tarjan算法(有向图的缩点)
1、内容:Tarjan算法是基于对图深度优先搜索的算法,每个强连通分量为搜索树中的一棵子树。搜索时,把当前搜索树中未处理的节点加入一个堆栈,回溯时可以判断栈顶到栈中的节点是否为一个强连通分量。
2、主要过程:
(1)每个点都有两个参数:DFN[ ],表示搜索次序编号,就是第几次被搜索到(时间截)
LOW[ ],表示每个节点在这个树中最小子树的根(即为u或者u的子树能回溯到的最早的栈中的节点)。
(2)搜索过程:
A、数组初始化:每次搜索到节点U时,DFN(u)为结点u的搜索次序编号
B、堆栈:将u入栈
C、更新Low(u):如果(u,v)中v不在栈中,Low(u)=min(Low(u),Low(v));
如果(u,v)为后向边(与dfs方向相反)或者横向边(v在栈中),Low(u)=min(Low(u),DFN(v));
D、全部遍历完成后,如果Low(u)==DFN(u),则将栈中节点全部弹出,这些元素构成一个强连通分量。
void Tarjan(int u)
{
dfn[u]=low[u]=++num;
st[++top]=u; //u入栈
for(int i=fir[u];i;i=nxt[i]) //枚举每一条边
{
int v=to[i];
if(!dfn[v]) //未被访问过 ,继续寻找
{
Tarjan(v);
low[u]=min(low[u],low[v]);
}
else if(!co[v]) //v还在栈内,v不属于任何连通分量
low[u]=min(low[u],dfn(v));
}
if(low[u]==dfn[u])
{
co[u]=++col;
while(st[top]!=u)
{
co[st[top]]=col; //将st[top]退栈,将这个环上的点统一
--top;
}
--top;
}
}
参考文章:https://blog.csdn.net/qq_34374664/article/details/77488976