[并查集拓展域] 食物链

食物链

动物王国中有三类动物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和K句话，输出假话的总数。
输入格式
第一行是两个整数N和K，以一个空格分隔。
以下K行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，其中D表示说法的种类。
若D=1，则表示X和Y是同类。
若D=2，则表示X吃Y。
输出格式
只有一个整数，表示假话的数目。
数据范围
1≤N≤50000,
0≤K≤100000
输入样例：
100 7
1 101 1
2 1 2
2 2 3
2 3 3
1 1 3
2 3 1
1 5 5
输出样例：
3

---

利用三个拓展的关系集合，同类，吃，和被吃。
维护集合的方法是：

当d = 1时 输入1 x y

1. 把x和y归位一类；
2. 把所有被x和y吃的归为一类；
3. 把 吃 x 和 y 的 归为一类；

当 d = 2时 输入2 x y

1. x 可以吃 y
2. y 被 x 吃
3. x 被 所以 可以被 y 吃的的吃

---

#include<bits/stdc++.h>
using namespace std;

const int maxn = 50001;

int f[maxn * 3];
int init(int n) {
    for (int i = 1; i <= n; i++) {
        f[i] = i;
    }
}
int find(int x) {
    return f[x] == x ? x : f[x] = find(f[x]);
}
void Union(int a, int b) { // a并到b集合
    int f_a = find(a), f_b = find(b);
    if (f_a != f_b) {
        f[f_a] = f_b;
    }
}
int main () {
    int n, k, ans = 0;
    cin >> n >> k;
    init (n * 3);
    for (int i = 0; i < k; i++) {
        int d, x, y;
        cin >> d >> x >> y;
        if (x > n || y > n) {
            ans++;
            continue;
        }
        if (d == 1) {
            if (find(x) == find(y + n) || find(x) == find(y + n + n)) {
                ans ++;
            } else {
                Union(x, y); // 把x和y归位一类
                Union(x + n, y + n); // 把所有被x和y吃的归为一类
                Union(x + n + n, y + n + n); // 把 吃 x 和 y 的 归为一类
            }
        } else {
            if (x == y || find(x) == find(y) || find(x) == find(y + n + n)) {
                ans ++;
            } else {
                Union(x, y + n); //x 可以吃 y
                Union(x + n + n, y); // y 被 x 吃
                Union(x + n, y + n + n); // x 被 所以 可以被 y 吃的的吃
            }
        }
    }
    cout << ans;
    return 0;
}