【模版】tarjan缩点

最新推荐文章于 2023-07-27 10:59:38 发布

bai11474

最新推荐文章于 2023-07-27 10:59:38 发布

阅读量68

点赞数

原文链接：http://www.cnblogs.com/Fung-JTY/p/7410302.html

版权




//dfn[] ： 深搜顺序的时间戳 
//low[] ： 不经过父节点而回到的最早的那个祖先 的时间戳，默认自己 
//stack[] ： 当前入栈的点
//vis[] ： 该点是否已被访问 

void tarjan(int u)       //tarjan缩点 
{
    int v,temp;
    dfn[u]=low[u]=++tp;
    stack[++p]=u;
    vis[u]=true;

    for (int k=first[u]; k; k=next[k])
    {
        vv=v[k];
        if (!dfn[vv])
        {
            tarjan(vv);
            low[u]=min(low[u],low[vv]);
        }
        else 
        if (vis[vv])
            low[u]=min(low[u],dfn[vv]);
    }
    
    if (dfn[u]==low[u])
    {
        cnt++;
        while(1)
        {
            temp=stack[p];
            vis[temp]=false;
            in[temp]=cnt;
            p--;
            if(temp==u) break;
        }
    }
    return;
}