CodeVS 2833-奇怪的梦境

原题

题目描述 Description

Aiden陷入了一个奇怪的梦境：他被困在一个小房子中，墙上有很多按钮，还有一个屏幕，上面显示了一些信息。屏幕上说，要将所有按钮都按下才能出去，而又给出了一些信息，说明了某个按钮只能在另一个按钮按下之后才能按下，而没有被提及的按钮则可以在任何时候按下。可是Aiden发现屏幕上所给信息似乎有矛盾，请你来帮忙判断。

输入描述 Input Description

第一行，两个数N，M，表示有编号为1...N这N个按钮，屏幕上有M条信息。

接下来的M行，每行两个数ai，bi，表示bi按钮要在ai之后按下。所给信息可能有重复，保证ai≠bi。

输出描述 Output Description

若按钮能全部按下，则输出“o(∩_∩)o”。

若不能，第一行输出“T_T”，第二行输出因信息有矛盾而无法确认按下顺序的按钮的个数。输出不包括引号。

样例输入 Sample Input

3 3

1 2

2 3

3 2

样例输出 Sample Output

T_T

2

数据范围及提示 Data Size & Hint

对于30%的数据，保证0＜N≤100。

对于50%的数据，保证0＜N≤2000。

对于70%的数据，保证0＜N≤5000。

对于100%的数据，保证0＜N≤10000，0<M≤2.5N。

题解

拓扑。

用邻接表，每次将读入一条边xy，给y的入度加上1。然后找出所有入度为0的点，将从这点发出的所有的边删除，即将边对面的点的入度-1，如果入度变为0则加入队列里。

最后如果队尾=n，那么就能全部按下，不然则输出n-队尾。

代码：

var fir,q,g:array[1..10010] of longint;
var ne,b:array[1..25000] of longint;
var n,m,i,j,h,w,t,tot,x,y,now:longint;
procedure add(x,y:longint);
begin
  inc(tot);inc(g[y]);b[tot]:=y;ne[tot]:=fir[x];fir[x]:=tot;
end;
begin
  readln(n,m);
  for i:=1 to m do begin readln(x,y);add(x,y); end;
  for i:=1 to n do if g[i]=0 then begin inc(t);q[t]:=i; end;
  h:=1;
  while h<=t do
  begin
    now:=q[h];j:=fir[now];
    while j>0 do
    begin
      dec(g[b[j]]);
      if g[b[j]]=0 then begin inc(t);q[t]:=b[j]; end;
      j:=ne[j];
    end;
    inc(h);
  end;
  if t=n then writeln('o(∩_∩)o') else begin writeln('T_T');writeln(n-t); end;
end.