Tarjan算法是根据栈和DFS来实现。每个点有2个数据:DFN和Low
结点1的DFN为1,Low也为1,然后DFS到3,3的DFN为2,Low为2,每次访问一个就DFN++,当访问的时候时是栈中结点时,就将Low变为那个栈中结点的DFN,这样可以保证Low与DFN不相同。如果访问不到栈中的结点,就会DFN和Low相等。例如5,6.出栈的条件就是不能继续向后访问并且DFN=Low。
5,6都出栈,到3的时候访问4,4先将DFN和Low是5,然后到4,能够访问1(栈中元素),就将Low改为1,当然,如果可以,先选择访问不在栈中结点,6已经被标记出栈,所以不再访问,4访问1完后,此时栈中有1,3,4.然后2进栈,DFN和Low为6,能够访问4,所以将Low变为5.所有元素都遍历了一遍,6是一个强连通分量,5也是,1,2,3,4是一个强连通分量。
模板:
#include<stdio.h>//此代码仅供参考,用于求一个图存在多少个强连通分量
#include<string.h>
#include<vector>
#include<algorithm>
using namespace std;
#define maxn 1000000
vector<int >mp[maxn];
int ans[maxn];
int vis[maxn];
int dfn[maxn];
int low[maxn];
int n,m,tt,cnt,sig;
void init()
{
memset(low,0,sizeof(low));
memset(dfn,0,sizeof(dfn));
memset(vis,0,sizeof(vis));
for(int i=1;i<=n;i++)mp[i].clear();
}
void Tarjan(int u)
{
vis[u]=1;
low[u]=dfn[u]=cnt++;
for(int i=0;i<mp[u].size();i++)
{
int v=mp[u][i];
if(vis[v]==0)Tarjan(v);
if(vis[v]==1)low[u]=min(low[u],low[v]);
}
if(dfn[u]==low[u])
{
sig++;
}
}
void Slove()
{
tt=-1;cnt=1;sig=0;
for(int i=1;i<=n;i++)
{
if(vis[i]==0)
{
Tarjan(i);
}
}
printf("%d\n",sig);
}