tarjan

强连通分量

void tarjan(int x) {
    dfn[x]=low[x]=++tot;
    s.push(x); flag[x]=1;

    for(int i=head[x];i;i=e[i].nex) {
        int y=e[i].to;
        if(!dfn[y]) {
            tarjan(y);
            low[x]=min(low[x],low[y]);
        } else if(flag[y]) {
            low[x]=min(low[x],dfn[y]);
        }
    }

    if(dfn[x]==low[x]) {
        ++gr;
        int qwq;
        do {
            qwq=s.top(); s.pop();
            flag[qwq]=0; id[qwq]=gr; num[gr]+=a[qwq];
        } while(qwq!=x);
    }
}

割点（指最多只能回到 \(x\)）

void tarjan(int x,int fa) {
	dfn[x]=low[x]=++tot;
	int son=0;
	for(int i=head[x];i;i=e[i].nex) {
		int y=e[i].to;
		if(y==fa) continue;
		if(!dfn[y]) {
			tarjan(y,x);
			low[x]=min(low[x],low[y]);
			if(low[y]>=dfn[x]&&x!=fa) vis[x]=1;
			if(x==fa) ++son;
		} else low[x]=min(low[x],dfn[y]);
	}
	if(x==fa&&son>=2) vis[x]=1;
}

点双的话当找到 \(x\) 为割点，弹栈直到把 \(y\) 弹出，最后再加入 \(x\)，但是 \(x\) 不能弹出，因为一个割点可能存在于多个点双。

边双，找割边之后染色，基本上无向图的环都是边双找。
（连 \(x\) 都回不去）

void tarjan(int x,int ff) {
	dfn[x]=low[x]=++tot;
	for(int i=hea[x];i;i=e[i].nex) {
		int y=e[i].to;
		if(y==ff) continue;
		if(!dfn[y]) {
			tarjan(y,x);
			low[x]=min(low[x],low[y]);
			if(low[y]>dfn[x]) vis[i]=vis[i^1]=1;
		} else low[x]=min(low[x],dfn[y]);
	}
}