洛谷 P2341 [HAOI2006]受欢迎的牛|【模板】强连通分量 tarjan缩点

https://www.luogu.org/problem/P2341
题目背景
本题测试数据已修复。
题目描述
每头奶牛都梦想成为牛棚里的明星。被所有奶牛喜欢的奶牛就是一头明星奶牛。所有奶
牛都是自恋狂，每头奶牛总是喜欢自己的。奶牛之间的“喜欢”是可以传递的——如果A喜
欢B，B喜欢C，那么A也喜欢C。牛栏里共有N 头奶牛，给定一些奶牛之间的爱慕关系，请你
算出有多少头奶牛可以当明星。
输入格式
第一行：两个用空格分开的整数：N和M
第二行到第M + 1行：每行两个用空格分开的整数：A和B，表示A喜欢B
输出格式
第一行：单独一个整数，表示明星奶牛的数量

题目大意：给出牛与牛之间的关系：$(x,y)$代表第$x$只牛认为第$y$只牛是受欢迎的，这个关系是可以传递的。问被其他所有牛认为是受欢迎的牛的个数。
思路：$(x,y)$代表从$x$到$y$的一条有向边，显然图的每个强连通分量中的牛在这个分量内是满足题意的，我们把强连通分量缩点，就得到一个$DAG$，问题就是在这个$DAG$中找到一个点，这个点满足从任意点出发均可到达该点，答案就是这个点对应的强连通分量的点的个数。设$p$为一个$DAG$中出度等于$0$的点的个数，显然当$p>1$时，答案是0。而当$p=1$时，根据$DAG$的性质，这个出度为$0$的点，是其他所有点都可以到达的，故答案就是该点对应的强连通分量的点的数目。

#include<bits/stdc++.h>
#define INF 0x3f3f3f3f
#define eps 1e-8
using namespace std;
typedef long long ll;

const int maxn=1e4+5;
const int maxm=5e4+5;

struct Edge
{
    int to,nxt;
}edge[maxm];

int head[maxn],dfn[maxn],low[maxn],Stack[maxn],ins[maxn],id[maxn];
int out[maxn],siz[maxn];
int n,m,tot,num,top,cnt;

void addedge(int u,int v)
{
    edge[++tot].to=v,edge[tot].nxt=head[u],head[u]=tot;
}

void tarjan(int x)
{
    dfn[x]=low[x]=++num;
    Stack[++top]=x,ins[x]=1;
    int y;
    for(int i=head[x];i;i=edge[i].nxt)
    {
        y=edge[i].to;
        if(!dfn[y])
        {
            tarjan(y);
            low[x]=min(low[x],low[y]);
        }
        else if(ins[y])
            low[x]=min(low[x],dfn[y]);
    }
    if(dfn[x]==low[x])
    {
        ++cnt;
        do
        {
            y=Stack[top--],ins[y]=0;
            id[y]=cnt,++siz[cnt];
        }while(x!=y);
    }
}

int main()
{
    scanf("%d %d",&n,&m);
    int u,v;
    for(int i=0;i<m;i++)
    {
        scanf("%d %d",&u,&v);
        addedge(u,v);
    }
    for(int i=1;i<=n;i++)
        if(!dfn[i])
            tarjan(i);
    for(int i=1;i<=n;i++)
    {
        for(int j=head[i];j;j=edge[j].nxt)
        {
            u=edge[j].to;
            if(id[i]!=id[u])
                ++out[id[i]];
        }
    }
    int ct=0,idx=0;
    for(int i=1;i<=cnt;i++)
        if(!out[i])
            ++ct,idx=i;
    printf("%d\n",ct>=2?0:siz[idx]);
    return 0;
}