HDU-2186 Popular Cows（Tarjan+强连通缩点）

题意

给定 $n$ 个节点和 $m$ 条单向边代表关系链（可传递），求被其他所有点关系的点数。
$1 \leq n \leq 10000$
$1 \leq m \leq 50000$

思路

与上题相同仍是强连通缩点，存在被所有点关系的点的条件是缩点图中只有一个点出度为零，而这个答案就是这个缩点代表的强连通分量中的节点数。所以这题序维护缩点的出度和原图中节点数。

代码

#include<iostream>
#include<cmath>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#define FOR(i,x,y) for(int i=(x);i<=(y);i++)
#define DOR(i,x,y) for(int i=(x);i>=(y);i--)
#define N 10003
#define M 50003
typedef long long LL;
using namespace std;
template<const int maxn,const int maxm>struct Linked_list
{
    int head[maxn],to[maxm],nxt[maxm],tot;
    void clear(){memset(head,-1,sizeof(head));tot=0;}
    void add(int u,int v){to[++tot]=v,nxt[tot]=head[u];head[u]=tot;}
    #define EOR(i,G,u) for(int i=G.head[u];~i;i=G.nxt[i])
};
Linked_list<N,M>G;
int dfn[N],low[N],bel[N],stk[N],cnt[N],oud[N];
int ord,n,m,B,tp,ans;

void tarjan(int u)
{
    dfn[u]=low[u]=++ord;
    stk[++tp]=u;
    EOR(i,G,u)
    {
        int v=G.to[i];
        if(!dfn[v])
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }else if(!bel[v])low[u]=min(low[u],dfn[v]);
    }
    if(dfn[u]==low[u])
    {
        B++;int v;
        do
        {
            v=stk[tp--];
            bel[v]=B;
        }while(u!=v);
    }
}

int main()
{
    G.clear();
    scanf("%d%d",&n,&m);
    FOR(i,1,m)
    {
        int u,v;
        scanf("%d%d",&u,&v);
        G.add(u,v);
    }
    FOR(i,1,n)if(!dfn[i])tarjan(i);
    FOR(u,1,n)
    {
        cnt[bel[u]]++;
        EOR(i,G,u)
        {
            int v=G.to[i];
            if(bel[u]==bel[v])continue;
            oud[bel[u]]++;
        }
    }
    FOR(i,1,B)if(!oud[i])
    {
        if(ans)
        {
            ans=0;
            break;
        }
        else ans=cnt[i];
    }
    printf("%d\n",ans);
    return 0;
}