POJ-1182-食物链 （并查集）

原题链接：https://vjudge.net/contest/235901#problem/O
动物王国中有三类动物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
题意：
中文题
题解：
这道题目是一个比普通并查集更深层次的并查集，普通并查集都只有一层关系（即我俩是不是一个类别），而这道题目则有多层关系（不仅有是否为同类别，还有不同类别之间的关系），这道题目重在思想。
主要思想：
把之前所有的真话里的动物的类别以及关系当成一个整体的大集合（下文称为真话集合），可以有一个共同的根节点，因为与根节点仅有三种关系：同类，吃，被吃。
之后每输入一个新的指令后（条件2，3很好判断，不细说了），判断a，b是否已经在真话集合里：
如果不在则合并到真话集合里；（注意：如果两个都不在原有的真话集合里，则相当于新增加一个真话集合2号，但如果在之后的指令中与之前的真话集合1号有关系，则可以在整体上合并成新的真话集合1号）
如果已经在真话集合里了，就判断两个人之间的关系与之前的真话是否冲突。
细节：
细节主要有两个方面：压缩路径、更新关系域。

• 压缩路径：这个很简单，通过递归找到最顶层的根节点
• 关系域更新：这个是重点，如果不更新关系域的话，压缩路径是存在问题的。那么应该怎么更新关系域呢？既然我压缩路径时是直接找到最顶层的根节点，那么可以在每向前压缩一次路径的时候，更新与此时的根节点的关系，这样在路径压缩完成时，关系域也恰好更新完成

下面时压缩路径与更新关系域的具体代码：

int findf(int i)//查找父节点，同时压缩路径并且更新与根节点的关系
{
    if(i==ani[i].pre)
        return i;
    int tmp=ani[i].pre;//定义tmp为其根节点
    ani[i].pre=findf(tmp);//压缩路径（注意递归过程中同时也在不断更新关系）
    ani[i].rel=(ani[i].rel+ani[tmp].rel)%3;//更新与根节点关系-----*式
    return ani[i].pre;
}

在这里具体解释一下*式：
这里设x为子节点，tmp为x的根节点，root为tmp的根节点。
路径压缩由：x->tmp->root—>>x->root
所以自然关系也应该更新为x与root的关系：

1. 如果x与tmp的关系是同类即0，则x与root的关系就是tmp与root的关系
2. 如果x与tmp的关系是吃与被吃的关系即2或1，由于动物之间的关系是个循环，所以直接模3相加即可：

这里拿1（即tmp吃x）来举例：

• 如果tmp与root同类（rel=0），模三相加后得到的依旧是1（即root吃x）
• 如果root吃tmp（rel=1），模三相加后得到的是2（即x吃root）
• 如果tmp吃root（rel=2），模三相加后得到的是0（即x与root是同类）

这里很巧妙的用了模三加法，其中灵感也应该来自于关系是个环。（更多细节见代码）

附上AC代码：

#include <iostream>

using namespace std;

int n,k,fakes=0;

struct node
{
    int pre;//父节点
    int rel;//与父节点的关系:0 同类，1 被吃，2 吃
}ani[50005];

int findf(int i)//查找父节点，同时压缩路径并且更新与根节点的关系
{
    if(i==ani[i].pre)//如果根节点就是自己则证明此节点就是根节点
        return i;
    int tmp=ani[i].pre;//定义tmp为其根节点
    ani[i].pre=findf(tmp);//压缩路径（注意递归过程中同时也在不断更新关系）
    ani[i].rel=(ani[i].rel+ani[tmp].rel)%3;//更新与根节点关系
    return ani[i].pre;//返回根节点
}
int main()
{
    ios::sync_with_stdio(false);
    int oper,a,b,root1,root2;
    cin>>n>>k;
    for(int i=1;i<=n;++i)//初始化
    {
        ani[i].pre=i;//父节点为自己
        ani[i].rel=0;//关系为同类
    }
    for(int i=1;i<=k;++i)
    {
        cin>>oper>>a>>b;
        if(a>n||b>n)//比n大：假话
        {
            fakes++;
            continue;
        }
        if(oper==2&&a==b)//x吃x：假话
        {
            fakes++;
            continue;
        }
        root1=findf(a);
        root2=findf(b);
        if(root1!=root2)//根节点不同，合并到之前所说的所有真话构成的集合里
        {
            ani[root2].pre=root1;//更新根节点
            ani[root2].rel=(oper-1+ani[a].rel-ani[b].rel+3)%3;//更新关系
        }
        else//以已经在之前的真话集合里，则判断是否有冲突
        {
            if(oper==1&&ani[a].rel!=ani[b].rel)//如果是同类，但是与根节点的关系不一样（与前面的话冲突）：假话
            {
                fakes++;
                continue;
            }
            if(oper==2&&((ani[b].rel-ani[a].rel+3)%3!=oper-1))//如果是吃与被吃的关系，但与之前在真话集合里的关系不同：假话
            {
                fakes++;
                continue;
            }
        }
        cout<<fakes<<endl;
    }
    return 0;
}

欢迎评论！