导航

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); } }