1390：食物链【NOI2001】

【题目描述】

动物王国中有三类动物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），输出假话的总数。

【输入】

第一行是两个整数N和K，以一个空格分隔。

以下K行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，其中D表示说法的种类。

若D=1，则表示X和Y是同类。

若D=2，则表示X吃Y。

【输出】

只有一个整数，表示假话的数目。

【输入样例】

100 7
1 101 1 
2 1 2
2 2 3 
2 3 3 
1 1 3 
2 3 1 
1 5 5

【输出样例】

3

【提示】

【样例解释】

1390：食物链【NOI2001】 时间限制: 1000 ms         内存限制: 65536 KB 提交数: 380     通过数: 183  【题目描述】 动物王国中有三类动物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），输出假话的总数。 【输入】 第一行是两个整数N和K，以一个空格分隔。 以下K行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，其中D表示说法的种类。 若D=1，则表示X和Y是同类。 若D=2，则表示X吃Y。 【输出】 只有一个整数，表示假话的数目。 【输入样例】 100 7 1 101 1 2 1 2 2 2 3 2 3 3 1 1 3 2 3 1 1 5 5 【输出样例】 3

 

原始的并查集只能用于维护“属于同一类“的这种关系，但是这道题却还要求我们维护吃的关系，这样才能针对每一个给出的论断进行判断。维护属于同一组的这种信息很容易实现，但是又如何体现捕食的关系呢？稍加思考，可以这样来转化。针对每只动物，为他们分别创建三个元素，每个元素表示不同的种类信息(具体实现为i表示这只动物是A，i+N就表示是B，i+2*N就表示这只动物是C了),这样，就用N*3个元素来建立并查集，这样，种类信息便成功加进来了。再来，就是维护了。其实很简单，虽然不知道给出的每一个论断（这里指第二种）中，两只动物分别是什么种类的,但事实上无需知道，因为食物链是一个环，随便哪一点选作A都行，只要每种动物的相对关系不变就行。所以，我们把同一个集合中的所有元素都看做符合事实，由于加上了类型信息，所以吃的关系也能判断出来。

 

#include<iostream>
#include<cstdio>
using namespace std;
const int N = 1e6;
int p[N];
int findth(int x)
{
	if (x == p[x]) return p[x] = x;
	return p[x] = findth(p[x]);
}

void unionn(int x, int y)
{
	int xx = findth(x);
	int yy = findth(y);
	if (xx != yy) p[yy] = xx;
}

bool f(int x, int y)
{
	return findth(x) == findth(y);
}

int main()
{
	int n, k;
	scanf("%d %d", &n, &k);
	for (int i = 1;i <= 3 * n;i++) p[i] = i;
	int flag = 0;
	for (int i = 0;i < k;i++) {
		int b, x, y;
		scanf("%d %d %d", &b, &x, &y);
		if (x > n || y > n) flag++;
		else {
			if (b == 1) {
				if (f(x, y + n) || f(x, y + n * 2)) flag++;
				else {
					unionn(x, y);//同一类型放在一个集合
					unionn(x + n, y + n);
					unionn(x + 2 * n, y + 2 * n);
				}
			}
			else if (b == 2) {
				if (f(x, y) || f(x, y + 2 * n)) flag++;
				else {
					unionn(x, y + n);//这里是把x吃y换成y吃x的操作
					unionn(x + n, y + 2 * n);
					unionn(x + 2 * n, y);
				}
			}
		}
	}
	printf("%d\n", flag);
	return 0;
}