Tarjan缩点入门

缩点

顾名思义,缩点就是把一个强连通分量缩成一个点

Tarjan

在dfs的过程中记录时间戳,若能够通过某个点返回已遍历的点,则可以缩点

inline void Tarjan(int x)// st栈,low当前可已过的时间戳最大的,dfn当前点的时间戳,co当前点属于的强连通分量
{
    low[x]=dfn[x]=++cnt;
    st[++top]=x,vis[x]=1;
    for(re int i=h[x];i;i=e[i].ne)
    {
        int y=e[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]);
    }
    if(low[x]==dfn[x])
    {
        ++color;
        while(st[top+1]!=x)
        {
            co[st[top]]=color;
            ww[color]+=w[st[top]];
            vv[color]+=v[st[top]];
            vis[st[top--]]=0;
        }
    }
}