1051: [HAOI2006]受欢迎的牛

1051: [HAOI2006]受欢迎的牛

Time Limit: 10 Sec  Memory Limit: 162 MB
Submit: 2410  Solved: 1276
[Submit][Status]

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

Source

 题解：这辈子第一次写tarjan强连通分量，才知道这玩意可以如此霸气地实现缩点。在这里面就是先缩完了点，然后重新弄出来一个图，然后看图上出度为0的点是否唯一，如果唯一，输出这个缩点上有多少个点，否则0.。。。么么哒（个人觉得百度百科的算法讲解说的挺好的，赞一个：传送门在此）

type
    point=^node;
    node=record
               g:longint;
               next:point;
    end;
var
   i,j,k,l,m,n,h,t,ans:longint;
   s,ss:array[0..100000] of boolean;
   a:array[0..100000] of point;
   c:array[0..100000,1..2] of longint;
   f,b,low,dfn,d,e:array[0..100000] of longint;
function min(x,y:longint):longint;inline;
         begin
              if x<y then min:=x else min:=y;
         end;
procedure add(x,y:longint);inline;
          var p:point;
          begin
               new(p);
               p^.g:=y;
               p^.next:=a[x];
               a[x]:=p;
          end;
procedure tarjan(x:longint);
          var i,j,k:longint;p:point;
          begin
               inc(h);
               low[x]:=h;dfn[x]:=h;
               inc(t);
               ss[x]:=true;s[x]:=true;
               f[t]:=x;
               p:=a[x];
               while p<>nil do
                     begin
                          if not(s[p^.g]) then
                             begin
                                  tarjan(p^.g);
                                  low[x]:=min(low[x],low[p^.g]);
                             end
                          else if ss[p^.g] then low[x]:=min(low[x],dfn[p^.g]);
                          p:=p^.next;
                     end;
               if low[x]=dfn[x] then
                  begin
                       inc(ans);
                       while f[t+1]<>x do
                             begin
                                  ss[f[t]]:=false;
                                  b[f[t]]:=ans;
                                  dec(t);
                             end;
                  end;
          end;
begin
     readln(n,m);
     fillchar(s,sizeof(s),0);
     fillchar(ss,sizeof(ss),0);
     fillchar(b,sizeof(b),0);
     fillchar(low,sizeof(low),0);
     fillchar(dfn,sizeof(dfn),0);
     for i:=1 to n do a[i]:=nil;
     for i:=1 to m do
         begin
              readln(c[i,1],c[i,2]);
              add(c[i,1],c[i,2]);
         end;
     tarjan(1);
     fillchar(d,sizeof(d),0);
     fillchar(e,sizeof(e),0);
     for i:=1 to n do inc(e[b[i]]);
     for i:=1 to m do
              if b[c[i,1]]<>b[c[i,2]] then inc(d[b[c[i,1]]]);   //吐槽：这边我第一遍交的时候写的是inc(d[c[i,1]])，显然这是一个相当愚蠢的错误，可问题是居然还是AC了？！？！表示不解*_*(HansBug:我猜是phile神犇保佑了吧233)
     j:=-1;
     for i:=1 to ans do
         begin
              if d[i]=0 then
                 begin
                      if j=-1 then j:=i else
                         begin
                              writeln(0);
                              halt;
                         end;
                 end;
         end;
     if j=-1 then writeln(0) else writeln(e[j]);
     readln;
end.