<学习笔记> tarjan 求割点(割顶)

本文介绍了一种求解无向图中割点的算法。割点是指移除该点及其关联边后,图的连通分量增加的点。文章详细展示了如何使用Tarjan算法进行求解,并给出了完整的C++实现代码。

go to the problem

割点:在一个 无向图中,如果有一个顶点集合,删除这个顶点集合以及这个集合中所有顶点相关联的边以后,图的 连通分量增多,就称这个点集为割点 集合
如果某个割点集合只含有一个顶点X(也即{X}是一个割点集合),那么X称为一个割点。

题目背景

割点

题目描述

给出一个n个点,m条边的无向图,求图的割点。

输入输出格式

输入格式:

第一行输入n,m

下面m行每行输入x,y表示x到y有一条边

输出格式:

第一行输出割点个数

第二行按照节点编号从小到大输出节点,用空格隔开

输入输出样例

输入样例#1: 
6 7
1 2
1 3
1 4
2 5
3 5
4 5
5 6
输出样例#1: 
1 
5

说明

n,m均为100000

tarjan 图不一定联通!!!

 

注意与tarjan 求强连通分量的方法区别。

求割点不需要用到栈。

 1 #include<iostream>
 2 #include<cstdio>
 3 #include<cstring>
 4 #include<cmath>
 5 #include<algorithm>
 6 using namespace std;
 7 
 8 int N,M,x,y,cnt,Index,ans=0;
 9 int first[100010],next[200010];
10 int dfn[100010],low[100010];
11 bool del[100010];
12 
13 struct maple{
14     int f,t;
15 }Rode[200010];
16 
17 void Build(int f,int t)
18 {
19     Rode[++cnt]=(maple){f,t};
20     next[cnt]=first[f];
21     first[f]=cnt;
22 }
23 
24 void Tarjan(int n,int fa)
25 {
26     int cd=0;
27     dfn[n]=low[n]=++Index;
28     for(int i=first[n];i;i=next[i])
29     {
30         if(!dfn[Rode[i].t])
31         {
32              Tarjan(Rode[i].t,n);
33              low[n]=min(low[n],low[Rode[i].t]); // 更新n能向上回溯到的最小时间戳 
34              if(low[Rode[i].t]>=dfn[n]&&fa!=-1) // 如果n的子树中最多能追溯到n,并且n不为根的话, 
35                   del[n]=1;                     //就为一个割点,根要特殊处理
36              if(fa==-1) ++cd;  // 统计根的子树 
37         }
38         else if(Rode[i].t!=fa)  low[n]=min(low[n],dfn[Rode[i].t]);
39     }
40     if(fa==-1&&cd>=2) del[n]=1; // 如果n为根且n的子树数量大于等于 2 ,即为一个割点 
41 }
42 int main()
43 {
44     scanf("%d%d",&N,&M);
45     for(int i=1;i<=M;++i)
46     {
47         scanf("%d%d",&x,&y);
48         Build(x,y);
49         Build(y,x);
50     }
51     for(int i=1;i<=N;++i)
52        if(!dfn[i]) Tarjan(i,-1);
53     for(int i=1;i<=N;++i) if(del[i]) ++ans;
54     printf("%d\n",ans);
55     for(int i=1;i<=N;++i) 
56        if(del[i])
57            printf("%d ",i);
58     return 0;
59 }

 

转载于:https://www.cnblogs.com/maple-kingdom/p/maple-kingdom_wind.html

### Tarjan算法解图中的方法 #### 方法介绍 Tarjan算法是一种基于深度优先搜索(DFS)的高效方法,用于解决图论中的多种问题,其中包括寻找无向图中的是指在一个连通图中删除该节及其相连的所有边之后,使得原本连通的部分变得连通的节。 在Tarjan算法中,通过维护两个数组 `dfn` 和 `low` 来辅助判断某个节是否为: - **`dfn[u]`**: 表示节 `u` 被访问的时间顺序。 - **`low[u]`**: 表示从节 `u` 或其后代出发能回溯到的最早祖先节的时间戳[^3]。 对于根节以外的任意节 `u`,如果存在至少一个子节 `v` 满足条件 `low[v] >= dfn[u]`,则说明删除节 `u` 后无法再通过任何路径到达子树内的某些节,因此 `u` 是[^1]。 另外需要注意的是,当处理根节时,只有在其具有超过一个子树的情况下才被认为是[^4]。 #### 代码实现 以下是使用 C++ 编写的 Tarjan 算法来查找无向图中所有的一个具体例子: ```cpp #include <bits/stdc++.h> using namespace std; const int MAXN = 10005; vector<int> G[MAXN]; bool vis[MAXN]; // 访问标记 int dfn[MAXN], low[MAXN], cnt_time; // 时间戳计数器 bool isCutPoint[MAXN]; // 是否为标志位 int root, childCount; // 当前正在遍历的根节及它的孩子数量统计 void tarjan(int u){ dfn[u] = low[u] = ++cnt_time; vis[u] = true; int children = 0; for(auto v : G[u]){ if(!vis[v]){ // 如果未被访问过,则继续向下探索 children++; tarjan(v); low[u] = min(low[u], low[v]); if(u != root && low[v] >= dfn[u]) isCutPoint[u] = true; if(u == root) childCount = children; } else{ low[u] = min(low[u], dfn[v]); } } } int main(){ ios::sync_with_stdio(false); cin.tie(0); int n,m,u,v; cin>>n>>m; while(m--){ cin >> u >> v; G[u].push_back(v); G[v].push_back(u); } memset(vis,false,sizeof(vis)); memset(isCutPoint,false,sizeof(isCutPoint)); for(int i=1;i<=n;i++){ if(!vis[i]){ root=i; childCount=0; tarjan(i); if(childCount >1) isCutPoint[root]=true; } } vector<int> res; for(int i=1;i<=n;i++) if(isCutPoint[i]) res.push_back(i); cout << "Cut Points are:\n"; for(auto p:res) cout<<p<<" "; } ``` 此程序首先读取输入构建邻接表表示的无向图,接着调用 `tarjan()` 函数执行 DFS 遍历来识别所有的,并最终打印出来这些的结果列表^。 ### 结果解释 上述代码会输出给定无向图中的全部集合。它利用了 Tarjan 的核心思想——即通过比较各与其子孙们之间的最低可达时间戳 (`low`) 值同当前首次发现时刻(`dfn`)的关系来进行判定操作[^5]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值