食物链 OpenJ_Bailian - 1182 （并查集经典）

动物王国中有三类动物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

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

Sample Output

3

思路（参考《挑战程序设计竞赛》）：
x -a     x+n -b     x+2*n -c;
y -a      y+n -b   y+2*n -c;

代码：

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>

using namespace std;
const int MAXN = 3*5e4+10;
int f[MAXN];

//x -a 	x+n -b 	x+2*n -c;
//y -a 	y+n -b  y+2*n -c;
//通过建立相对关系来确定自已 
//如果x是a那就建立x+n为b及x+n+n为c; y同理
//如果x和y是同类则对应地x+n和y+n也是x+n+n和y+n+n也是；
//在确定关系前先判断是否与以前确定的关系有冲突 
int getf(int u)
{
	return f[u]==u?u:f[u]=getf(f[u]);
}
bool merge(int u,int v)
{
	int t1=getf(u);
	int t2=getf(v);
	if(t1==t2)
	return false;
	f[t2]=t1;
	return true;
}
void init(int n)
{
	for (int i = 0; i <= n; ++i) f[i] = i;
}

int main(void)
{
	int n, k, ans = 0;
	int p, x, y;
	scanf("%d %d", &n, &k);
	init(3 * n + 5);
	while(k--) {
		scanf("%d %d %d", &p, &x, &y);
		if (x > n || x <1 || y > n || y <1) {
			ans++;
		} else if (p == 1) {
			if (getf(x + n) == getf(y) || getf(x + 2*n) == getf(y)) {
				ans++;  //如果x+n和y是一类(x+n -b,y -a) 或 x+n+n和y是一类(x+n+n -c,y -a) 即如果x和y是同类则与之前的关系冲突 
			} else {
				//确定相对关系 
				merge(x, y);
				merge(x + n, y + n);
				merge(x + 2*n, y + 2*n);
			}
		} else {
			if (x == y) {
				ans++;
			} else {
				if(getf(x) == getf(y) || getf(x + n) == getf(y)) { //判断是否与之前关系冲突 
					ans++;
				} else {
					merge(x, y + n);
					merge(x + n, y + 2*n);
					merge(x + 2*n, y);
				}
			}
		}
		
	}
	printf("%d",ans);
	return 0;
}