P2024 [NOI2001] 食物链

题目链接

luogu P2024

题面

题目描述

动物王国中有三类动物 $A,B,C$，这三类动物的食物链构成了有趣的环形。$A$ 吃 $B$，$B$ 吃 $C$，$C$ 吃 $A$。
现有 $N$ 个动物，以 $1\sim N$ 编号。每个动物都是 $A,B,C$ 中的一种，但是我们并不知道它到底是哪一种。
有人用两种说法对这 $N$ 个动物所构成的食物链关系进行描述：

• 第一种说法是 1 X Y，表示 $X$ 和 $Y$ 是同类。
• 第二种说法是2 X Y，表示 $X$ 吃 $Y$。

此人对 $N$ 个动物，用上述两种说法，一句接一句地说出 $K$ 句话，这 $K$ 句话有的是真的，有的是假的。当一句话满足下列三条之一时，这句话就是假话，否则就是真话。

• 当前的话与前面的某些真的话冲突，就是假话；
• 当前的话中 $X$ 或 $Y$ 比 $N$ 大，就是假话；
• 当前的话表示 $X$ 吃 $X$，就是假话。

你的任务是根据给定的 $N$ 和 $K$ 句话，输出假话的总数。

输入格式

第一行两个整数，$N,K$，表示有 $N$ 个动物，$K$ 句话。
第二行开始每行一句话（按照题目要求，见样例）

输出格式

一行，一个整数，表示假话的总数。

样例 #1

样例输入 #1

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

样例输出 #1

3

提示

对于全部数据，$1\le N\le 5\times 10^4$，$1\le K\le 10^5$。

题意

有 $n$ 只动物，动物们分为三种类型$(A,B,C)$，其中有$A$吃$B$，$B$吃$C$，$C$吃$A$神奇关系（和石头剪刀布相类似）
现给出$m$条语句，其格式为 $P$ $x$ $y$

• $P$为$1$时，表示$x$是$y$的同类
• $P$为$2$时，表示$x$吃$y$

现求有多少条语句是谎言，谎言的定义如下：

• $x>n$或$y>n$
• $x$吃$y$时，$x==y$（即$x$自己吃自己）
• 与前面的语句相矛盾

当确定当前语句为谎言时，不执行当前语句
反之，执行当前语句

思路

这题其实是团伙的升级版，用的算法也是拓展域，只不过是由两个域变成了三个域
由于$A$吃$B$，$B$吃$C$，$C$吃$A$的“环状”关系，我们可以将动物们的关系分三大类（同类、猎物、敌人）
分别表示为（假设当前的动物编号为$i$）

$fa[i]$ $\to$ 同类
$fa[i+n]$ $\to$ 猎物
$fa[i+2n]$ $\to$ 天敌

然后我们就可以用类似团伙的做法进行并查集连接（对动物们指定“父亲”）
通过$find$数组就可以判断是否是同一个祖先，然后就可以进而判断关系的正确性

---

接下来我们来仔细分析一下如何去判断语句的正确性以及如何处理语句

$x>n$或$y>n$ 无聊判断输入越界
若$x$是$y$的同类$(P==1)$（假设状态）

如果 $x$是$y$的猎物 或 $x$是$y$的天敌 成立，这就会推翻 $x$是$y$的同类 这个假设，判断为谎言
否则就证实了 $x$是$y$的同类 这个假设，接下来就可以进行关系的连接了
因为 $x$是$y$的同类，所以 $x$的猎物 自然也就是 $y$的猎物、$x$的天敌 也就是 $y$的天敌

若$x$吃$y$$(P==2)$

如果 $x==y$（即自己吃自己）成立，判断为谎言
如果 $x$是$y$的同类 或 $x$是$y$的猎物（等价于 $x$的天敌是$y$）成立，这就会推翻 $x$吃$y$ 这个假设，判断为谎言
否则就证实了 $x$吃$y$ 这个假设，接下来就可以进行关系的连接了
因为$x$吃$y$，所以$x$的猎物是$y$、$x$是$y$的天敌、$x$的天敌是$y$的猎物

为什么$x$的天敌是$y$的猎物呢？
其实这个细节我一开始也没想到，其实只要在图纸上画一下就明白了

假设$x$为$A$类动物、$y$为$B$类动物、$z$为$C$类动物
即$x$吃$y$，$y$吃$z$，$z$吃$x$
我们可以从图中提取出以下信息：

1. $y$的猎物是$z$
2. $x$的天敌是$z$

所以$y$的猎物是$x$的天敌（$x$的天敌是$y$的猎物）
代码实现细节看代码注释

#include<bits/stdc++.h>
using namespace std;
#define int long long
int n,k,orz,x,y,ans,fa[50010*3];
//fa[1~n]为同类域 
//fa[n+1~2n]为猎物域
//fa[2n+1~3n]为天敌域
int find(int x){//并查集 find"父亲" 
	if(fa[x]!=x)fa[x]=find(fa[x]);
	return fa[x];
}
void merge(int x,int y){//并查集连接 
	fa[find(x)]=find(y);
	return;
}
signed main(){
	scanf("%lld%lld",&n,&k);
	for(int i=1;i<=3*n;i++)fa[i]=i;//初始化 
	while(k--){
		scanf("%lld%lld%lld",&orz,&x,&y);
		if(x>n||y>n)ans++;//x和y的越界特判 
		else if(orz==1){
			//假设x是y的同类 
			if(find(x)==find(y+n)||find(x)==find(y+2*n))ans++;
			//如果x是y的猎物或x是y的天敌在前面的语句出现过，则判断为谎话 
			else{
				//x是y的同类成立 
				merge(x,y);//x的同类是y 
				merge(x+n,y+n);//x的猎物是y的猎物 
				merge(x+2*n,y+2*n);//x的天敌是y的天敌 
			}
		}else{
			//假设x吃y 
			if(x==y||find(x)==find(y)||find(x)==find(y+n))ans++;
			//如果x吃y，又x==y，则是x自己吃自己，判断为谎话
			//如果x是y的同类 或 x是y的猎物，则与x吃y（x是y的天敌）相矛盾，判断为谎话
			else{
				//x吃y成立 
				merge(x+n,y);//x的猎物是y 
				merge(x+2*n,y+n);//x的天敌是y的猎物（重点，思路里有证明） 
				merge(x,y+2*n);//x是y的天敌
			}
		}
	}
	printf("%lld",ans);
	return 0;
}