食物链（并查集）

动物王国中有三类动物 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 句话有的是真的，有的是假的。

当一句话满足下列三条之一时，这句话就是假话，否则就是真话。

当前的话与前面的某些真的话冲突，就是假话；
当前的话中 X 或 Y 比 N 大，就是假话；
当前的话表示 X 吃 X，就是假话。
你的任务是根据给定的 N 和 K 句话，输出假话的总数。

输入格式
第一行是两个整数 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

---

思路：

首先只要我们知道ABC任意两种关系，那么我们就也知道了第三种关系，这就构成了一种循环关系。

我们用一个dis数组存储每一个节点到根节点的距离，假设有四种生物A、B、C、D，它们的关系如下：

A吃B，B吃C，C吃D，而我们又知道C吃A，所以A和D是同一类。
我们每次只需要判断当前节点到根节点的距离模3的结果即可，0表示同一类，1表示被根节点吃，2表示吃根节点

注意：这里的距离表示不是真正意义上的距离，而是在模3的剩余系中考虑的，也就是在模3的余数中考虑的
代码如下：

#include <iostream>
#include <algorithm>
#include <cstdio>
#include <cstring>
#include <queue>
#include <vector>
#include <cmath>
#include <string>

using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> PII;

const int N = 1e5, mod = 1e9 + 7;
const int inf = 0x3f3f3f3f;
const double PI = acos(-1.0);

int n, m;
int p[N], dis[N];

int find(int key)
{
	//压缩路径和节点到根节点距离，
    if (key == p[key]) return key;
    int t = find(p[key]);
    dis[key] += dis[p[key]];
    return p[key] = t;
}
int main()
{
    scanf("%d%d", &n, &m);
    for (int i = 1; i <= n; i ++ ) p[i] = i;
    int ans = 0;
    while (m -- )
    {
        int d, x, y; scanf("%d%d%d", &d, &x, &y);
        if (x > n || y > n) ans ++;
        else
        {
        	//注意这里一定要先找出根节点，否则会多次压缩路径
            int px = find(x), py = find(y);
            if (d == 1)
            {
            	//如果根节点在一个集合里，说明关系已经确定
            	//如果x到根节点的距离与y到根节点的距离同余，说明是同一类，为真话，否则为假话
                if (px == py && (dis[x] - dis[y]) % 3) ans ++;
                else if (px != py)
                {
                	//建立关系
                    p[px] = py;
                    //这一步放在下面解释
                    dis[px] = dis[y] - dis[x];
                }
            }
            else
            {
            	//如果x吃y成立，那么x到根节点距离+1就与y到根节点距离同余
                if (px == py && (dis[x] + 1 - dis[y]) % 3) ans ++;
                else if (px != py)
                {
                    p[px] = py;
                    //这一步在下面解释
                    dis[px] = dis[y] - 1 - dis[x];
                }
            }
        }
    }
    printf("%d", ans);
    return 0;
}

如果x与y同类的关系还没有确定，那我们就要确定关系。首先要将两个集合合并，这里让py当根节点。因为x到根节点的距离要与y到根节点的距离同余，即(dis[x]+dis[px]-dis[y])%3 == 0，那么我们dis[px]到根节点的距离就是dis[y] - dis[x]。

确定x吃y的关系时同理。