NOI2001食物链（种类并查集）

题目描述

洛谷P2024
动物王国中有三类动物 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，表示有 N 个动物，K 句话。

第二行开始每行一句话（按照题目要求，见样例）

输出格式：
一行，一个整数，表示假话的总数。

输入输出样例
输入样例#1：
100 7
1 101 1
2 1 2
2 2 3
2 3 3
1 1 3
2 3 1
1 5 5
输出样例#1：
3
说明
1 ≤ N ≤ 5 ∗ 10^4
1 ≤ K ≤ 10^5

对于没写过种类并查集的人来说，我觉着这道题够毒瘤的
此题对于A，B，C，三个种群，我们得知三个关系
A吃B，B吃C，C吃A。
对于一个并查集，我们只能维护同种种群关系，
于是我们把它开了三倍0.0
对于这三倍的并查集，我们在（0，n）维护对于x的同族关系；
对于（n+1, 2n），我们维护对于x其猎物的关系；
对于（2n+1， 3n），我们维护吃x的动物同族关系。
注意：对于不同种动物，我们不将他们在不同集合里建边
于是当我们判断1情况下x，y关系是否成立时，我们刨除特判，只需要找x是否与y的猎物，y的天敌有关系，如果有就为假话，没有就为真话，在三个关系群里分别为(x,y), (x + n, y + n), (x + 2n, y + 2n)建边。
在判断2情况下x，y关系是否成立时，我们需要找到y是否是x 的天敌，以及x与y是否同族即可，
注意如果成立，y为x的猎物，则x+n属于x 的猎物集，也就与y同族，y+2n属于y的天敌集，也就与x同族。同时由于ABC为环状关系，则y的猎物就是x的天敌，即y+n与x+2n属于同族，我们在判断正确后需要维护这三个关系

code

#include<bits/stdc++.h>

#define MAXN 300010

using namespace std;

int fa[MAXN];
int m,n;
int ans = 0;

int getfa(int x){
	return fa[x] == x ? x : fa[x] = getfa(fa[x]);
}

void tdo(int x, int y){
	x = getfa(fa[x]), y = getfa(fa[y]);
	fa[x] = y;
}

//A(1,n) B(n + 1, 2n) C(2n + 1, 3n)
//A→B B→C C→A
 
int main()
{
	scanf("%d%d", &n, &m);
	
	for(int i = 1; i <= 3 * n; ++i) fa[i] = i;//记得三倍初始化
	
	for(int i = 1; i <= m; ++i){
		int x, y, z;
		scanf("%d%d%d", &x, &y, &z);
		if(y > n || z > n){
			++ans; continue;
		}
		if(x == 1){
			if(getfa(z) == getfa(y + n) || getfa(z) == getfa(y + 2 * n)){
				++ans; continue;
			}
			tdo(z, y); tdo(z + n, y + n); tdo(z + 2 * n, y + 2 * n);
		}
		else if(x == 2){
			if(z == y){
				++ans; continue;
			}
			if(getfa(y) == getfa(z) || getfa(y + 2 * n) == getfa(z)){
				++ans; continue;
			}
			
			tdo(y, z + 2 * n); tdo(y + n, z); tdo(y + 2 * n, z + n);
		}
	
	}
	printf("%d\n", ans);
	
}