[Tarjan] 洛谷 P2341 受欢迎的牛

题目描述

每头奶牛都梦想成为牛棚里的明星。被所有奶牛喜欢的奶牛就是一头明星奶牛。所有奶

牛都是自恋狂，每头奶牛总是喜欢自己的。奶牛之间的“喜欢”是可以传递的——如果A喜

欢B，B喜欢C，那么A也喜欢C。牛栏里共有N 头奶牛，给定一些奶牛之间的爱慕关系，请你

算出有多少头奶牛可以当明星。

输入输出格式

输入格式：

 第一行：两个用空格分开的整数：N和M

 第二行到第M + 1行：每行两个用空格分开的整数：A和B，表示A喜欢B

输出格式：

 第一行：单独一个整数，表示明星奶牛的数量

输入输出样例

输入样例#1：

3 3
1 2
2 1
2 3

输出样例#1：

1

说明

只有 3 号奶牛可以做明星

【数据范围】

10%的数据N<=20, M<=50

30%的数据N<=1000,M<=20000

70%的数据N<=5000,M<=50000

100%的数据N<=10000,M<=50000

题解

• 受欢迎的奶牛只有可能是图中唯一的出度为零的强连通分量中的所有奶牛
• 所以若出现两个以上出度为0的强连通分量则不存在明星奶牛
• 因为那几个出度为零的分量的爱慕无法传递出去
• 那唯一的分量能受到其他分量的爱慕同时在分量内相互传递，所以该分量中的所有奶牛都是明星
• 然后就可以用个Tarjan来求强连通分量就好了

代码

#include <cstdio>
#include <iostream>
#include <cstring>
#include <stack>
#define N 10050
using namespace std;
struct edge{ int from,to; }e[N*20];
int head[20*N],dfn[N],low[N],du[N],p[N],tot[N],cnt,num,n,m,k,o;
bool bel[N];
stack<int>Q;
void insert(int x,int y) { e[++cnt].to=y,e[cnt].from=head[x],head[x]=cnt; }
void tarjan(int x)
{
    dfn[x]=low[x]=++dfn[0],Q.push(x),bel[x]=true;
    for (int i=head[x];i;i=e[i].from) 
        if (!dfn[e[i].to]) tarjan(e[i].to),low[x]=min(low[x],low[e[i].to]);
        else if (bel[x]) low[x]=min(low[x],dfn[e[i].to]);
    if (low[x]==dfn[x])
    {
        ++num;
        do 
        {
            k=Q.top(),Q.pop(),bel[k]=false,p[k]=num,tot[num]++;
        }
        while (x!=k);
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    for (int i=1,x,y;i<=m;i++) scanf("%d%d",&x,&y),insert(x,y);
    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=e[j].from) if (p[i]!=p[e[j].to]) du[p[i]]++;
    for (int i=1;i<=num;i++)
        if (!du[i])
        {
            if (o) {printf("0"); return 0;}
            o=i;
        }
    printf("%d",tot[o]);
}