原题
题目描述 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.