EOJ 3384 食物链

动物王国中有三类动物 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 句话有的是真的，有的是假的。当一句话满足下列三条之一时，这句话就是假话，否则就是真话：

当前的话与前面的某些真的话冲突，就是假话；
当前的话中 X 或 Y 比 N 大，就是假话；
当前的话表示 X 吃 X，就是假话。
你的任务是根据给定的 N (1≤N≤50 000) 和 K 句话 (0≤K≤100 000)，输出假话的总数。

---

以下代码来自https://blog.csdn.net/fwq990720/article/details/79108057

 #include <iostream>
 using namespace std;

 int father[], kind[];

 int Find(int x)
 {
     if (x == father[x]) return father[x];
     int y = Find(father[x]);
     kind[x] = (kind[x] + kind[father[x]]) % ;
     return father[x] = y;
 }

 int Union(int op, int sp1, int sp2)
 {
     int x = Find(sp1), y = Find(sp2);
     if (x == y){
         if ((kind[sp1] - kind[sp2] + ) %  == op - ) return ;
         return ;
     }
     father[x] = y;
     kind[x] = (-kind[sp1] + op -  + kind[sp2] + ) % ;
     return ;
 }

 int main()
 {
     int n, k, op, sp1, sp2, cnt = , i;
     cin >> n >> k;
     for (i = ; i <= n; ++i){
         father[i] = i;
         kind[i] = ;
     }
     for (i = ;i < k; ++i){
         cin >> op >> sp1 >> sp2;
         if (op ==  && sp1 == sp2) ++cnt;
         else if (sp1 > n || sp2 > n) ++cnt;
         else cnt += Union(op, sp1, sp2);
     }
     cout << cnt << endl;
     return ;
 }

实在是太难了，找规律实在是难以找到。

经典的种类并查集，需要维护一个kind数组以记录和父节点的关系，并且在查找和合并时，要更新关系。

脑壳疼。