ACWing 240(并查集 扩展域)

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

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

解题思路：我们可以使用带权并查集来做，判断两个点之间的值是否满足条件，这里我们介绍另一种思路，并查集的扩展域。
普通的并查集是合并两个集合，但是这里我们将一个集合分裂成三个集合，x，x的食物，x的天敌，如果我们知道了一个x和y是同类，那么x的食物和y的食物也是同类，x的天敌和y的天敌也是同类，依次类推，我们这样合并的时候合并三个关系，如果发现冲突，那么就表示答案错误。
代码：

#pragma GCC optimize(2)
#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <string>
#include <vector>
#include <set>
#include <map>
#include <stack>
#include <bitset>
#include <queue>
//#include <random>
#include <time.h>
using namespace std;
#define int long long
#define ull unsigned long long
#define ls root<<1
#define rs root<<1|1
const int maxn=5e5+10;
const int maxm=1e6+10;
//std::mt19937 rnd(time(NULL));
int fa[maxn];
int findfa(int x)
{
    return fa[x]=(fa[x]==x)?x:findfa(fa[x]);
}
void merGe(int a,int b)
{
    int ta=findfa(a),tb=findfa(b);
    fa[ta]=tb;
}
signed main()
{
    int n,k,ans=0;
    scanf("%lld%lld",&n,&k);
    for(int i=1;i<=3*n;i++){
        fa[i]=i;
    }
    for(int i=1;i<=k;i++){
        int d,x,y;
        scanf("%lld%lld%lld",&d,&x,&y);
        if(x>n || y>n || x<=0 || y<=0){ans++;continue;}
        int xeat=x+n,xf=x+2*n,yeat=y+n,yf=y+2*n;
        if(d==1){
            if(findfa(x)==findfa(yeat) || findfa(xeat)==findfa(y)){
                ans++;continue;
            }
            merGe(x,y),merGe(xeat,yeat),merGe(xf,yf);
        }
        else{
            if(findfa(x)==findfa(yeat) || findfa(x)==findfa(y)){
                ans++;continue;
            }
            merGe(xeat,y),merGe(xf,yeat),merGe(x,yf);
        }
    }
    printf("%lld\n",ans);
}