[HAOI2006] 受欢迎的牛（Tarjan缩点板题）

传送门

步骤：

$Tarjan$ 板子缩点后，重新遍历原图存在的边新建一个有向无环图，并统计每个点的出度，出度为 $0$ 的点即为所求。

然而读题可以发现，出度为 $0$ 的点多于 $1$ 个时为无解，因为不满足题目中的被所有的牛认为受欢迎，因此需要判断出度为 $0$ 的点的唯一性。答案即为该点在原图中，该强连通分量中的点的个数。

#include <bits/stdc++.h>
#define int long long
#define PII pair<int,int>
using namespace std;

const int N=1e5+10;
vector <int> h[N];
bool vis[N],in[N];
int dfn[N],low[N],suo[N],num[N],a[N];
stack<int> st;
int tmp=0,cnt=0,x=0;
vector<PII> p;
int ans=0;
map <PII,int> mp;

void tarjan(int u){
	dfn[u]=low[u]=++x;
	vis[u]=in[u]=true;
	st.push(u);
	
	for(auto v:h[u]){
		if(!dfn[v]){
			tarjan(v);
			low[u]=min(low[u],low[v]);
		}
		else if(in[v])
			low[u]=min(low[u],dfn[v]);
	}
	
	if(dfn[u]==low[u]){
		cnt++;
		do{
			tmp=st.top();
			st.pop();
			in[tmp]=false;
			suo[tmp]=cnt;
			a[cnt]++;
		}
		while(u!=tmp);
	}
}

signed main(){
	int n,m;
	cin>>n>>m;
	for(int i=1;i<=m;i++){
		int u,v;
		cin>>u>>v;
		if(mp[{u,v}])
			continue;
		mp[{u,v}]++; 
		p.push_back({u,v});
		h[u].push_back(v);
	}
	
	for(int i=1;i<=n;i++){
		if(!vis[i])
			tarjan(i);
	}
	
	for(auto i:p){
		if(suo[i.first]==suo[i.second])
			continue;
		else
			num[suo[i.first]]++;
	}
	
	memset(vis,0,sizeof(vis));
	
	int flag=0;
	for(int i=1;i<=n;i++){
		int j=suo[i];
		if(num[j]==0&&!vis[j]){
			flag++;
			ans=a[j];
			vis[j]=1;
		}
		if(flag>1){
			cout<<0;
			return 0;
		}
	}
	
	cout<<ans;


	return 0;
}