BZOJ 1051 缩点

按照关系建立又向边，缩点为DAG图，重新构图，判断是否有且仅有一个出度为0的点，如果是，这个点所代表的环上的点数就是答案。

否侧，不存在~

#include <iostream>
#include <cstring>
#include <cstdio>
#include <cstdlib>
#include <algorithm>

#define N 111111
#define M 555555

using namespace std;

struct S
{
    int a,b;
}s[M];

int n,m,divg,gs,cnt,tle,res,ans;
int head[N],next[M],to[M];
int out[N],belong[N],dfn[N],low[N],num[N],stk[N],q[N];
bool fg[N];

inline void add(int u,int v)
{
    to[cnt]=v; next[cnt]=head[u]; head[u]=cnt++;
}

inline void read()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
        scanf("%d%d",&s[i].a,&s[i].b);
}

inline void dfs(int u)
{
    dfn[u]=low[u]=++tle;
    stk[++gs]=u; fg[u]=true;
    for(int i=head[u];~i;i=next[i])
    {
        if(!dfn[to[i]])
        {
            dfs(to[i]);
            low[u]=min(low[u],low[to[i]]);
        }
        else if(fg[to[i]]) low[u]=min(dfn[to[i]],low[u]);
    }
    if(dfn[u]==low[u])
    {
        divg++; int tmp=-1;
        while(tmp!=u)
        {
            tmp=stk[gs--];
            belong[tmp]=divg;
            num[divg]++;
            fg[tmp]=false;
        }
    }
}

inline void go()
{
    memset(head,-1,sizeof head); cnt=0;
    for(int i=1;i<=m;i++) add(s[i].a,s[i].b);
    for(int i=1;i<=n;i++)
        if(!dfn[i]) dfs(i);
    memset(head,-1,sizeof head); cnt=0;
    for(int i=1;i<=m;i++)
        if(belong[s[i].a]!=belong[s[i].b]) out[belong[s[i].a]]++;
    for(int i=1;i<=divg;i++)
        if(out[i]==0) res++,ans=i;
    if(res==1) printf("%d\n",num[ans]);
    else puts("0");
}

int main()
{
    read(),go();
    return 0;
}