bzoj1051 [HAOI2006]受欢迎的牛

Description

　　每一头牛的愿望就是变成一头最受欢迎的牛。现在有N头牛，给你M对整数(A,B)，表示牛A认为牛B受欢迎。 这

种关系是具有传递性的，如果A认为B受欢迎，B认为C受欢迎，那么牛A也认为牛C受欢迎。你的任务是求出有多少头

牛被所有的牛认为是受欢迎的。

 

Input

　　第一行两个数N,M。 接下来M行，每行两个数A,B，意思是A认为B是受欢迎的（给出的信息有可能重复，即有可

能出现多个A,B）

 

Output

　　一个数，即有多少头牛被所有的牛认为是受欢迎的。

Sample Input

3 3
1 2
2 1
2 3

Sample Output

1

 

HINT

100%的数据N<=10000,M<=50000

 

 

 

先tarjan将强连通分量缩点，如果出度为0的强连通分量超过1个，输出0，如果只有一个，输出那个的大小就行了。

一开始在洛谷无限WA，然后发现时把dfs时的low初值写成k了，实际上是cnt。

program rrr(input,output);
type
  etype=record
     t,next:longint;
  end;
var
   e:array[0..50050]of etype;
   a,q,belong,siz,dfn,low:array[0..10010]of longint;
   inq,c:array[0..10010]of boolean;
   n,m,i,j,cnt,top,tot,x,y:longint;
procedure add(x,y:longint);
begin
   inc(cnt);e[cnt].t:=y;e[cnt].next:=a[x];a[x]:=cnt;
end;
procedure tarjan(k:longint);
var
  i:longint;
begin
  inc(cnt);dfn[k]:=cnt;low[k]:=cnt;
  inq[k]:=true;inc(top);q[top]:=k;
  i:=a[k];
  while i<>0 do
     begin
        if dfn[e[i].t]=0 then begin tarjan(e[i].t);if low[e[i].t]<low[k] then low[k]:=low[e[i].t]; end
        else if inq[e[i].t] and (dfn[e[i].t]<low[k]) then low[k]:=dfn[e[i].t];
        i:=e[i].next;
     end;
   if dfn[k]=low[k] then
      begin
         inc(tot);
         while q[top]<>k do
            begin
               belong[q[top]]:=tot;inc(siz[tot]);
               inq[q[top]]:=false;dec(top);
            end;
         belong[k]:=tot;inc(siz[tot]);dec(top);inq[k]:=false;
      end;
end;
begin
   assign(input,'r.in');assign(output,'r.out');reset(input);rewrite(output);
   readln(n,m);
   fillchar(a,sizeof(a),0);cnt:=0;
   for i:=1 to m do begin readln(x,y);add(x,y); end;
   cnt:=0;fillchar(dfn,sizeof(dfn),0);
   top:=0;fillchar(inq,sizeof(inq),false);
   tot:=0;fillchar(siz,sizeof(siz),0);
   for i:=1 to n do if dfn[i]=0 then tarjan(i);
   fillchar(c,sizeof(c),false);
   for i:=1 to n do
      if not c[belong[i]] then
         begin
            j:=a[i];
            while j<>0 do
               begin
                  if belong[i]<>belong[e[j].t] then begin c[belong[i]]:=true;break; end;
                  j:=e[j].next;
               end;
         end;
   j:=0;
   for i:=1 to tot do if not c[i] then begin if j>0 then begin j:=0;break; end;j:=i; end;
   if j=0 then write(0) else write(siz[j]);
   close(input);close(output);
end.