POJ 1182 食物链（并查集）

题目来源：http://poj.org/problem?id=1182

问题描述

食物链

Time Limit: 1000MS		Memory Limit: 10000K
Total Submissions:92616		Accepted: 27955

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

Source

Noi 01

------------------------------------------------------------

思路

并查集。一个很生动的并查集详解见链接：一个很有意思的并查集详解。并查集的代码主要分为4个部分：

1. root函数：给定元素，求元素所在集合的根节点（带路径压缩）

int root(int x)							// 求并查集中x的根节点
{
	int r = x, i, j;
	while (r != pre[r])
	{
		r = pre[r];
	}
	// 路径压缩
	i = x;
	while (pre[i] != r)
	{
		j = pre[i];
		pre[i] = r;
		i = j;
	}
	return r;
}

2. same函数：给定两个元素，判断它们是否属于同一个集合

bool same(int x, int y)					// 判断两个元素是否来自同一个集合
{
	return root(x) == root(y);
}

3. merge函数：给定两个元素，合并这两个元素所在的集合

void merge(int x, int y)				// 合并两个集合
{
	int rx = root(x), ry = root(y);
	if (rx != ry)
	{
		pre[rx] = ry;
	}
}

4. 初始化并查集：每个元素自己形成一个集合

for (i=0; i<n; i++)
{
	pre[i] = i;						// 初始化并查集，每个元素形成一个集合
}

回到本题上来，本题的难点主要在于给定两只动物a、b和它们的关系，则a、b具体属于A/B/C类中的哪一类有多种可能性。解决方法是一共n只动物，每种动物都有3种可能，所以一共有3n个编号：编号(0,n]表示A类动物，编号(n,2n]表示B类动物，编号(2n,3n]表示C类动物。对于给定的关系描述，考虑所有的可能性。

------------------------------------------------------------

代码

// 并查集
// 一共n只动物，每种动物都有3种可能，所以一共有3n个编号
// 编号(0,n]表示A类动物，编号(n,2n]表示B类动物，编号(2n,3n]表示C类动物

#include<cstdio>

int pre[150005];						// pre[i]: i的父亲节点

int root(int x)							// 求并查集中x的根节点
{
	int r = x, i, j;
	while (r != pre[r])
	{
		r = pre[r];
	}
	// 路径压缩
	i = x;
	while (pre[i] != r)
	{
		j = pre[i];
		pre[i] = r;
		i = j;
	}
	return r;
}

bool same(int x, int y)					// 判断两个元素是否来自同一个集合
{
	return root(x) == root(y);
}

void merge(int x, int y)				// 合并两个集合
{
	int rx = root(x), ry = root(y);
	if (rx != ry)
	{
		pre[rx] = ry;
	}
}

int main()
{
#ifndef ONLINE_JUDGE
	freopen("1182.txt", "r", stdin);
#endif
	int n, k, i, d, a, b, ans = 0;				// ans：假话的数量
	scanf("%d%d", &n, &k);
	for (i=1; i<=3*n; i++)
	{
		pre[i] = i;								// 初始化并查集，每个元素形成一个集合
	}
	for (i=0; i<k; i++)
	{
		scanf("%d%d%d", &d, &a, &b);
		if (a <=0 || a > n || b <= 0 || b > n)	// 当前的话中a或b比n大，就是假话
		{
			ans ++;
		}
		else if (d == 1)						// 话里说a和b是同类
		{
			if (same(a, b+n) || same(a+n, b+2*n) || same(a+2*n, b) ||
				same(a+n, b) || same(a+2*n, b+n) || same(a, b+2*n))	// a和b存在捕食关系
			{
				ans ++;
			}
			else
			{
				merge(a, b);					// a和b可能同属A
				merge(a+n, b+n);				// 也可能同属B
				merge(a+2*n, b+2*n);			// 也可能同属C
			}
		}
		else if (d == 2)						// 话里说a吃b
		{
			if (same(a, b) || same(a+n, b) || same(a+2*n, b+n) || same(a, b+2*n))	
				// a和b是同类或捕食关系相反
			{
				ans ++;
			}
			else
			{
				merge(a, b+n);
				merge(a+n, b+2*n);
				merge(a+2*n, b);
			}
		}
	}
	printf("%d", ans);
	return 0;
}