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

int dfn
,low
,id
,s
,p,num,t,son
;//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);
}
}