【poj1733】Parity game【扩展域并查集】

分析

赛时第一眼看到这个题目就觉得是并查集，但是约束关系比较多，n范围太大，以及每个区间的奇偶关系想复杂了，导致没能实现。

其实判断区间段内奇偶是否符合要求也只需要像前缀和一样搞就行，然后判断同奇同偶还是不同，就可以判断每个区间是否合法了。

扩展域并查集其实之前是写过的。例如：食物链
这次再复习一下，上次还是三个域呢。

用x表示1-x是奇数个1，x+tot表示是偶数个1，然后就可以对于每个区间先判断是否是真话，也就是说能不能有互相推出的关系，然后再把这句话表明的能够互相推出的关系加入到一个集合。

这道题需要离散化，把n缩小到2*m，然后需要去重，才得到最终的个数。

上代码

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
using namespace std;

struct node
{
	int l,r,ans;
}q[5010];

int n,m,ff;
int a[10010];
int fa[20010];

int father(int x)
{
	if(fa[x]==x) return x;
	else return fa[x]=father(fa[x]);
}

int main()
{
	cin>>n>>m;
	for(int i=1;i<=m;i++)
	{
		scanf("%d%d",&q[i].l,&q[i].r);
		string t;
		cin>>t;
		if(t[0]=='e') q[i].ans=0;
		else q[i].ans=1;
		a[2*i-1]=q[i].l-1;
		a[2*i]=q[i].r;//离散化
	}
	sort(a+1,a+2*m+1);
	int tot=unique(a+1,a+2*m+1)-a-1;//去重
	for(int i=1;i<=2*tot;i++) fa[i]=i;
	for(int i=1;i<=m;i++)
	{
		int x=lower_bound(a+1,a+tot+1,q[i].l-1)-a;//找到x-1,y对应的区间
		int y=lower_bound(a+1,a+tot+1,q[i].r)-a;
		if(q[i].ans==1)//区间为偶数
		{
			if(father(x)==father(y)||father(x+tot)==father(y+tot))
			/*如果x是奇/偶能够推出y是奇/偶，那么就是说谎*/
			{
				cout<<i-1;
				return 0;
			}
			fa[father(x+tot)]=father(y);
			fa[father(x)]=father(y+tot);
		} 
		else
		{
			if(father(x+tot)==father(y)||father(x)==father(y+tot))
			{
				cout<<i-1;
				return 0;
			}
			fa[father(x)]=father(y);
			fa[father(x+tot)]=father(y+tot);
		}
	}
	cout<<m;
	return 0;
}