挑战程序设计竞赛 POJ 1192食物链 带权并查集,略麻烦

食物链

Time Limit: 1000MS		Memory Limit: 10000K
Total Submissions: 66720		Accepted: 19675

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

/*
* poj 1182
* author  : mazciwong
* creat on: 2016-1-18
*/

/*
按A,B,C分类,并查集解决
并查集是维护 "属于同一组"的数据结构
因为有真有假,所有N个元素每个都可以分到三组中去
所以设出来的并查集有三个根,这三个是划分块,不能同时成立
每个划分块里面是等价类,一个成立则其他都成立


*/


#include <iostream>
#include <cstring>
#include <cstdio>
#include <algorithm>
using namespace std;
typedef long long ll;
const int maxn = 150000 + 5;
int n, k;
int d, x, y;
int fa[maxn];
int depth[maxn];
//maxn是最多的节点数,init中的n是用到的



//并查集初始化
void init(int n) 
{
	//包括用rank记录树的高度和路径压缩两种优化
	for (int i = 0; i < n; i++)
	{
		fa[i] = i;
		depth[i] = 0;
	}
}

//并查集查询
int find(int x)
{
	if (x == fa[x])
		return x;
	else
		return fa[x] = find(fa[x]);
}

//并查集合并
void unite(int x, int y)  
{
	x = find(x);
	y = find(y);
	if (x == y) return;
	if (depth[x] < depth[y]) //x根更短,则x指向y
		fa[x] = y;
	else if(depth[x]>depth[y])
		fa[y] = x;
	else //一样高的话,谁指向谁都可以,记得高度加一
	{
		fa[y] = x;
		depth[x]++;
	}
}

//判断是否属于同一个集合
bool same(int x, int y)
{
	return find(x) == find(y);
}

/*
n个元素,每个元素都能放入A.B.C中,则共3n种对应法
用并查集来分组,在一组的话同时成立,相当于等价划分块
*/
void solve()
{
	int ans = 0;
	for (int i = 0; i < k; i++)
	{
		scanf("%d%d%d", &d, &x, &y);
		x--, y--;//把他们从1-n变成从0-(n-1),方便计算

		//题目里给出的第二种错误
		if (x < 0 || x >= n || y < 0 || y >= n)
		{
			ans++;
			continue;
		}

		//下面是循环读入,然后并查集处理
		if (d == 1) //x,y同一类
		{
			//就不能跟另外两个同类了
			if (same(x, y + n) || same(x, y + 2 * n))
				ans++;
			else
			{ //要三个都写是因为后面两个一定成立,x在A,y在A,那么当x在B,y一定在B
				unite(x, y);
				unite(x + n, y + n);
				unite(x + 2 * n, y + 2 * n);
			}
		}
		else //x吃y
		{
			if (same(x, y) || same(x, y + 2 * n))
				ans++;
			else
			{
				unite(x, y + n);
				unite(x + n, y + 2 * n);
				unite(x + 2 * n, y);
			}
		}
	}
	printf("%d\n", ans);
}
int main()
{
	scanf("%d%d", &n, &k);
	init(n * 3);//把3*n种配对都初始化出来
	solve();
	return 0;
}