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

食物链

Time Limit: 1000MS

Memory Limit: 10000KB

64bit IO Format: %I64d & %I64u

Submit Status

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

种类并查集的经典题

参考了两篇很好的文章，真心佩服作者。先贴下链接：

飘过的小牛 ：   http://blog.csdn.net/niushuai666/article/details/6981689

驱动幽灵百鬼夜行小肆 ：  http://blog.csdn.net/c0de4fun/article/details/7318642

给出大致的思路。

（1）符合条件的2、3句的，不影响并查集，首先答案加一再跳出。

（2）结构方面多了一个数组记录父节点到子节点的关系：0：同类，1：父吃子，2：子吃父。

（3）查找和合并的操作都与普通的并查集相同，要注意的是压缩路径和合并过程。

（4）这时候要更新关系域，我们把这些关系看成向量，关系的转化量视为偏移量。

（5）关系域的求取可以转化为向量的加减。

（6）对每次询问，如果两个数不在同一个集合中，我们来进行合并，更新关系域。

（7）如果两个数已经在同一个集合中，判断其在集合中的原关系与询问所给的关系是否一致，否则答案加一。

贴下自己写的代码：

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;

const int MAXN = 50100;

int n, k;

int fa[MAXN];
int re[MAXN];

void init()
{
	for (int i = 0; i <= n; i++)
	{
		fa[i] = i;
		re[i] = 0;
	}
}

int find(int t)
{
	if (fa[t] == t)
		return t;
	int temp = fa[t];
	fa[t] = find(temp);
	re[t] = (re[t] + re[temp]) % 3;
	return fa[t];
}

int main()
{
	scanf("%d%d", &n, &k);

	init();
	int ans = 0;
	int a, b, op;
	for (int i = 0; i < k; i++)
	{
		scanf("%d%d%d", &op, &a, &b);
		if (a > n || b > n)
		{
			ans++;
			continue;
		}
		if (op == 2 && a == b)
		{
			ans++;
			continue;
		}
		int roota = find(a);
		int rootb = find(b);
		if (roota != rootb)
		{
			fa[rootb] = roota;
			re[rootb] = (3 + (op - 1) + re[a] - re[b]) % 3;
		}
		else
		{
			if (op == 1 && re[a] != re[b])
			{
				ans++;
			}
			else if (op == 2 && (3 - re[a] + re[b]) % 3 != 1)
			{
				ans++;
			}
		}
	}
	printf("%d\n", ans);
}