食物链 并查集做题思路

题目描述

动物王国中有三类动物 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 句话，输出假话的总数。

数据范围

1≤N≤50000,
0≤K≤100000
样例

输入样例：

100 7
1 101 1
2 1 2
2 2 3
2 3 3
1 1 3
2 3 1
1 5 5

输出样例：

3

算法 并查集

首先，由题目我们可以清楚的了解到食物链是一个三角关系。
我们需要根据给出的话建立动物的关系，找出与前面建立的关系相矛盾的话。
我们在给出的话中可以看到，每一句话是两个动物间的关系。我们可以用父子节点来表示吃与被吃的关系。如图微信图片_20220716112257.png

由图我们可以得知主链上每三个圈圈为一个循环。建立一个根节点x，他们的关系为
x 被 y 吃 ： y % 3 == 1;
z 被 x 吃 (y 被 z 吃) : z % 3 == 2;
t 和 x 同类 ： t % 3 == 0;

考虑到如何把动物插入链表中。
建立p[N],d[N];
p[i]意思是i的父节点是什么，初始化的值应该是i自身，即p[i]=i.没有插入链表里的动物，相当于游离的个体，父节点是它本身。
d[i]意思是i到其父节点的距离是多少，初始化应该为0，因为它到自身的距离为零。（图中一条横杠代表距离1）距离取模可以确定关系。

插入的时候我们还要判断它们是否在一个链表之中，如果在，就直接判断关系，如果不在，我们就插入。
判断链表的关键是它们的根节点是否一样。这里我们用到find函数加上路径压缩，在find过程中，我们同时把距离赋值。

int find(int x)
{
    if (p[x] != x)
    {
        int t = find(p[x]);
        d[x] += d[p[x]];
        p[x] = t;
    }
    return p[x];
}

如果不在，插入操作如下：

 

要知道他们的关系，我们要把它放到同一个链上，即连接根节点，这里我们让y的根节点变成这条链的根节点。

 

如果它们是同类，则关系为
（d[x] + ? + d[y]) % 3 = 0 ? = d[y] - d[x];

如果x 吃 y 则关系为
（d[x] - d[y] - 1) % 3 = 0 ? = d[y] - (d[x] - 1);

C++ 代码

#include <iostream>

using namespace std;

const int N = 50010;

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

int find(int x)
{
    if (p[x] != x)
    {
        int t = find(p[x]);
        d[x] += d[p[x]];
        p[x] = t;
    }
    return p[x];
}

int main()
{
    scanf("%d%d", &n, &m);

    for (int i = 1; i <= n; i ++ ) p[i] = i;

    int res = 0;
    while (m -- )
    {
        int t, x, y;
        scanf("%d%d%d", &t, &x, &y);

        if (x > n || y > n) res ++ ;
        else
        {
            int px = find(x), py = find(y);
            if (t == 1)
            {
                if (px == py && (d[x] - d[y]) % 3) res ++ ;
                else if (px != py)
                {
                    p[px] = py;
                    d[px] = d[y] - d[x];
                }
            }
            else
            {
                if (px == py && (d[x] - d[y] - 1) % 3) res ++ ;
                else if (px != py)
                {
                    p[px] = py;
                    d[px] = d[y] + 1 - d[x];
                }
            }
        }
    }

    printf("%d\n", res);

    return 0;
}