tarjan 边双连通分量 对点进行分组 每组点都在一个双连通分量里边

Posted 2020-06-30 徐暾

int dfn[N],low[N],id[N],s[N],p,num,t,son[N];//dfn记录dfs时间戳
//low代表当前点到达的最小时间戳，id对点进行分组编号.num是时间戳
//s临时存储数据的手工栈，p栈顶元素的位置，son记录儿子因为无向图记录边都是两个边
void tarjan(int pos){
    dfn[pos]=low[pos]=++num;
    s[++p]=pos;
    for(edge *it=adj[pos];it;it=it->next){
        if(!dfn[it->id]){
            son[pos]=it->id;
            tarjan(it->id);
        }
        if(son[it->id]!=pos)
            low[pos]=min(low[pos],low[it->id]);
    }
    if(low[pos]==dfn[pos]){
        t++;
        int y;
        do{
            y=s[p--];
            id[y]=t;
        }while(y!=pos);
    }
}