割点和桥

在一个无向图中,如果删去一个点,这个图的连通度增加了,删去的这个点就是原图的一个割点;如果删掉一条边,这个图的连通度增加了,删掉的这条边就是原图的一个桥。 bcc.jpg
如图:

  • 2,4号点是割点,去掉之后整个图分成了两个
  • 2—4之间的边是桥,去掉之后整个图分成了两个

Hdu 3394.Railway

在一个有n个点,m条边的无向图中,如果某条边不在任何一个回路中,则称这条边是无用的如果某条边被多个回路利用,则称这条边是冲突的,求这个图中的冲突的和无用的边的条数

很明显,图中无用的边就是桥,而冲突的边呢?在每个块中,如果边数大于点数,那么这个块中的每条边都是冲突边。

#include <cstdio>
#include <cstring>
#include <vector>
#include <stack>
using namespace std;

#define MEM(a) memset(a, 0, sizeof(a))
#define pb push_back
const int maxv = 10000;
const int maxe = 100000;

struct Edge {
    int u, v;
    Edge () {}
    Edge (int a, int b ) {
        u = a;
        v = b;
    }
};

int pre[maxv], low[maxv], iscut[maxv], bccno[maxv];
int dfs_clock, bcc_cnt, qiao, ans2;
vector<int> G[maxe], bcc[maxv];
stack<Edge> S;

void dfs(int u, int fa) {
    low[u] = pre[u] = ++dfs_clock;

    for (int i = 0; i < (int)G[u].size(); i++) {
        int v = G[u][i];

        if (!pre[v]) {
            S.push(Edge(u,v));
            dfs(v, u);
            low[u] = min(low[u], low[v]);
            if (low[v] >= pre[u]) {
                if (low[v] > pre[u]) qiao++;
                bcc_cnt++; bcc[bcc_cnt].clear();
                for(;;) {
                    Edge x = S.top(); S.pop();
                    if (bccno[x.u] != bcc_cnt) {
                        bcc[bcc_cnt].push_back(x.u);
                        bccno[x.u] = bcc_cnt;
                    }
                    if (bccno[x.v] != bcc_cnt) {
                        bcc[bcc_cnt].push_back(x.v);
                        bccno[x.v] = bcc_cnt;
                    }
                    if (x.u == u && x.v == v) break;
                }
                int cnt2 = 0;
                for (int j = 0; j < (int)bcc[bcc_cnt].size(); j++) {
                    int k = bcc[bcc_cnt][j];
                    for (int h = 0; h < (int)G[k].size(); h++) {
                        int vv = G[k][h];
                        if (bccno[vv] == bcc_cnt) cnt2++;
                    }
                }
                if (cnt2/2 > (int)bcc[bcc_cnt].size()) ans2 += cnt2/2;
                cnt2 = 0;
            }
        } else if (pre[v] < pre[u] && v != fa) {
            S.push(Edge(u, v));
            low[u] = min(low[u], pre[v]);
        }
    }
}

void find_bcc(int n) {
    MEM(pre); MEM(iscut); MEM(bccno); MEM(low);
    dfs_clock = bcc_cnt = qiao = ans2 = 0;
    for (int i = 0; i < n; i++)
        if (!pre[i]) dfs(i, -1);
    for (int i = 0; i <= bcc_cnt; i++)
        bcc[i].clear();
}
int main() {
    //freopen("in.txt", "r", stdin);
    int n, m, u, v;
    while (scanf("%d%d", &n, &m) != EOF) {
        if (!n && !m) break;
        for (int i = 0; i < n; i++) G[i].clear();

        for (int i = 0; i < m; i++) {
            scanf("%d%d", &u, &v);
            G[u].pb(v); G[v].pb(u);
        }
        find_bcc(n);
        printf("%d %d\n", qiao, ans2);
    }        
    return 0;
}

results matching ""

    No results matching ""