tarjan模板题。
如果有至少两个点的出度为0，则说明不可能有一个点会被所有点都遍历到。

#include<bits/stdc++.h>
using namespace std;
const int N = 1e4+10,M = 5e4+10;
int n,m;
int h[N],e[M],ne[M],idx;
int stk[N],top;
int dfn[N],low[N],timestamp;
bool in_stk[N];
int id[N],scc_cnt,dout[N],siz[N];

void add(int a,int b)
{
    e[idx]=b,ne[idx]=h[a],h[a]=idx++;
}
void tarjan(int u)
{
    dfn[u]=low[u]=++timestamp;
    stk[++top]=u,in_stk[u]=true;
    for(int i=h[u];~i;i=ne[i])
    {
        int j=e[i];
        if(!dfn[j])
        {
            tarjan(j);
            low[u]=min(low[u],low[j]);
        }   
        else if(in_stk[j]){
            low[u]=min(low[u],dfn[j]);
        }
    }
    if(dfn[u]==low[u])
    {
        ++scc_cnt;
        int y;
        do{
            y=stk[top--];
            in_stk[y]=false;
            id[y]=scc_cnt;
            siz[scc_cnt]++;            
        }while(y!=u);
    }
}

int main()
{
    memset(h,-1,sizeof h);
    cin>>n>>m;
    int a,b;
    for(int i=0;i<m;i++)
    {
        cin>>a>>b;
        add(a,b);
    }
    for(int i=1;i<=n;i++)
        if(!dfn[i])
            tarjan(i);

    for(int i=1;i<=n;i++)
        for(int j=h[i];~j;j=ne[j])
        {
            int k=e[j];
            int a=id[i],b=id[k];
            if(a!=b)
                dout[a]++;
        }

    int cnt=0,sum=0;
    for(int i=1;i<=scc_cnt;i++)
    {
        if(!dout[i])
        {
            cnt++;
            sum+=siz[i];
            if(cnt>1)
            {
                sum=0;
                break;
            }
        }
    }
    cout<<sum;
    return 0;
}