(ssl1224)P2024 食物链(difficult)

食物链(difficult)

Time Limit:10000MS

Memory Limit:65536K

Total Submit:121

Accepted:44

Case Time Limit:1000MS

Description

动物王国中有三类动物A,B,C，这三类动物的食物链构成了有趣的环形。A吃B， B吃C，C吃A。
现有N个动物，以1－N编号。每个动物都是A,B,C中的一种，但是我们并不知道它到底是哪一种。
有人用两种说法对这N个动物所构成的食物链关系进行描述：
第一种说法是“1 X Y”，表示X和Y是同类。
第二种说法是“2 X Y”，表示X吃Y。
此人对N个动物，用上述两种说法，一句接一句地说出K句话，这K句话有的是真的，有的是假的。当一句话满足下列三条之一时，这句话就是假话，否则就是真话。
1） 当前的话与前面的某些真的话冲突，就是假话；
2） 当前的话中X或Y比N大，就是假话；
3） 当前的话表示X吃X，就是假话。
你的任务是根据给定的N（1<=N<=50,000）和K句话（0<=K<=100,000），输出假话的总数。

Input

第一行是两个整数N和K，以一个空格分隔。
以下K行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，其中D表示说法的种类。
若D=1，则表示X和Y是同类。
若D=2，则表示X吃Y。

Output

只有一个整数，表示假话的数目。

Sample Input

输入文件 对7句话的分析
100 7
1 101 1 假话
2 1 2 真话
2 2 3 真话
2 3 3 假话
1 1 3 假话
2 3 1 真话
1 5 5 真话

Sample Output

3

Hint

NOI2001

Source

elba

   题解：本题是并查集(需要压缩路径)(并查集详见)：这里)`
      本题中的三种动物是不同种族的，一种的动物与其他动物有亲戚、吃、被吃的关系。
      如果要分开的话要开3个数组和3个不同的find。所以在此处我将3个数组合并在一起
，在find中用+0、+n、+2*n来分开三个关系

var
 f:array[0..150000]of longint;
 n,k,x,y,z,i,ans:longint;
function find(x:longint):longint;//找爸爸+压缩路径
var
 y,r:longint;
begin
 y:=x;
 while f[y]<>y do y:=f[y];
 r:=f[y];
 while f[x]<>x do
  begin
   x:=f[x];
   f[x]:=r;
  end;
 exit(r);
end;
function check:boolean;
var
 q,w,e,a,s,d:longint;
begin
 q:=find(x); w:=find(x+n); e:=find(x+2*n);//分别找出x、y集合的亲戚，捕食者、食物
 a:=find(y); s:=find(y+n); d:=find(y+2*n);
 if z=1 then
  if (f[q]=f[s]) or (f[a]=f[w]) then exit(true)//如果y吃x或y被x吃，就不是同类，就不是真话
    else
     begin
      f[q]:=f[a];//合并
      f[w]:=f[s];
      f[e]:=f[d];
      exit(false);
     end
        else
   if (f[w]=f[s]) or (f[e]=f[s]) then exit(true)//如果它们吃得一样(亲戚)或y吃x，就不符"x吃y"的题意，就不是真话
    else
     begin
      f[q]:=f[s];
      f[a]:=f[e];
      f[d]:=f[w];
      exit(false);
     end;
end;
begin
 read(n,k);
 for i:=1 to 3*n do f[i]:=i;//先赋个值
 for i:=1 to k do
  begin
   read(z,x,y);
   if (x>n) or (y>n) or ((x=y) and (z=2)) or (check) then inc(ans);//假话的三种情况
  end;
 writeln(ans);
end.