洛谷OJ：P2341 [HAOI2006]受欢迎的牛(强连通分量-缩点)

分析:如果一群奶牛在一个强连通分量中，那么它们都是相互喜欢的，所以先用tarjan缩点，那么要怎么才能找到被所有奶牛喜欢的奶牛群呢？这里我们用到一个结论

在有向无环图中，如果有且仅有一个点的出度为0 （没有指向其他点的边），那么该点可以被所有点遍历到；反之，该图中没有可以被所有点遍历到的点

并且，在有向图无环中，如果一个点可以被所有点遍历到，那么这个点的出度为0

所以我们只要在缩点后找出唯一的出度为0的牛群就好了

#include <iostream>
#include <cstdio>
#define Min(a,b) a<b?a:b
using namespace std;

const int maxn = 1e4+10;
int dfn[maxn], low[maxn], id[maxn], size[maxn], Stack[maxn], head[maxn], out[maxn];
int cnt, sum, top, depth;
int n, m;
bool ins[maxn];

struct edge{
    int next, t;
}es[maxn*5];

int Top() { return Stack[top]; }
void Push(int a) { ins[a] = 1; Stack[++top] = a; }
void Pop() { ins[Top()] = 0; top--; }

void read(int &a) {
    a = 0;
    char ch = getchar();
    while(ch < '0' || ch > '9') ch = getchar();
    while(ch >= '0' && ch <= '9') {
        a = a * 10 + ch - '0';
        ch = getchar();
    }
}

void add(int f, int t) {
    es[++cnt].next = head[f];
    es[cnt].t = t;
    head[f] = cnt;
}

void tarjan(int cur) {
    dfn[cur] = low[cur] = ++depth;
    Push(cur);
    int v;
    for(int i = head[cur]; i; i = es[i].next) {
        v = es[i].t;
        if(!dfn[v]) {
            tarjan(v);
            low[cur] = Min(low[cur], low[v]);
        }
        else if(ins[v]) {
            low[cur] = Min(low[cur], low[v]);
        }
    }
    if(dfn[cur] == low[cur]) {
        id[cur] = ++sum;
        size[sum]++;
        int t;
        while((t = Top()) != cur) {
            id[t] = sum;
            size[sum]++;
            Pop();
        }
        Pop();
    }
}

int main() {
    int t1, t2;
    read(n); read(m);
    for(int i = 1; i <= m; i++) {
        read(t1); read(t2);
        add(t1, t2);
    }
    for(int i = 1; i <= n; i++) if(!dfn[i]) tarjan(i);
    int cur, v;
    for(int i = 1; i <= n; i++) {
        cur = id[i];
        for(int j = head[i]; j; j = es[j].next) {
            v = id[es[j].t];
            if(cur != v) {
                out[cur]++;
            }
        }
    }
    int ans, get = 0;
    for(int i = 1; i <= sum; i++) {
        if(!out[i]) {
            ans = i;
            get++;
        }
    }
    printf("%d\n", get > 1 ? 0 : size[ans]);
    return 0;
}