tarjan--强连通分量

在有向图G中，如果两个顶点vi,vj间（vi>vj）有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量。

其寻找算法为tarjan算法

就不说我自己的理解了，先上学习链接：https://blog.csdn.net/qq_34374664/article/details/77488976

着实简单，可能图论已经快融会贯通了，一看就懂。

留一份自己写的（自认为）极其美观好看优雅大气的代码。

#include<cstdio>
#include<algorithm>
#include<cstring>
using namespace std;
#define N 1009
#define mt(x) memset(x,0,sizeof x)
struct ii
{
    int to,next;
}mp[N];
int head[N],num,vis[N];
int dfn[N],low[N],stack[N],cnt,t;
void add(int x,int y)
{
    mp[++num].to=y;
    mp[num].next=head[x];
    head[x]=num;
}
void tarjan(int x)
{
    dfn[x]=low[x]=++cnt;
    stack[++t]=x;
    vis[x]=1;
    for(int i=head[x];i;i=mp[i].next)
    {
        int y=mp[i].to;
        if(!dfn[y])
        {
            tarjan(y);
            low[x]=min(low[x],low[y]);
        }
        else if(vis[y])low[x]=min(low[x],dfn[y]);//min(low[x],low[y]);不能用（偶尔会wa），因low[y]回退过，可能不属于这个强连通分量 
    }
    if(dfn[x]==low[x])
    {
        //每次输出一行强连通分量 
        do
        {
            //printf("%d ",stack[t]); 
            vis[stack[t]]=0;
        }while(x!=stack[t--]);
        //puts("");
    }
}
int main()
{
    int n,m;
    scanf("%d %d",&n,&m);
    for(int i=0;i<m;++i)
    {
        int x,y;
        scanf("%d %d",&x,&y);
        add(x,y);
    }
    for(int i=1;i<=n;++i)
        if(!dfn[i])tarjan(i);
    return 0;
}