扩展域并查集

食物链

动物王国中有三类动物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），输出假话的总数。
输入：
第一行是两个整数N和K，以一个空格分隔。
以下K行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，其中D表示说法的种类。
若D=1，则表示X和Y是同类。
若D=2，则表示X吃Y。
输出：
一个整数，表示假话的数目。
样例输入：
100 7
1 101 1
2 1 2
2 2 3
2 3 3
1 1 3
2 3 1
1 5 5
样例输出：
3
有些情况下，元素不只含有一个属性，传递的关系也不只一种。因此我们可以将每个元素拆成多个元素，在合并的时候维护关系的传递性，通过扩展出来的属性来维护传递性。其实就是把原来的集合扩大几倍，然后在新的集合中建立关系。三种判断条件就第一条比较麻烦，有两种可能性：（1）x和y是同类，则x和y的三种属性都是相同的。如果x_eat与y在一个集合(x吃y)或者x和y_eat在一个集合(y吃x)，则这句话是错误的。合并x和y，x_eat和y_eat，x_enemy和y_enemy。（2）x是y的天敌。如果x和y在一个集合(x和y是同类)或者x和y_eat在同一集合(y吃x)，则这句话是错误的。合并x_eat和y，x和y_enemy，x_enemy和y_eat。

#include <iostream>
#include <stdio.h>
#include <string.h>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define N 1000001
using namespace std;
int fa[N];
int Find(int a)//寻找根节点
{
    if (fa[a]==a) return a;
    return fa[a]=Find(fa[a]);
}
int main()
{
    int n,k,ans=0;
    scanf("%d%d",&n,&k);
    for(int i=1;i<=3*n;i++)//自己，自己能吃的别的动物，能被自己吃的别的动物
    {
        fa[i]=i;//初始化
    }
    for(int i=1;i<=k;i++)
    {
        int x,y,z;
        scanf("%d%d%d",&x,&y,&z);
        if(z>n||y>n||(x==2&&y==z))//（2），（3）条件的判断
        {
            ans++;
            continue;
        }
        int z_eat=z+n;
        int z_enemy=z+2*n;
        int y_eat=y+n;
        int y_enemy=y+2*n;
        if(x==1)//判断（1）条件
        {
            if (Find(y_eat)==Find(z)||Find(y)==Find(z_eat)) ans++;
            else
            {
                fa[Find(y)]=Find(z);
                fa[Find(y_eat)]=Find(z_eat);
                fa[Find(y_enemy)]=Find(z_enemy);
            }
        }
        else
        {
            if (Find(y)==Find(z)||Find(y_enemy)==Find(z)) ans++;
            else
            {
                fa[Find(y_eat)]=Find(z);
                fa[Find(z_enemy)]=Find(y);
                fa[Find(y_enemy)]=Find(z_eat);
            }
        }
    }
    printf("%d\n",ans);
    return 0;
}