POJ-1182.食物链(并查集)

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

种类并查集 拆点法

动物种类只有3类:A,B,C
那我们可以把每个点拆成3个点，分别代表A类，B类，C类，这样话数组就要定义到3N的长度了。也就是长度[1,n]表示A，长度[n+1,2n]表示B，长度[2n+1,3n]表示C。
而在同一类中，选出一个点来作为根结点，比如2,3,4是同一类，那么可以选择2作为它们的根结点。
在不同类中，也就是吃与被吃关系中，选择吃的作为被吃的根结点。比如2吃3，但没有注明它们的种类，那合理的关系，应该是p[n+3]=2,表示B3的根结点是A2，p[2n+3]=n+2,表示C3的根结点是B2，p[3]=2n+2,表示A3的根节点是C2.
如何判断真假呢:
当说两个点是同类时，那就考虑它们不是同类的情况，前提是前面提到这两个点，如果没有提到过，那会把它们设为同类，当提到它们是吃与被吃的关系，那它们的根结点一定是相同的，这种情况与假设是矛盾的，所以一定是假的。
当说两个点是吃与被吃时，那就考虑它们是同类或者A吃C情况，想想什么时候两个点的根结点是相同的，有两种情况，1.前面提到过两个点是同一类 2.前面提到过，两个点是吃与被吃的关系，详细解释看代码啦～

#include <iostream>
#include <cstdio>
#include <vector>
using namespace std;
#define MAXN 150005
vector<int> pa(MAXN),ra(MAXN,0); //pa[i]表示i与pa[i]的关系，ra表示层次关系
void init(int n) //初始化
{
	for(int i=0;i<n;i++) pa[i] = i;
}
int findRoot(int x) //查找
{
	if(x==pa[x]) return x;
	return pa[x]=findRoot(pa[x]);
}
void unite(int x,int y) //路径压缩
{
	int fax = findRoot(x);
	int fay = findRoot(y);
	if(fax == fay) return;
	if(ra[fax]<ra[fay])
		pa[fax] = fay;
	else
	{
		if(ra[fax]==ra[fay])
			ra[fax]++;
		pa[fay]=fax;
	}
}
bool checkSame(int x,int y) //检查根节点
{
	return findRoot(x)==findRoot(y);
}
int main()
{
	int n,k; //n表示动物的个数，k表示k句话
	cin>>n>>k;
	init(3*n);
	int m,x,y,ans=0;
	for(int i=0;i<k;i++)
	{
		cin>>m>>x>>y;
		if(x>n||y>n)
		{
			ans++;
			continue;
		}
		if(m == 1) //表示x,y是同类
		{
			if(checkSame(x,y+n) || checkSame(x,y+2*n))
				ans++; //如果是真，那应该说明是被吃关系，而不是假设的同类关系，矛盾；
					   
			else
			{
				unite(x,y); //x和y是同一个A类
				unite(x+n,y+n); //x和y是同一个B类
				unite(x+2*n,y+2*n); //x和y是同一个C类
			}
		}
		else
		{
			if(checkSame(x,y) || checkSame(x,y+2*n)) //如果前者是真，那说明xy是同类，这与被吃关系矛盾；如果后者是真，那表示x被y+2*n吃，而不是x吃y+2*n，这与被吃关系矛盾
				ans++;
			else
			{
				unite(x,y+n); //x是A类，y是B类，x吃y
				unite(x+n,y+2*n); //x是B类，y是C类，x吃y
				unite(x+2*n,y); //x是C类，y是A类，x吃y
			}
		}
	}
	cout<<ans<<endl;
	return 0;
}