题目描述

动物王国中有三类动物 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 句话有的是真的，有的是假的。当一句话满足下列三条之一时，这句话就是假话，否则就是真话。

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

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

输入格式

第一行两个整数，N，K，表示有 N 个动物，K 句话。

第二行开始每行一句话

输出格式

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

经典的种类并查集使用

好像也叫带权并查集

由此觉得并查集并不是一个简单的东西

我们可以对并查集中的每一个元素，记录一个\(relation(x)\)，表示\(x\)和\(fa(x)\)的关系

\(relation(x)\)有三种值：

0，表示\(x\)和\(fa(x)\)是同类
1，表示\(x\)被\(fa(x)\)吃掉
2，表示\(x\)吃掉\(fa(x)\)

当然，一开始的时候每个节点的父亲都是自己，\(relation\)也就是0，自己和自己是同类

那么，我们在进行路径压缩的时候，更新了\(fa(x)\)的同时，就也要更新\(relation(x)\)

考虑我们知道\(relation(x),relation(fa(x))\)，如何退出\(x\)和它的爷爷的关系？

即为：\((relation(x)+relation(fa(x)))\bmod 3\)

试一下就知道，这对于每种情况都是成立的，因为懒就不写出来了

其实这样说明了，刚才的的三个值并不是乱取的，要根据如何写上面那个公式简单来确定这三个值的意义

那么考虑另一件事，\(relation(x)\)是\(x\)相对于它的父亲的信息，那么如何通过\(relation(x)\)得到它父亲相对于它的信息？

试试三种情况就知道，是\((3-relation(x)) \bmod 3\)

稍微举个例子，比如\(x\)能吃掉\(fa(x)\)，也就是\(relation(x)=2\)

那么\(3-relation(x)=1\)，也就是说明，\(fa(x)\)被\(x\)吃掉

有了这个，就可以去考虑如何将两个集合合并了

设\(x,y\)的根分别是\(findx,findy\)，那么我们首先让\(fa(findy)=findx\)

那么\(fa(findy)\)被更新了，那么\(relation(findy)\)就也要更新

放上代码，对着代码说应该比较方便

inline void link(int x,int y,int findx,int findy,int o){

	fa[findy]=findx;

	relation[findy]=(3-relation[y]+o-1+relation[x])%3;

}

那个o就是一句话的类型，\(o=1\)表示同类，\(o=2\)表示\(x\)吃\(y\)

然后连完以后是这个样字，省略了其它无关节点

要想知道\(findx\)和\(findy\)的关系，肯定是要从\(x,y\)入手，因为其它没有边相连的节点之间的关系是不确定的

\(o-1\)，即为\(y\)相对于相对于\(x\)的关系，换句话说，就是如果\(y\)的父亲是\(x\)，那么\(relation(y)=o-1\)

那么我们可以在原来的树里想象出一些边，即为下图中的蓝色边，这些边是由父亲指向儿子

结合之前说的求\(x\)相对于它爷爷的关系的方法，我们可以给这个方法再加深一层

也就是求\(findy\)相对于它爸爸的爸爸的爸爸的关系（（（

其实就是顺着那些蓝色箭头往回走，那么走了这么三层，就到\(findx\)了

那么这三段蓝箭头产生的\(relation\)值加起来模3就行了

这也体现出以一个巧妙的方式确定\(relation\)的值多么重要，如果是瞎确定的，没有一个简洁的公式，那么上一步两层的还好，这一步变成三层就极其麻烦了

那么就是\((3-relation(y))+(o-1)+relation(x)\bmod 3\)，顺序是逆着箭头方向来的

所以这题基本就清晰了，部分细节看代码就好了

但是有一个实现上的地方要说一说，就是find函数

int find(int x){

	if(fa[x]==x) return x;

	int tmp=fa[x];

	fa[x]=find(fa[x]);

	relation[x]=(relation[x]+relation[tmp])%3;

	return fa[x];

}

为什么要先将fa[x]=find(fa[x])后再更新relation[x]？

因为在处理fa[x]之前，如果就用relation[fa[x]]去更新relation[x]，那么此时fa[x]与根的关系可能是没更新的错误信息，不能被用来更新relation[x]

为什么要定义一个tmp=fa[x]？

因为在fa[x]=find(fa[x])后，fa[x]的值有了变更

所以，并查集这玩意本身好像并不难，但一些更高级的应用还是有点东西的

当然也是我太蒻的原因

#include<cstdio>

#include<algorithm>

#include<iostream>

#include<cmath>

#include<iomanip>

#include<cstring>

#define reg register

#define EN std::puts("")

#define LL long long

inline int read(){

	int x=0,y=1;

	char c=std::getchar();

	while(c<'0'||c>'9'){if(c=='-') y=0;c=std::getchar();}

	while(c>='0'&&c<='9'){x=x*10+(c^48);c=std::getchar();}

	return y?x:-x;

}

int n,m;

int fa[50006],relation[50006];

inline void link(int x,int y,int findx,int findy,int o){

	fa[findy]=findx;

	relation[findy]=(3-relation[y]+o-1+relation[x])%3;

}

int find(int x){

	if(fa[x]==x) return x;

	int tmp=fa[x];

	fa[x]=find(fa[x]);

	relation[x]=(relation[x]+relation[tmp])%3;

	return fa[x];

}

int main(){

	n=read();m=read();

	reg int ans=0;

	for(reg int i=1;i<=n;i++) fa[i]=i;

	for(reg int i=1,o,x,y;i<=m;i++){

		o=read();x=read();y=read();

		if(x>n||y>n){ans++;continue;}

		if(o==2&&x==y){ans++;continue;}

		int findx=find(x),findy=find(y);

		if(findx!=findy) link(x,y,findx,findy,o);

		else{

			if(o==1){if(relation[x]!=relation[y]) ans++;}

			else{

				if((relation[y]+3-relation[x])%3!=1) ans++;

			}

		}

	}

	std::printf("%d",ans);

	return 0;

}

巴特西

P2024 食物链（种类并查集）

题目描述

输入格式

输出格式

经典的种类并查集使用

最新文章

热门文章