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

__EOF__

本文作者：F x o r G
本文链接：https://www.cnblogs.com/xugangfan/p/15872328.html
关于博主：评论和私信会在第一时间回复。或者直接私信我。
版权声明：本博客所有文章除特别声明外，均采用 BY-NC-SA 许可协议。转载请注明出处！
声援博主：如果您觉得文章对您有帮助，可以点击文章右下角【推荐】一下。您的鼓励是博主的最大动力！