- 题库：洛谷
- 题号：2341
- 题目：受欢迎的牛
- link：https://www.luogu.org/problemnew/show/P2341
思路：因为奶牛的爱慕关系具有传递性，所以每个环(强连通分量)里的奶牛是互相喜欢的。那么我们可以用到Tarjan算法把每个强连通分量找出，并缩点，把每个强连通分量都缩成一个点(当前缩点里的奶牛都是互相喜欢的)。这样一来，这个图就变成了一个DAG(有向无环图)。然后我们只需要统计每个缩点的出度就好了，如果一个点有出度&&我们知道这个图是一个DAG，所以这个强连通分量(这个缩点)里的奶牛就不可能被这个缩点所连出去的缩点里的奶牛所喜欢(这是无环图——DAG)。综上所述，我们只需要统计一下有多少个没有出度的强连通分量就好了，但有多个没有出度的强连通分量也不行，因为这样就会有两多群群奶牛不喜欢别的奶牛，使得奶牛们无法收到其他奶牛(这多群奶牛)的喜欢，这样就不行了 。
画一张图形象一下：
code ：
#include <bits/stdc++.h>
#define INF 0x3f3f3f3f
using namespace std;
const int MAX = 5e4 + ;
stack < int > pru;
int n, m, low[MAX], dfn[MAX], head[MAX], vis[MAX], col[MAX], sum[MAX], color, num, z, out[MAX], ans, cnt;
struct node
{
int next, to;
}stu[MAX];
inline void add(int x, int y)
{
stu[++num].next = head[x];;
stu[num].to = y;
head[x] = num;
return;
}
inline void tarjan(int u)//Tarjan算法模板，这里用于缩点
{
low[u] = dfn[u] = ++z;
vis[u] = ;
pru.push(u);
for(register int i = head[u]; i; i = stu[i].next)
{
int k = stu[i].to;
if(!vis[k])
{
tarjan(k);
low[u] = min(low[u], low[k]);
}
else if(!col[k])
{
low[u] = min(low[u], dfn[k]);
}
}
if(low[u] == dfn[u])
{
col[u] = ++color;
++sum[color];//当前强连通分量里的奶牛的个数++
while(pru.top() != u)
{
col[pru.top()] = color;
++sum[color];//当前强连通分量里的奶牛的个数++
pru.pop();
}
pru.pop();
}
return;
}
signed main()
{
scanf("%d %d", &n, &m);
for(register int i = , x, y; i <= m; ++i)
{
scanf("%d %d", &x, &y);
add(y, x);//建反向边，把统计出度变为统计入度，更加方便一些
}
for(register int i = ; i <= n; ++i)
{
if(!vis[i])
{
tarjan(i);
}
}
for(register int u = ; u <= n; ++u)//循环每个结点的出度(这里是入度，因为建的是反向边)
{
for(register int i = head[u]; i; i = stu[i].next)
{
int k = stu[i].to;//因为建的是反向边，所以i其实是k的出度
if(col[k] != col[u])//颜色不相同就代表不在一个强连通分量里
{
++out[col[k]];//所以k的颜色(及包含k的那个强连通分量)就不能选了(这里标记为出度++)，至于为什么思路里有讲
}
}
}
for(register int i = ; i <= color; ++i)//枚举每种颜色(每个强连通分量)
{
if(!out[i])//要是没有出度(及当前强连通分量中没有奶牛喜欢别的奶牛)
{
++cnt;//记录有几个强连通分量的缩点没有出度
ans = sum[i];//注意，这里是sum[i]，因为i点只是当前强连通分量的缩点，真正被所有奶牛都喜欢的奶牛个数其实是这个强连通分量的大小(及当前强连通分量中奶牛的个数)
}
}
if(cnt == )//必须只有一个强连通分量没有出度，如果有多个也不行，因为这样那两个强连通分量里的奶牛都是不互相喜欢的
{
printf("%d", ans);
}
else
{
printf("");//没有奶牛被所有奶牛喜欢
}
return ;
}
