POJ 1182---食物链（种类并查集）

http://poj.org/problem?id=1182
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

题意：
有一条食物链，我们需要判断这些语句是否有不符合食物链的，有多少条。

思路：
种类并查集。
分为三个区域 0-n n-2n 2n-3n 同一区域内表示同一个物种，而他们食物链的关系是 0-n 的吃n-2n，n-2n吃2n-3n，2n-3n吃0-n，这只是一种标记吃与被吃的关系，并不是真的表示形成环形的食物链。

首先判断x,y是否超出范围，超出即是假话。
当d=1时：
判断x与y+n，x与y+2n是不是同类，如果是即是假话。（因为如果是同一个集合，说明之前有说，x吃y（x，y+n）或者被y吃（x，y+2n）），如果不是即将x，y；x+n,y+n；x+2n,y+2n合并为一个。
当d=2时：
判断x与y，x与y+2n是不是同类，如果是即是假话。（因为如果是同一个集合，说明之前有说，x，y是同类，或者x被y吃），如果不是即将x，y+n；x+n,y+2n；x+2n,y合并为一个。

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <math.h>
#include <string.h>
#include <string>
#include <sstream>
#include <stack>
#include <queue>
#include <map>

using namespace std;
const int inf=0x3f3f3f3f;
const int MAX=5e4+5;
int n,k,d,x,y,ans;
int father[MAX*3];
int find(int a)
{
	int x=a;
	while (a!=father[a]) {
		a=father[a];
	}
	while (x!=father[x]) {
		int z=x;
		x=father[x];
		father[z]=a;
	}
	return a;
}
int Union(int a,int b)
{
	int x,y;
	x=find(a);
	y=find(b);
	if(x!=y){
		father[x]=y;
	}
	return 0;
}
bool judge(int x,int y)
{
	return find(x)==find(y);
}
int main()
{
	std::ios::sync_with_stdio(false);
	cin>>n>>k;
	for (int i=0;i<=3*n;i++)	father[i]=i;
	for (int i=0;i<k;i++) {
		scanf("%d%d%d",&d,&x,&y);
		if(x>n||y>n) ans++;
		else if(d==1){
			if(judge(x,y+n)||judge(x,y+2*n))	ans++;
			else{
				Union(x,y);
				Union(x+n,y+n);
				Union(x+2*n,y+2*n);
			}
		}
		else if(d==2){
			if(judge(x,y)||judge(x,y+2*n))	ans++;
			else{
				Union(x,y+n);
				Union(x+n,y+2*n);
				Union(x+2*n,y);
			}
		}
	}
	cout<<ans<<endl;
	return 0;
}