Tarjan算法模板

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);
}