Tarjian求无向图割点模板 UVA - 315 Network

UVA - 315 Network

题目

给一个无向图，不过输入有点麻烦。求所有割点

分析

Tarjian 求无向图割点模板题。

原理：在 $dfs$ 过程中有一个时间戳，每个点会被记录两次，开始和结束时。用两个数组保存 $pre[N],post[N]$。

一个点 u 是割点：当且仅当它存在一个子节点有反向边连回 u 的祖先。如果用 $low[u]$ 表示 u 及其后代能连回最早的祖先的 $pre$ 值，那么定理可以用代码表示为：
u 存在 子节点 v，使得 $low[v]>=pre[u]$

注意不联通情况。

代码

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;
typedef long long ll;
const int mod = 1e4 + 1;
const int N = 1e4 + 10;

int n;
int dfs_clock, pre[N], low[N], iscut[N];	// 时间戳、开始点、结束点、割点数组
vector<int> e[N];							// 存图

void dfs(int u, int fa){                // 每次返回当前节点的 low 值
    low[u] = pre[u] = ++dfs_clock;
    int son = 0;                        // 子节点数量
    for (int i = 0; i < e[u].size(); i++){
        int v = e[u][i];
        if(!pre[v]){					// 如果没有访问过 v，子节点数量增加
            son++;	
            dfs(v, u);
            low[u] = min(low[u], low[v]);     // 用后代更新
            if(low[v] >= pre[u])          // 如果有儿子最早返回的祖先不超过 u
                iscut[u] = 1;
        }else if(v != fa && pre[v] < pre[u])
            low[u] = min(low[u], pre[v]);   // 用反向边更新
    }
    if(fa < 0 && son == 1)
        iscut[u] = 0;                   // 特判根节点
}

void find_cut(){
    dfs_clock = 0;
    int cnt = 0;
    memset(pre, 0, sizeof pre);
    memset(iscut, 0, sizeof iscut);
    for(int i = 1; i <= n; i++){
        if(!pre[i])
            dfs(i, -1);
    }
    for(int i = 1; i <= n; i++){
        if(iscut[i])
            cnt++;
    }
    printf("%d\n", cnt);
}

int main()
{
    while(scanf("%d", &n) && n){
        for (int i = 1; i <= n; i++)
            e[i].clear();
        int u, v;
        char str;
        while(scanf("%d", &u) && u){
            while(scanf("%d%c", &v, &str)){
                e[u].push_back(v);
                e[v].push_back(u);
                if(str == '\n')
                    break;
            }
        }
        find_cut();
    }
    return 0;
}
/*

5
5 1 2 3 4
0
6
2 1 3
5 4 6 2
0
0
 */