拓展域并查集

原创已于 2024-08-17 17:38:32 修改 · 582 阅读

2 ·

CC 4.0 BY-SA版权

文章标签：

#其他

于 2021-10-25 23:34:30 首次发布

并查集专栏收录该内容

2 篇文章

订阅专栏

博客介绍了拓展域并查集的概念，通过举例P5937 [CEOI1999]Parity Game，阐述如何将问题转化为并查集维护的形式。通过对条件的前缀和转换，将奇偶性判断问题转化为团伙问题模型。通过拆解不同的奇偶状态，建立相应的节点，并根据奇偶性关系进行并集操作，实现对合法性的判定。拓展域并查集在此类问题中起到了关键作用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

拓展域并查集

拓展域并查集。就是通过“拓展域”的方式，将一个点的多个情况拆解成多个仅有单一状态的点，从而将问题转化为可用并查集维护的形式。
例题：P5937 [CEOI1999]Parity Game
将条件通过前缀和（设为sum[x])转化为以下形式：
[l,r]之间1的个数为奇数/偶数 --> sum[l-1]与sum[r]的奇偶性不同/相同
这样做转化后，这个问题就转化为“团伙问题”模型。但是由于要介绍拓展域并查集，故暂且将“设立敌人集合”的做法放置，讲解拓展域并查集
将"sum[x]为奇数或偶数“拆解成”sum[x]为奇数“和"sum[x]为偶数”两个条件，对每一个情况设一个点(分别设为X[odd],X[even])，当sum[x]与sum[y]之间的关系为奇偶性不同时，将x[odd]与y[even]，y[odd]与x[even]做并集。关系为奇偶性相同时，则将x[odd]与y[odd],x[even]与y[even]做并集，表明两种情况必定同时出现。当需要判定合法性时，若 x[odd]与y[odd]在同一集合，说明奇偶性相同，反之亦然。
讲解到这里就会发现，“团伙问题”中的“建立敌对集合”的方法就是一种拓展域并查集。

#include<bits/stdc++.h>
using namespace std;//拓展域并查集 
#define il inline
#define re register
il int read()
{
	int s=0,w=1;char c=getchar();
	while(c<'0'||c>'9'){ if(c=='-') w=-1;c=getchar();}
	while(c>='0'&&c<='9'){ s=(s<<1)+(s<<3)+c-'0';c=getchar();}
	return s*w;
}
const int N=5e3+10; 
int n,m;
struct node{
	int x,y,op;
}Q[N];
int b[N],bt;
int fa[N<<1];
char s[10];
il int getfa(int x){
	return (fa[x]==x)?x:fa[x]=getfa(fa[x]);
}
int main()
{
	n=read(),m=read();
	for(re int i=1;i<=m;i++){
		Q[i].x=read()-1,Q[i].y=read();
		scanf("%s",s+1);
		Q[i].op=(s[1]=='e')?0:1;
		b[i]=Q[i].x,b[i+m]=Q[i].y;
	}
	sort(b+1,b+1+(m<<1));
	bt=unique(b+1,b+1+(m<<1))-b-1;
	for(re int i=1;i<=(bt<<1);i++) fa[i]=i;
	for(re int i=1;i<=m;i++){
		int x_odd=lower_bound(b+1,b+1+bt,Q[i].x)-b,x_even=x_odd+bt;
		int y_odd=lower_bound(b+1,b+1+bt,Q[i].y)-b,y_even=y_odd+bt;
		if(Q[i].op==0){
			if(getfa(x_odd)==getfa(y_even)){
				printf("%d",i-1);return 0;
			}
			fa[getfa(x_odd)]=getfa(y_odd);
			fa[getfa(x_even)]=getfa(y_even);
		}
		if(Q[i].op==1){
			if(getfa(x_odd)==getfa(y_odd)){
				printf("%d",i-1);return 0;
			}
			fa[getfa(x_odd)]=getfa(y_even);
			fa[getfa(x_even)]=getfa(y_odd);
		}
	}
	printf("%d",m);
	return 0;
}