CodeForces 183C

如果形成一个环，点的个数为cnt，那么ans|cnt，
如果两条单链相交，点个数分别为为cnt1，cnt2，那么ans|abs(cnt1-cnt2)
所以通过加入一条-1的边，把有向图变成无向图，直接求路径长的gcd就好了

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
#define rep(i,n) for (int i=1;i<=n;++i)
const int N=200005;
namespace AA{
    int n,m,ans,l,x,y,v[N],son[N],ed[N],next[N],data[N];
    void dfs(int x,int d)
    {
        if (v[x]){ans=__gcd(ans,d-v[x]); return;}
        v[x]=d;
        for (int p=son[x];p;p=next[p]) dfs(ed[p],d+data[p]);
    }
    void doit(){
        scanf("%d%d",&n,&m);
        rep(i,m) scanf("%d%d",&x,&y),
            ed[++l]=y,data[l]=1,next[l]=son[x],son[x]=l,
            ed[++l]=x,data[l]=-1,next[l]=son[y],son[y]=l;
        rep(i,n) if (!v[i]) dfs(i,n+n);
        printf("%d\n",ans?abs(ans):n);
    }
}
int main()
{
    AA::doit();
    return 0;
}