食物链——并查集

Link：并查集

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

题解

Tip:刚开始按照一般思路做，到最后发现错误，后来发现题中说这个食物链有个特性：

也就是说，如果A吃B，B吃C，那么C必定吃A。

那么我们判断同类的方法就有两种情况：
（1）.A吃B，C吃B，那么A和C就是同类。
（2）.A吃B，B吃C，D吃B，那么A和D就是同类（隐藏条件C吃A）。

再来看看题中说判断为假话的条件，第二个和第三个都很好实现代码，只有第一个需要运用到并查集。
假如输入的n是1（X与Y同类），那么我们只需要判断X是否吃Y，Y是否吃X，如果不是则为真话。
add(x,y)
add(x+n,y+n)
add(x+2n,y+2n)

假如输入的n是2（X吃Y），那么我们只需要判断X与Y是否是同类，Y是否吃X，如果不是则为真话。
add(x,y+n)
add(x+n,y+2n)
add(x+2n,y)

代码如下：

#include<iostream>
using namespace std;

const int Maxn=50005;
int sum = 0;
int head[Maxn*3];

int find(int o)
{
	if (head[o] == o)
	{
		return o;
	}
	else
	{
		return head[o] = find(head[o]);
	}
}

void add(int o, int p)
{
	int ot, pt;
	ot = find(o);
	pt = find(p);
	head[ot] = pt;
}

int main()
{
	int n, k;
	cin >> n >> k;
	for (int i = 0; i < 3 * n; i++)
	{
		head[i] = i;
	}
	for (int i = 0; i < k; i++)
	{
		int size, x, y;
		cin >> size >> x >> y;
		if (size == 2 && x == y)
		{
			sum++;
			continue;
		}
		if (x > n || y > n)
		{
			sum++;
			continue;
		}
		if (size == 1)
		{
			if (find(x+2*n)==find(y)||find(y+2*n)==find(x))
			{
				sum++;
				continue;
			}
			else
			{
				add(x, y);
				add(x + n, y + n);
				add(x + 2 * n, y + 2 * n);
			}
		}
		if (size == 2)
		{
			if (find(x)==find(y)||find(x)==find(y+2*n))
			{
				sum++;
				continue;
			}
			else
			{
				add(x, y+n);
				add(x + n, y + 2 * n);
				add(x + 2 * n, y);
			}
		}
	}
	cout << sum;
}