UVA - 11504 Dominos 强连通分量

链接 ： http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=20841

题意 ：多米诺骨牌 如果有边存在u -> v 说明u倒了v也自动倒了。问最少需要手动推到几个。

如果一些牌属于同一个强连通分量 那么任意推倒其中之一就算全部推倒。可以强连通缩点之后 推倒的一定是没有入度的牌。

注意 这题不能直接判断所有入度为0的点有几个，因为可能存在入度都不为0 但是存在多个强连通分量。比如

n = 6, m = 6

1 -> 2,

2 -> 3,

3 -> 1,

4 -> 5,

5 -> 6,

6 -> 4.

虽然没有入度为0的点 但是需要推2次。

#pragma comment(linker, "/STACK:10240000,10240000")
#include <algorithm>
#include <iostream>
#include <sstream>
#include <cstring>
#include <cstdlib>
#include <cstdio>
#include <vector>
#include <cmath>
#include <queue>
#include <stack>
#include <set>
#include <map>
#define mod 4294967296
#define MAX 0x3f3f3f3f
#define lson o<<1, l, m
#define rson o<<1|1, m+1, r
#define SZ(x) ((int)ans.size())
#define MAKE make_pair
#define INFL 0x3f3f3f3f3f3f3f3fLL
#define mem(a) memset(a, 0, sizeof(a))
const double pi = acos(-1.0);
const double eps = 1e-9;
const int N = 100005;
const int M = 20005;
typedef long long ll;
using namespace std;

int n, m;
vector <int> G[N];
int pre[N], low[N], scc[N], dfs_clock, scc_cnt;
stack <int> S;
int T;
void dfs(int u) {
    pre[u] = low[u] = ++dfs_clock;
    S.push(u);
    for(int i = 0; i < G[u].size(); i++) {
        int v = G[u][i];
        if(pre[v] == 0) {
            dfs(v);
            low[u] = min(low[u], low[v]);
        } else if(scc[v] == 0) {
            low[u] = min(low[u], low[v]);
        }
    }
    if(low[u] == pre[u]) {
        scc_cnt++;
        for(;;) {
            int x = S.top(); S.pop();
            scc[x] = scc_cnt;
            if(x == u) break;
        }
    }
}
void find_scc() {
    dfs_clock = scc_cnt = 0;
    mem(scc);
    mem(pre);
    for(int i = 0; i < n; i++) {
        if(pre[i] == 0) dfs(i);
    }
}
int vis[N];
int main()  {

    //freopen("in.txt","r",stdin);
    cin >> T;
    while(T--) {
        cin >> n >> m;

        for(int i = 0; i < n; i++) G[i].clear();
        for(int i = 0; i < m; i++) {
            int x, y;
            scanf("%d%d", &x, &y);
            x--, y--;
            G[x].push_back(y);
        }

        find_scc();

        mem(vis);
        for(int u = 0; u < n; u++) {
            for(int i = 0; i < G[u].size(); i++) {
                int v = G[u][i];
                if(scc[v] != scc[u]) {
                    vis[ scc[v] ]++;
                }
            }
        }
        int cnt = 0;
        //cout << scc_cnt << endl;
        for(int i = 1; i <= scc_cnt; i++) {
            if(vis[i] == 0) cnt++;
        }
        cout << cnt << endl;

    }


    return 0;
}