POJ1182-食物链-并查集维护各种关系

原题传送门
对并查集而言已经算是比较难的一道题了，不过啃掉了之后收获还算是比较大的

题目

ABC三种动物形成一个食物链，A->B->C->A，有$N$种动物，每种动物都是三者中的一种，但是具体的种类不知道
给定很多组说法，
第一种：“1 X Y”，XY同类。
第二种说法"2 X Y"，表示X吃Y。
对$N$个动物，给$K$个说法，每个说法有可能是假的，假的有三种情况
1） 当前的话与前面的某些真的话冲突，就是假话；
2） 当前的话中X或Y比N大，就是假话；
3） 当前的话表示X吃X，就是假话。
输出假话的数目

思路

结果要求假话的数目，那我们必须能判断哪一句话才是假话，条件2）3）显然特判即可（3正常判断也可以），具体在于怎么才算冲突。正常并查集只能知道他们到底是不是同一类，怎么知道谁吃谁呢？为了维护这种动物之间的关系，应该多开几个数组，其实白书中的讲解仔细一看已经很透彻了：
此时应该维护的不是动物属于哪一类，更关键的是种类之间的关系，如果有两种，那么开2n的数组，这里有三种，开3n的数组，第一个0-n表示元素属于A，n-2n:B,2n-3n:C.



比如1,102,203一组，即1-A 2-B 3-C，但是一个正常数据显然要更新三组。如果状态是对的，那么所有组都是可以成立的，因此对于合法性检查，只需要判断x-A,和y的其他情况即可，不用再判断x-B然后列举y的类别。
AC代码

#include<iostream>
#include<cmath>
#include<iomanip>
#include<vector>
#include<map>
#include<queue>
#include<algorithm>
#include<string.h>
using namespace std;

#define ll int
#define N 100005
#define inf 2<<20
ll n, m, i, ans = 0;
ll l, p;

ll kind[3 * N]; //3*N的并查集，维护各种关系。

ll find(ll elem) {
	while (kind[elem] != elem)elem = find(kind[elem]);
	return kind[elem];
}

bool similar(ll a, ll b) {
	return find(a) == find(b);
}

void unit(ll a, ll b) {
	ll p = find(a), q = find(b);
	kind[q] = kind[p];
}
int main() {
	cin >> n >> m; //n个动物，m句话
	for (i = 0; i <= 3 * n; i++) kind[i] = i; //每个kind都不一样
	ll a, b, c, cnt = 4; //cnt是至今为止的陌生类别，即a,b,c都有动物了，此时不能判断的类别
	while (m--) {
		cin >> c >> a >> b;
		if (c == 2 && b == a) ans++;// 当前的话表示 X 吃 X，就是假话
		else if (a > n || b > n) ans++;//当前的话中 X 或 Y 比 N 大，就是假话
		else {
			if (c == 1) {
				if (similar(a, b + n) || similar(a, b + 2 * n)) ans++;
				else {//a,b是同类，那么二者属于一个集合，他们的天敌属于一个集合，猎物也属于一个集合
					unit(a, b); unit(a + n, b + n); unit(a + 2 * n, b + 2 * n);
					//a,b同时属于a|b|c
				}
			}
			else {//a,b同类或者a是b的天敌
				if (a == b || similar(a, b) || similar(a, b + 2 * n)) ans++;
				else {//a-a,b-b || a-b,b-c || a-c,b-a
					unit(a, b + n); unit(a + n, b + 2 * n); unit(a + 2 * n, b);
				}
			}
		}
	}
	cout << ans << endl;
}