[BZOZ1064][NOI2008]假面舞会 图论

看来从简单入手到复杂情况的思想还没有形成。。。
这题就需要分情况讨论的，显然每个弱联通块是可以单独拿出来讨论的。
一棵树？最大为树深，最小为3（如果树有那么深的话）
一个环？最大为环上点数，最小为环上点数的最小约数(>=3)
一个弱联通意义下的环？我们可以发现一个性质，如果一个点所练的两条边方向相反，那么这两条边是可以抵消掉的，就变成原来的环啦。
于是我们就有思路了，把有向图转化为无向图，正向边权为1，反向边权为-1。树深就对应着最长链长：最大深度-最小深度（为非正数）+1，环长也可以搞了，一遍bfs两个都搞定。
最后统计答案，若没有环，那么最大为树深之和，最小为3；若有环，树都无效了，最大为所有环长的gcd，最小为gcd的最小约数（>=3）.
两个环有公共部分是不影响答案的。
代码：

type  edge=^edgenode;  edgenode=record    t,w:longint;    next:edge;  end;var  n,m,i,x,y,gcd,sum,d:longint;  con:array[0..100100]of edge;  visit:array[0..100100]of boolean;  dl,dist:array[0..100100]of longint;procedure ins(x,y,w:longint);var  p:edge;begin  new(p);  p^.t:=y;  p^.w:=w;  p^.next:=con[x];  con[x]:=p;end;function min(x,y:longint):longint;begin  if x>y then exit(y)  else exit(x);end;function max(x,y:longint):longint;begin  if x<y then exit(y)  else exit(x);end;function qgcd(x,y:longint):longint;begin  if y=0 then exit(x)  else exit(qgcd(y,x mod y));end;function bfs(v:longint):longint;var  maxdist,mindist,head,tail,x:longint;  p:edge;begin  head:=1;  tail:=1;  dl[1]:=v;  visit[v]:=true;  dist[v]:=0;  maxdist:=0;  mindist:=0;  while head<=tail do  begin    x:=dl[head];    p:=con[x];    while p<>nil do    begin      if visit[p^.t] then gcd:=qgcd(dist[x]-dist[p^.t]+p^.w,gcd)      else      begin        visit[p^.t]:=true;        inc(tail);        dl[tail]:=p^.t;        dist[p^.t]:=dist[x]+p^.w;        maxdist:=max(maxdist,dist[p^.t]);        mindist:=min(mindist,dist[p^.t]);      end;      p:=p^.next;    end;    inc(head);  end;  exit(maxdist-mindist+1);end;begin  readln(n,m);  for i:=1 to m do  begin    readln(x,y);    ins(x,y,1);    ins(y,x,-1);  end;  gcd:=0;  fillchar(visit,sizeof(visit),0);  for i:=1 to n do    if not visit[i] then inc(sum,bfs(i));  gcd:=abs(gcd);  if gcd>0 then  begin    if gcd<3 then writeln(-1,' ',-1)    else    begin      for i:=3 to gcd do        if gcd mod i=0 then break;      writeln(gcd,' ',i);    end;  end  else  begin    if sum<3 then writeln(-1,' ',-1)    else writeln(sum,' ',3);  end;end.