图论神题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;
}