强连通分量（kosaraju算法+Tarjian算法）

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