POJ1182-食物链并查集解法详情

题目链接

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

解法演示

我们一个3*n大小的数组，连续的n个分别表示A,B,C
数字表示动物的编号

并查集中把两个元素接于同一颗树表示他们两个有某种联系，此题中的联系为：这两个元素等价（同真或同假）
例如我们进行第一个操作，1和2同类，我们就把1和2连起来。当然，他们的种类我们不知道，所以A,B,C中都需要连起来

现在的情况就是
1-A,2-A的真假相同
B,C同理

判断矛盾？
当同一个树里面出现了同一个编号在不同的种类里就判断为矛盾，如1-A和1-B在同一个树里面

现在我们来演示一下
3 3
1 1 2
2 1 3
1 2 3
第一步操作（无矛盾）

第二步操作（无矛盾）
注意：
1吃3表示1-A，3-B或1-B，2-C或1-C,3-A

第三步操作（出现矛盾）

我们发现了其中有很多条矛盾
如3-A 1-C 2-C 3- C这一条通路，把3是A和C同时放在了一个树里，所以我们判断这一个操作是错误的。

如何实现判断矛盾？
我们先放入并查集的常用操作

int par[150005];
int findroot(int x)
{
    return par[x] == x ? x : findroot(par[x]);
}
void mix(int x, int y)
{
    par[findroot(y)] = findroot(x);
}
int same(int x, int y)
{
    return findroot(x) == findroot(y);
}

• 对于第一类操作：同类操作：
  我们判断x和y是否与对方的另一个种类在同一个树中

            if(same(x,y+n)||same(x,y+2*n))
                ans++;

我们这里判断的是x-A y-B是否为在一个树中 x-B y-C是否在一个树中而没有判断其他的一些情况，因为其他的情况和这两种是等价的。（思考）

• 对于第二类操作：吃与被吃
  操作是x吃y，我们就判断一下x和y是不是同类或者x是不是被y吃

            if(same(x,y)||same(x,y+2*n))
                ans++;

如果实在无法理解就读一读代码边读边理解

完整代码

/*
 * @Description: 
 * @Autor: Kadia
 * @Date: 2020-06-06 01:47:24
 * @LastEditors: Kadia
 * @connect: vx:ccz1354 qq:544692713
 * @LastEditTime: 2020-06-06 14:58:35
 */

#include <bits/stdc++.h>

using namespace std;
int par[150005];
int findroot(int x)
{
    return par[x] == x ? x : findroot(par[x]);
}
void mix(int x, int y)
{
    par[findroot(y)] = findroot(x);
}
int same(int x, int y)
{
    return findroot(x) == findroot(y);
}
int main()
{
    int n, m;
    cin >> n >> m;
    int d, x, y;
    for (int i = 1; i <= 3 * n; i++)
        par[i] = i;
    int ans = 0;
    for (int i = 1; i <= m; i++)
    {
        cin >> d >> x >> y;
        if(x>n||y>n)
        {
            ans++;
            continue;
        }
        if(d==1)
        {
            if(same(x,y+n)||same(x,y+2*n))
                ans++;
            else
            {
                mix(x,y);
                mix(x+n,y+n);
                mix(x+2*n,y+2*n);
            }
        }
        else
        {
            if(same(x,y)||same(x,y+2*n))
                ans++;
            else
            {
                mix(x,y+n);
                mix(x+n,y+2*n);
                mix(x+2*n,y);
            }
        }
    }
    cout << ans << endl;
    return 0;
}