食物链（边带权/扩展域并查集）

描述

三类动物，a吃b，b吃c，c吃a，给出n个动物，k个说法。说法有两类，①x和y是同类，②x吃y，每个说法属于其中一类。
当一句话满足下列三条之一时，这句话就是假话，否则就是真话。
当前的话与前面的某些真的话冲突，就是假话；
当前的话中 x 或 y 比 n 大，就是假话；
当前的话表示 x 吃 x，就是假话。
你的任务是根据给定的 n 和 k 句话，输出假话的总数。

添加链接描述

---

分析

方法1：边带权

思路：只要有关系，就属于同一个集合，就加入到集合中去（不管是同类or异类）

精髓：只要两个元素在同一个集合里，就能通过他们与根节点的距离知道他们之间的关系。

距离的定义
用“距离”来描述关系、判断关系，所有的距离都以根节点为基准，通过对3取余分为3类
三种关系：用点到根节点之间的距离表示其余根节点之间的关系
mod 3 = 1:可以吃根节点
mod 3 = 2:可以被根节点吃
mod 3 = 0:和根节点同类

代码

#include <bits/stdc++.h>
using namespace std;
#define fi first
#define se second
#define pii pair<int,int>
#define pll pair<ll,ll>
#define pli pair<ll,int>
#define Min(a,b,c)  min(a,min(b,c))
#define Max(a,b,c)  max(a,max(b,c))

typedef long long ll;
typedef unsigned long long ull;

const double pi = 3.141592653589793;
const double eps = 1e-8;
const int INF = 0x3f3f3f3f;

const int N = 50010, M = 100010;

int n, m;
int fa[N], d[N];

int get(int x)
{
    if (fa[x] == x) return x;
    int r = get(fa[x]);
    d[x] += d[fa[x]];
    return fa[x] = r;
}

int main()
{
    scanf("%d%d", &n, &m);
    for (int i = 1; i <= n; i++) fa[i] = i;
    int ans = 0;
    while (m--)
    {
        int op, x, y;
        scanf("%d%d%d", &op, &x, &y);
        if (x > n || y > n) ans++;
        else if (op == 1)
        {
            int rx = get(x), ry = get(y);
            if (rx == ry && (d[x] - d[y]) % 3) ans++;
            else if (rx != ry)
            {
                fa[rx] = ry;
                d[rx] = d[y] - d[x];
            }
        }
        else
        {
            int rx = get(x), ry = get(y);
            if (rx == ry && (d[x] - d[y] - 1) % 3) ans++;
            else if (rx != ry)
            {
                fa[rx] = ry;
                d[rx] = d[y] - d[x] + 1;
            }
        }
    }
    printf("%d\n", ans);
    return 0;
}

方法2：扩展域

思路：每个动物拆成三个点，表示同类域，捕食域，天敌域。
把这样三个域理解成属性可以这样考虑，假想现在有一个参照物，一个动物x的同类域，就表示它和x是同类，即他具有与参照物相同动物种类的这个属性，捕食域表示这个动物是要被参照物吃的，形成了参照物会捕食x的属性，天敌域表示这个动物是参照物的天敌，形成了捕食参照物的这种属性。
所以对于第①个说法（x与y是同类）
当x是参照物同类与参照物会捕食y，或者x是参照物同类与y会捕食参照物在一个集合中（在一个集合表示这些属性要同时满足）时，就是假话。
对于第②个说法（x吃y）
当x是参照物同类与y是参照物同类，或者x是参照物同类与y会捕食参照物在一个集合中时，就是假话。

代码

#include <bits/stdc++.h>
using namespace std;

const int N = 50000;

int fa[3 * N];

int get(int x)
{
    if (fa[x] == x) return x;
    return fa[x] = get(fa[x]);
}


int main()
{
    int n, k, ans = 0;
    scanf("%d%d", &n, &k);
    for (int i = 1; i <= 3 * n; i++) fa[i] = i;
    while (k--)
    {
        int t, x, y;
        scanf("%d%d%d", &t, &x, &y);
        if (x > n || y > n || t == 2 && x == y)
        {
            ans++;
            continue;
        }
        if (t & 1)
        {
            if (get(x) == get(y + n) || (get(x) == get(y + 2 * n)))
            {
                ans++;
                continue;
            }
            fa[get(x)] = get(y);
            fa[get(x + n)] = get(y + n);
            fa[get(x + 2 * n)] = get(y + 2 * n);
        }
        else
        {
            if (get(x) == get(y) || get(x) == get(y + 2 * n))
            {
                ans++;
                continue;
            }
            fa[get(x)] = get(y + n);
            fa[get(x + n)] = get(y + 2 * n);
            fa[get(x + 2 * n)] = get(y);
        }
    }
    printf("%d\n", ans);
    return 0;
}