POJ 1182 食物链 【并查集】

食物链

Time Limit: 1000MS		Memory Limit: 10000K
Total Submissions: 69466		Accepted: 20539

Description

动物王国中有三类动物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和Y不符合题目范围的。其他的话要通过并查集维护。

对于每只动物i创建i属于A类，i属于B类，i属于C类，并用这3*N个元素建立并查集。

用元素x、x+n、x+2*n分别代表x属于A，x属于B，x属于C。

并查集里每个组的表示组内所有元素代表的情况都同时发生或不发生。

例如，i属于A和j属于B在同一个组里，就表示如果i属于种类A那么j一定属于种类B，如果j属于种类B那么i一定属于种类A。

对于1，2两种情况。

1：x和y属于同一类，何合并x属于A和y属于A、x属于B和y属于B、x属于B和y属于B。

2：x吃y，合并x属于A和y属于B、x属于B和y属于C、x属于C和y属于A。

代码如下：

#include<cstdio>
#include<iostream>
#define N 50005
using namespace std;
int parent[N * 3];//并查集 
void init(){//初始化并查集 
	for(int i = 0; i < N * 3; i++){
		parent[i] = i;
	}
}
int find(int x){//寻找根节点 
	if(parent[x] == x){
		return x;
	}else{
		return parent[x] = find(parent[x]);
	}
}
void unite(int x, int y){//合并 
	x = find(x);
	y = find(y);
	if(x == y) 
		return ;
	else 
		parent[x] = y;
}
bool same(int x, int y){//判断是否同属一个并查集 
	return find(x) == find(y);
}
int main(){
	int n, k, d, x, y, i, cnt;
	scanf("%d%d", &n ,&k); 
		cnt = 0;
		init();
		for(i = 0; i < k; i++){
			scanf("%d%d%d",&d ,&x, &y);
			if(x > n || y > n || x <= 0 || y <= 0){
				cnt++;
				continue; 
			}
			if(d == 1){
				if(same(x, y + n) || same(x, y + 2 * n)){//x、y分别属于A、B或A、C，即不同类 
					cnt++;
				}else{//三种情况，x，y都属于A，都属于B，或者都属于C 
					unite(x, y); 
					unite(x + n, y + n);
					unite(x + 2 * n, y + 2 * n);
				}
			}
			else{
				if(same(x, y) || same(x, y + 2 * n)){//x、y都属于A或分别属于A、C，即不会吃 
					cnt++;
				}
				else{//三种情况，x，y分别属于A、B，B、C，或C、A 
					unite(x, y + n);
					unite(x + n, y + 2 * n);
					unite(x + 2 * n, y);
				}
			}
		}
		cout<<cnt<<endl;
	return 0;
}