无向图的双连通分量

一曲诉哀愁

已于 2023-02-26 11:34:42 修改

阅读量70

点赞数

分类专栏：大一算法学习文章标签：算法图论 c++

于 2023-02-25 10:47:54 首次发布

本文链接：https://blog.csdn.net/stldecember/article/details/129212981

版权

本文介绍了如何使用tarjan算法检测无向图的双连通分量，重点讨论了acwing平台上的3道例题：395.冗余路径（割边）、1183.电力（割点）和396.矿场搭建。通过分析割边、割点在图中的角色，解释如何构建双连通分量，并提供了解题代码思路。

摘要由CSDN通过智能技术生成

总览

就是通过tarjan算法，将走过的边都变成有向边，不准往回走，看能不能构成强连通分量，如果可以的话，就满足是双连通分量，通过遍历完之后low[k]是否大于dfn[u]来确定.

例题

acwing 395.冗余路径（割边）

题目要求对一个图添加边，使成为双连通分量，先通过tarjan缩点，缩完之后只剩下一棵树，再对树的叶子节点，也就是只连一条边的点进行连边，答案就是（叶子节点+1）/2，注意用^1的方法取对边的话，边要从0开始计数。
代码如下

#include <bits/stdc++.h>
#include <windows.h>
using namespace std;
const int N = 5 * 1e3 + 5,M = 4 * N;
struct Edge{
   
	int to,next;
}e[M];
int h[N];
int dfn[N],low[N];
int in_stk[N],timestamp;
int id[N];
int dcc_cnt,idx;
int is_bridge[M];
int d[N];
stack <int> st; 
void add(int fr,int to){
   
	e[idx].to = to;
	e[idx].next = h[fr];
	h[fr] = idx;
	idx ++;
}
void tarjan(int u,int from){
   
	dfn[u] = low[u] = ++ timestamp;
	in_stk[u] = true;
	st.push(u);
	for(int i = h[u];~i;i = e[i].next){
   
		int k = e[i].to;
		if(! dfn[k]){
   
			tarjan(k,i);
			low[u] = min(low[u],low[k]);
			if(low[k] > dfn[u]){
   
				is_bridge[i] = true;
				is_bridge[i ^ 1] = true;
			}
		}else if((i ^ 1) != from && in_stk[k]) low[u] = min(low[u],dfn[k]);
	}
	if(low[u] == dfn[u]){
   
		++ dcc_cnt;
		int y;
		do{
   
			y = st.top();
			st