Tarjan(二)

tarjan割点:

对于一个无向图,判断无向图的那些点属于割点。

割点:

(上述图片素材来自B站董晓算法老师:【D16 Tarjan 割点】D16 Tarjan 割点_哔哩哔哩_bilibili

核心代码

 //无向图缩点
 #include<bits/stdc++.h>
 using namespace std;
 const int N = 1e4 + 10;
 ​
 vector<int> e[N];
 int dfn[N], low[N], tot;
 int root;
 bool cut[N]; //判断当前点是不是割点
 ​
 void tarjan(int x) {
     dfn[x] = low[x] = tot++;
     int child = 0; //这里只用判断是否是符合条件的割点,故不需要用栈来存储和scc等来统计联通块
     for(int y : e[x]) {
         if(!dfn[y]) {
             tarjan(y);
             low[x] = min(low[x], low[y]);
             if(low[y] >= dfn[x]) {
                 child++;
                 if(x != root || child > 1) {
                     cut[x] = true;
                 }
             }
         }
         else low[x] = min(low[x], dfn[y]); //现在是无向图,只要有连边,就可能在同一联通块
     }     
 }

板子题:

P3388 【模板】割点(割顶) - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)

 //!!!警钟撅烂 按格式输出,其次不能在tarjan统计有多少个割点,应该将所有dfs进行完后for循环找一遍割点
 #include<bits/stdc++.h>
 using namespace std;
 const int N = 2e4 + 10;
 ​
 vector<int> e[N];
 int low[N], dfn[N], tot, root, num;
 bool cut[N];
 void tarjan(int x) {
     dfn[x] = low[x] = ++tot;
     // cout << "low[x]" << x << "=" << low[x] << '\n';
     int child = 0;
     for(int y : e[x]) {
         if(!dfn[y]) {
             tarjan(y);
             low[x] = min(low[x], low[y]);
             // cout << "low[" << x << ']' << '=' << low[x] << '\n';
             if(low[y] >= dfn[x]) {
                 child++;
                 if(x != root || child > 1) {
                     cut[x] = true;
                     // cout << "cut:" << x << " child=" << child << '\n'; 
                     // num++; 不能再这里面进行统计,一个点可能多次被统计为割点
                 }
             }
         }
         else {
             low[x] = min(low[x], dfn[y]);
             // cout << "*low[" << x << "]=" << low[x] << '\n';
         }         
     }
 }
 int main() {
     int n, m; cin >> n >> m;
     for(int i = 1; i <= m; i++) {
         int a, b; cin >> a >> b;
         e[a].push_back(b);
         e[b].push_back(a);
     }
     for(int i = 1; i <= n; i++) {
         if(!dfn[i]) {
             root = i;
             tarjan(i);
         }
     }
     for(int i = 1; i <= n; i++) {
         if(cut[i]) num++; // 在这里统计!!!
     }
     cout << num << '\n';
     for(int i = 1; i <= n; i++) {
         if(cut[i]) cout << i << ' ';
     }
     return 0;
 }

  • 20
    点赞
  • 24
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
Tarjan算法和Kosaraju算法都是求解有向图强连通分量的算法,它们的时间复杂度都为O(N+M),其中N为图中节点数,M为图中边数。 Tarjan算法的基本思想是通过DFS遍历图中的节点,并在遍历的过程中维护一个栈,用于存储已经遍历过的节点。在遍历的过程中,对于每个节点,记录它被遍历到的时间戳和能够到达的最小时间戳,当一个节点的最小时间戳等于它自身的时间戳时,说明这个节点及其之前遍历到的节点构成了一个强连通分量,将这些节点从栈中弹出即可。 Kosaraju算法的基本思想是先对原图进行一次DFS,得到一个反向图,然后再对反向图进行DFS。在第次DFS的过程中,每次从未被访问过的节点开始遍历,遍历到的所有节点构成一个强连通分量。 两种算法的具体实现可以参考以下代码: ```python # Tarjan算法 def tarjan(u): dfn[u] = low[u] = timestamp timestamp += 1 stk.append(u) for v in graph[u]: if not dfn[v]: tarjan(v) low[u] = min(low[u], low[v]) elif v in stk: low[u] = min(low[u], dfn[v]) if dfn[u] == low[u]: scc = [] while True: v = stk.pop() scc.append(v) if v == u: break scc_list.append(scc) # Kosaraju算法 def dfs1(u): vis[u] = True for v in graph[u]: if not vis[v]: dfs1(v) stk.append(u) def dfs2(u): vis[u] = True scc.append(u) for v in reverse_graph[u]: if not vis[v]: dfs2(v) # 构建图和反向图 graph = [[] for _ in range(n)] reverse_graph = [[] for _ in range(n)] for u, v in edges: graph[u].append(v) reverse_graph[v].append(u) # Tarjan算法求解强连通分量 dfn = [0] * n low = [0] * n timestamp = 1 stk = [] scc_list = [] for i in range(n): if not dfn[i]: tarjan(i) # Kosaraju算法求解强连通分量 vis = [False] * n stk = [] scc_list = [] for i in range(n): if not vis[i]: dfs1(i) vis = [False] * n while stk: u = stk.pop() if not vis[u]: scc = [] dfs2(u) scc_list.append(scc) ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

幻听嵩的留香

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值