Tarjian求无向图桥模板 UVA-796 Critical Links

UVA-796 Critical Links

题目

给一个无向图，求所有桥，按第一个顶点升序输出。

分析

Tarjian 求桥模板，这里用 vector 存图， 注意判重。

当 v 及 v 的孩子节点能到达最早的祖先都没有 u 高。即 $low[v]>pre[u]$
（u，v）是桥

代码

#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];		// 时间戳、开始点、结束点
int to[N], ne[N], h[N], idx;		// 存图

int bri[N];			

void add(int a, int b){
    to[idx] = b, ne[idx] = h[a], h[a] = idx++;
}

void dfs(int u, int fa){
    pre[u] = low[u] = ++dfs_clock;
    for (int i = h[u]; ~i; i = ne[i])
    {
        int v = to[i];
        // if(v == fa)
        //     continue;
        if(!pre[v]){
            dfs(v, u);
            low[u] = min(low[u], low[v]);
            if(low[v] > pre[u]){
                bri[i] = 1;			// u -> v
                bri[i ^ 1] = 1;		// v -> u
            }
        }else if(v != fa && low[u] > pre[v])
            low[u] = pre[v];
    }
}

void find_bri(){
    dfs_clock = 0;
    memset(pre, 0, sizeof(pre));
    memset(low, 0, sizeof(low));
    memset(bri, 0, sizeof(bri));
    for(int i = 0; i < n; i++){
        if(!pre[i])
            dfs(i, -1);
    }
    vector<pair<int, int>> ans;

    for(int u = 0; u < n; u++){
        for (int i = h[u]; ~i; i = ne[i]){
            if(bri[i] && to[i] > u)
                ans.push_back(make_pair(u, to[i]));
        }
    }
    
    printf("%d critical links\n", ans.size());
    sort(ans.begin(), ans.end());
    for(int i = 0; i < ans.size(); i++){
        printf("%d - %d\n", ans[i].first, ans[i].second);
    }
    puts("");
}

int main()
{
    while(~scanf("%d", &n)){
        memset(h, -1, sizeof(h));
        idx = 0;
        for(int i = 0, u, v, k; i < n; i++){
            scanf("%d (%d)", &u, &k);
            for(int i = 0; i < k; i++){
                scanf("%d", &v);
                if(v <= u)
                    continue;
                add(u, v), add(v, u);
            }
        }
        find_bri();
    }
    return 0;
}