POJ - 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

这道题目我在之前的一篇博客中给出了介绍，现在附上那篇博客的地址https://blog.csdn.net/AC__dream/article/details/122553293

下面我用另一种方法来解决这道问题：

之前我是用节点与根节点之间的距离来表示这个节点所代表的动物的类别，现在我来直接用不同的集合来表示不同种类的动物。

假如A吃B，B吃C，C吃A，我们假设x节点是A类动物，再假设x+n节点是B类动物，x+2*n是C类动物，这样假如有个y节点表示的动物是与x节点表示的动物的同类，则有x+n与y+n是同类，x+2*n与y+2*n是同类，若x节点表示的动物是吃y节点表示的动物，则有x节点与y+2*n是同类，x+n与y是同类，x+2*n与y+n是同类，这样我们就把三个种类的动物放到了三个不同的集合，下面我将介绍如何判断当前条件是否与之前条件产生矛盾。

假如告诉我们x和y是同类，如果出现x和y+n或者和y+2*n在一个集合中，则显然是矛盾的。

同理告诉我们x吃y，则x和y+2*n是同类的，如果出现x和y或者和y+n在一个集合中，则显然也是矛盾的。

通过这两个判断我们就可以知道条件之间是否存在矛盾了。

最后提醒一句，有些情况下，带权并查集和扩展域并查集之间是可以相互转换的，扩展域并查集相对来说更容易实现一些。

下面是代码：

#include<cstdio>
#include<iostream>
#include<cstring>
#include<vector>
#include<algorithm>
#include<map>
#include<cmath>
#include<queue>
using namespace std;
const int N=500003;
int fu[N];
int find(int x)
{
	if(fu[x]!=x) fu[x]=find(fu[x]);
	return fu[x];
}
void Unite(int x,int y)
{
	int f1=find(x),f2=find(y);
	if(f1!=f2) fu[f1]=f2;
}
int main()
{
	int n,k;
	cin>>n>>k;
	for(int i=1;i<=3*n;i++)
		fu[i]=i;
	int cnt=0;
	int op,x,y;
	for(int i=1;i<=k;i++)
	{
		scanf("%d%d%d",&op,&x,&y);
		if(x>n||y>n) cnt++;
		else
		{
			if(op==1)
			{
				int t=find(x);
				if(t==find(y+n)||t==find(y+2*n)) cnt++;
				else
				{
					Unite(x,y);
					Unite(x+n,y+n);
					Unite(x+2*n,y+2*n);
				}
			}
			else
			{
				int t=find(x);
				if(t==find(y+n)||t==find(y)) cnt++;
				else
				{
					Unite(x,y+2*n);
					Unite(x+n,y);
					Unite(x+2*n,y+n);
				}
			}
		}
	}
	printf("%d",cnt);
	return 0;
}