食物链（分层图？）

题目链接：

https://vjudge.net/contest/533179#problem/H

动物王国中有三类动物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	Output
100 7 1 101 1 2 1 2 2 2 3 2 3 3 1 1 3 2 3 1 1 5 5	3

 题目看起来的时候我可以说是完全没有思路，看起来很像带权并查集，却怎么也找不到权值该是谁。经卫叔一番点拨以及普及一些很迷茫的所谓“分层图”的东西，终于灵光蹦现：它不就是让我们找到两两之间的关系，如果x吃y，那么不论x是在A层还是B层或者C层，y都会是x的下一层的位置，同类则二者都在一层。

<分层图：一个点到另外一个点有多种方式🤔>

现已知A吃B，B吃C，C吃A，则这个三层的图，每一层内部记录这两种动物是否是同类，本层和下一层或者上一层间的关系记录二者是吃或被吃；如果能连接，即原本的状态符合将要被连接的状态或者符合继续连接的条件 即二者目前没有关系；反之则否；

<连接：将x和y对应的位置视为同一个集合内>

已ac代码：

#include<stdio.h>
#include<algorithm>
#include<iostream>
#include<math.h>
#include<string.h>
#include<stack>
#include<queue>
#include<set>
#define ll long long
using namespace std;
const int maxn = 2e6+10;
int ani[maxn];
int find(int x)
{
	if (ani[x] == x) {
		return x;
	}
	return ani[x] = find(ani[x]);
}
void link (int x,int y)
{
	int a = find(x);
	int b = find(y);
	if (a != b) {
		ani[b] = a;
	}
}
int main()
{
	int n, k;
	cin>>n>>k;
	for (int i = 1; i <= 3 * n; i++) {
		ani[i] = i;
	}
	int cnt = 0;
	while (k--) {
		int d, x, y;
		cin>>d>>x>>y; 
		//基础判断 
		if (x > n || y > n || (d == 2 && x == y)) {
			cnt++;
		} else {
			if (d == 1 ){
				//确定了x和y是同类之后 如果发现前边有固定x居然和y是吃与被吃的关系 则必然不合理了 
				if(find(ani[x]) == find(ani[y + n]) || find(ani[x]) == find(ani[y + 2 * n])) {
					cnt++;
				} else {
					link(x, y);
					link(x + n, y + n);
					link(x + 2 * n, y + 2 * n);
				}
			} else {
				//确定了x吃y之后 如果发现x和y是同类或者x与y是被吃的关系 则也是错误的 
				if (find(ani[x]) == find(ani[y]) || find(ani[x]) == find(ani[y + 2 * n])) {
					cnt++;
				} else {
					link(x, y + n);
					link(x + n, y + 2 * n);
					link(x + 2 * n, y);
				}
			}
		}
	}
	cout<<cnt;
	return 0;
}

by yq

虽然看起来很水但是真的有花费很长的时间去思考 以及感谢在过程中帮助我的大佬们

后记：

关于这种分层图的思想，可能需要一段时间来思考，目前的感受大概就是每层之间都存在某种对应的关系，这种关系在link中被视为了一个集合，就本题来说，大概是方便记录三种动物吃和被吃的关系，很希望大佬能细🔒斧正我的问题。