PS

• 此题是并查集的一种抽象运用，通过开大空间，将一条逻辑链存到一个合并集合里
• 开眼看世界

题意

• 三种动物：a吃b，b吃a，c吃a
• n只动物，m条信息，信息就两类——ab是同类\a吃b
• 若一条信息和之前矛盾，则认为新出现的是假信息，求一共有多少条假信息

思路

• 最终维护三个集合，每个集合代表一种逻辑关系：1号是A，1号是B，1号是C
• 同时1-n代表是A，n+1-2n代表是B，2n+1-3n代表是C
• 对于每一次信息，通过find判断是否成立，如a吃b，就判断a和b+n是否有同一个根结点
• 对于a是b的同类，如果ab之间没有吃和被吃的关系，就可以建立

AC代码

#include<bits/stdc++.h>
using namespace std;
int fa[202020];
int n,k,op,x,y;
int find(int x){
    return fa[x]==x?x:fa[x]=find(fa[x]);
}
void merge(int p,int q){
    fa[find(p)]=find(q);
}
int main(){
    cin>>n>>k;
    for(int i=1;i<=3*n;i++){
        fa[i]=i;
    }
    long long ans=0;
    for(int i=0;i<k;i++){
        scanf("%d%d%d",&op,&x,&y);
        if(x>n||y>n){
            ans++;
            continue;
        }
        if(op==1){
            if(find(x)==find(y+n)||find(x)==find(y+2*n)){
                ans++;
            }else{
                merge(x,y);
                merge(x+n,y+n);
                merge(x+2*n,y+2*n);
            }
        }else{
            if(find(x)==find(y)||find(x)==find(y+2*n)){
                ans++;
            }else{
                merge(x,y+n);
                merge(x+n,y+2*n);
                merge(x+2*n,y);
            }
        }
    }
    cout<<ans;
    return 0;
}