Tarjan算法模板+讲解(邻接表) 求强连通分量

讲解：https://blog.csdn.net/hurmishine/article/details/75248876
适用于有向图
时间复杂度:O(n+m)

#include <bits/stdc++.h>
using namespace std;
struct node
{
    int v,next;
} edge[1001];
int dfn[1001],low[1001];
int st[1001],heads[1001],vis[1001],cnt,tot,index;
void add(int x,int y)
{
    edge[++cnt].next=heads[x];
    edge[cnt].v = y;
    heads[x]=cnt;
    return ;
}
void tarjan(int x)//代表第几个点在处理。递归的是点。
{
    dfn[x]=low[x]=++tot;// 新进点的初始化。
    st[++index]=x;//进站
    vis[x]=1;//表示在栈里
    for(int i=heads[x]; i!=-1; i=edge[i].next)
    {
        if(!dfn[edge[i].v])  //如果没访问过
        {
            tarjan(edge[i].v);//往下进行延伸，开始递归
            low[x]=min(low[x],low[edge[i].v]);//递归出来，比较谁是谁的儿子／父亲，就是树的对应关系，涉及到强连通分量子树最小根的事情。
        }
        else if(vis[edge[i].v ])   //如果访问过，并且还在栈里。
        {
            low[x]=min(low[x],dfn[edge[i].v]);//比较谁是谁的儿子／父亲。就是链接对应关系
        }
    }
    if(low[x]==dfn[x]) //发现是整个强连通分量子树里的最小根。
    {
        do
        {
            printf("%d ",st[index]);
            vis[st[index]]=0;
            index--;
        }
        while(x!=st[index+1]); //出栈，并且输出。
        printf("\n");
    }
    return ;
}
int main()
{
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(st,0,sizeof(st));
    memset(vis,0,sizeof(vis));
    memset(heads,-1,sizeof(heads));
    int n,m;
    scanf("%d%d",&n,&m);
    int x,y;
    for(int i=1; i<=m; i++)
    {
        scanf("%d%d",&x,&y);
        add(x,y);
    }
    for(int i=1; i<=n; i++)
        if(!dfn[i])
            tarjan(i);//当这个点没有访问过，就从此点开始。防止图没走完
    return 0;
}