UVALive 4287 Proving Equivalences(强连通分量)

题目分析

这道题就是求一个图如果转化为一个强连通图，那么我们首先强连通缩点，然后整个图变成一个有向无环图，然后我们又知道强连通图所有节点的入度和出度都不为0，因此我们只需要求缩点之后的图的入度为0的点和出度为0的点的最大值即可。

#include <stack>
#include <vector>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
const int maxn = 2e4+100;

vector <int> G[maxn];
int pre[maxn], lowlink[maxn], sccno[maxn], dfs_clock, scc_cnt;
stack <int> S;
int in[maxn], out[maxn];

int dfs(int u){
    lowlink[u] = pre[u] = ++dfs_clock;
    S.push(u);
    for(unsigned int i = 0; i < G[u].size(); i++){
        int v = G[u][i];
        if(!pre[v]){
            dfs(v);
            lowlink[u] = min(lowlink[u], lowlink[v]);
        }else if(!sccno[v]){
            lowlink[u] = min(lowlink[u], pre[v]);
        }
    }
    if(lowlink[u] == pre[u]){
        scc_cnt++;
        for(;;){
            int x = S.top(); S.pop();
            sccno[x] = scc_cnt;
            if(x == u) break;
        }
    }
    return lowlink[u];
}

void find_scc(int n){
    dfs_clock = scc_cnt = 0;
    memset(in, 0, sizeof(in));
    memset(out, 0, sizeof(out));
    memset(pre, 0, sizeof(pre));
    memset(lowlink, 0, sizeof(lowlink));
    memset(sccno, 0, sizeof(sccno));
    for(int i = 0; i < n; i++)
        if(!pre[i]) dfs(i);
}

int main(){
    int T, n, m;
    scanf("%d", &T);
    while(T--){
        scanf("%d%d", &n, &m);
        for(int i = 0; i <= n; i++) G[i].clear();
        int u, v;
        for(int i = 0; i < m; i++){
            scanf("%d%d", &u, &v);
            u--, v--;
            G[u].push_back(v);
        }
        find_scc(n);
        for(int u = 0; u < n; u++){
            for(unsigned int i = 0; i < G[u].size(); i++){
                int v = G[u][i];
                if(sccno[v] != sccno[u]) in[sccno[v]]++, out[sccno[u]]++;
            }
        }
        int a = 0, b = 0, ans;
        for(int i = 1; i <= scc_cnt; i++){
            if(!in[i]) a++;
            if(!out[i]) b++;
        }
        ans = max(a, b);
        if(scc_cnt == 1) ans = 0;  //这个时时候整个图只有一个点,并且入度出度都为0，因此ans等于1，其实应该0才是正确的
        printf("%d\n", ans);
    }
    return 0;
}