食物链

动物王国中有三类动物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

#include <iostream>
using namespace std;
const int N = 2e5;
int fa[N];
int find(int x) {
    if(x == fa[x]) return x;
    return fa[x] = find(fa[x]);
}
void merge(int x, int y) {
    fa[find(x)] = find(y);
}
//x是捕食域
//x+n是同类域
//x+n+n是天敌域
int main() {
    int n, k, ans = 0;
    cin >> n >> k;
    for(int i = 1; i <= 3*n; i++) fa[i] = i;
    int d, x, y;
    while(k--) {
        cin >> d >> x >> y;
        if(x > n || y > n) ans++;
        else if(d == 1) {
            //xy同类为假=={x_eat==y_self; x_self==y_eat};
            if(find(x) == find(y+n) || find(x+n) == find(y)) ans++;
            else {
                //合并所有所属域
                merge(x, y);
                merge(x+n,y+n);
                merge(x+2*n,y+2*n);
            }
        } else if(d == 2) {
            //xeaty为假=={y-not-eat-x || y-eat-x}=={x_self==y_self, x_self==y_eat};
            if(find(x+n)==find(y) || find(x+n) == find(y+n)) ans++;
            else {
                //合并{{x_eat,y_self},{y_eat, x_enemy},{x_self,y_enemy}};
                merge(x,y+n);
                merge(y,x+2*n);
                merge(x+n,y+2*n);
            }
        }
    }
    cout << ans << endl;
    return 0;
}