【图论】强连通分量

void Tarjan(int u)
{
    dfn[u]=low[u]=++num;
    st[++top]=u;//入栈
    vis[u]=1;//判断是否在栈中 
    for(int i=h[u];i;i=e[i].next)
    {
        int v=e[i].to;
        if(!dfn[v])
        {
            Tarjan(v);
            low[u]=min(low[u],low[v]);//low表示u与其子孙到达的最小编号 
        }
        else 
        if(vis[v])//判断v是否在栈中
        low[u]=min(low[u],dfn[v]);
        //可以改成 min(low[u],low[v])
        //因为此时v的low和dfn还未修改 
    }
    if(dfn[u]==low[u])
    {
        co[u]=++col;//属于第col个强连通分量 
        while(st[top]!=u)
        {
            co[st[top]]=col;
            vis[st[top--]]=0;
        }
        --top;
    }
}