P2341 [USACO03FALL / HAOI2006] 受欢迎的牛 G

原题链接

题解，终于有一道题一遍过了

强连通分量缩点加本题个性化判断

code

#include<bits/stdc++.h>
using namespace std;

vector<int> G[10005];
int order[10005]={0},low[10005]={0},len=0;
stack<int> q;
int in_st[10005]={0};
int cnt=0;
int belong[10005]={0};
int sizes[10005]={0};
int fa[10005]={0};
int finds(int now){return (fa[now])=(fa[now]==now?now:finds(fa[now]));}

void ss(int now)//缩点，小团体内的人互相喜欢
{
    order[now]=low[now]=++len;
    q.push(now);
    in_st[now]=1;

    for(auto next:G[now])
    {
        if(!order[next])
        {
            ss(next);
            low[now]=min(low[now],low[next]);
        }
        else if(in_st[next]) low[now]=min(low[now],order[next]);
    }

    if(order[now]==low[now])
    {
        int x;
        cnt++;
        do
        {
            x=q.top();
            q.pop();
            belong[x]=cnt;
            sizes[cnt]++;
            in_st[x]=0;
        }while(x!=now);
    }
}

int main()
{
    int n,m;
    cin>>n>>m;

    for(int i=1;i<=n;i++)fa[i]=i;
    for(int i=1;i<=m;i++)
    {
        int x,y;
        cin>>x>>y;
        G[y].push_back(x);//如果x喜欢y则y可以做x的明星
    }

    for(int i=1;i<=n;i++) if(!order[i])ss(i);

    for(int i=1;i<=n;i++)
        for(auto to:G[i]) if(belong[to]!=belong[i]) fa[belong[to]]=belong[i];//缩点后的图建边，代表各个小团体间的喜欢关系

    set<int> ans;
    for(int i=1;i<=cnt;i++) ans.insert(finds(i));//并查集，同一个集合里的小团体代表有共同的明星小团体
    if(ans.size()>1) puts("0");//如果有两个明星小团体，代表没有人能赢得所有人的喜欢
    else cout<<sizes[*ans.begin()];//该团体内所有人都能赢得所有人的喜欢
    return 0;
}