bzoj1064 [Noi2008]假面舞会（图论+dfs）

图论神题orz

如果这个图有环，那么最大的就是所有环长的gcd。这里有环不仅仅指有向图上的环，一些边反向后可以成环的也算（因为这种相当于两条收尾相同的链，它隐含着一个长度为两条链的长度的差的环）。为了方便，我们把有向边x->y，拆成正向边x->y,1和反向边y->x,-1。这样环长就直接是环长了。最小的就是>=3的最小的gcd的因数。

如果没有环，我们考虑原图的一个连通块，他最多有最长链上的点数个颜色，那么最大的就是所有连通块的最长链的和了。但是考虑到我们需要dfs多次求出一个连通块的最长链，我们可以求出距离根距离最大的和最小的，那么最长链就是mx-mn+1。如果最多的>=3，那么最少的就是3，因为每一个连通块你都可以用两/一种颜色实现染色。

比较抽象，看不懂去画图吧qaq

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
#include <bitset>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 100010
inline char gc(){
    static char buf[1<<16],*S,*T;
    if(S==T){T=(S=buf)+fread(buf,1,1<<16,stdin);if(T==S) return EOF;}
    return *S++;
}
inline int read(){
    int x=0,f=1;char ch=gc();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=gc();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=gc();
    return x*f;
}
int n,m,h[N],num=1,dis[N],ans=0,sum=0,mn,mx;
bool vis[N];
struct edge{
    int to,next,val;
}data[N*10*2];
inline void add(int x,int y){
    data[++num].to=y;data[num].next=h[x];h[x]=num;data[num].val=1;
    data[++num].to=x;data[num].next=h[y];h[y]=num;data[num].val=-1;
}
inline int gcd(int x,int y){return y?gcd(y,x%y):x;}
void dfs1(int x){
    vis[x]=1;mn=min(mn,dis[x]);mx=max(mx,dis[x]);
    for(int i=h[x];i;i=data[i].next){
        int y=data[i].to;if(vis[y]) ans=gcd(abs(dis[x]-dis[y]+data[i].val),ans);
        else dis[y]=dis[x]+data[i].val,dfs1(y);
    }
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();m=read();
    while(m--){int x=read(),y=read();add(x,y);}
    for(int i=1;i<=n;++i){
        if(vis[i]) continue;mn=0,mx=0;
        dfs1(i);sum+=mx-mn+1;
    }if(ans){//有环，最长为所有环长gcd 
        if(ans<3){puts("-1 -1");return 0;}int x;
        for(x=3;ans%x;++x);printf("%d %d\n",ans,x);return 0;
    }if(sum<3){puts("-1 -1");return 0;}//无环，就是每个连通块的最长链的点数和 
    printf("%d %d\n",sum,3);
    return 0;
}