刷题记录:牛客NC16884[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），输出假话的总数。
输入:
100 7
1 101 1   
2 1 2     
2 2 3     
2 3 3     
1 1 3     
2 3 1     
1 5 5
输出:
3

当年NOI的第一题,对于没有见过类似题型的人来说,这道题的思维难度还是挺高的.这是一道种族并查集的一道题.

具体思路:

1. 首先我们看到这道题,肯定是要使用并查集来做这道题的
2. 我们准备用三个数组A,B,C,即三个并查集
3. A用来存储同类关系,B用来存储天敌关系(即x被y吃),C用来存储猎物关系(即x吃y),根据上述定义,并且结合题意 (题面上说一共只有三种种族,且他们的食物链关系呈现一个环状) ,那么我们还可以的到一个小关系,就是X的猎物的猎物就是他的天敌.并且此时我们初始化每一个数组的值都为自己的编号(显然自己是不能吃自己的,并且这样的初始化也很巧妙的解决了假设先有捕食关系再有同类关系的没有更新的情况.不然的话我们就要判断一下x,y的两者的父子优先级关系了,可能需要交换)
4. 对于每一个1操作,有x,y,假设x是y的天敌或者猎物的话显然就是错误的,反之合并他们
5. 对于每一个2操作,假设x和y是同类的话或者x是y的猎物的话显然也是错误的,反之将他们根据捕食关系合并即可

具体的代码部分:

#include <iostream>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <string.h>
#include <stack>
#include <deque>
using namespace std;
typedef long long ll;
#define inf 0x3f3f3f3f
#define root 1,n,1
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
inline ll read() {
	ll x=0,w=1;char ch=getchar();
	for(;ch>'9'||ch<'0';ch=getchar()) if(ch=='-') w=-1;
	for(;ch>='0'&&ch<='9';ch=getchar()) x=x*10+ch-'0';
	return x*w;
}
#define maxn 1000000
#define ll_maxn 0x3f3f3f3f3f3f3f3f
const double eps=1e-8;
int n,k;
int fa[maxn];
int find(int a) {
	if(a==fa[a]) return a;
	else return fa[a]=find(fa[a]);
}
int main() {
	n=read();k=read();
	for(int i=1;i<=3*n;i++) fa[i]=i;
	int x,y,opt;int ans=0;
	for(int i=1;i<=k;i++) {
		opt=read();x=read();y=read();
		if(x>n||y>n) {
			ans++;
			continue;
		}
		if(opt==1) {
			if(find(x+n)==find(y)||find(x+2*n)==find(y)) ans++;
			else {
				fa[find(x)]=find(y);//同类
				fa[find(x+n)]=find(y+n);//天敌
				fa[find(x+2*n)]=find(y+2*n);//猎物
			}
		}else {
			if(find(x)==find(y)||find(x+n)==find(y)) ans++;
			else {
				fa[find(x+2*n)]=find(y);
				fa[find(x+n)]=find(y+2*n);
				fa[find(y+n)]=find(x);
				fa[find(y+2*n)]=find(find(x+n));
			}
		}
	}
	cout<<ans<<endl;
	return 0;
}