bzoj1997 [Hnoi2010]Planar

https://www.lydsy.com/JudgeOnline/problem.php?id=1997

本来是做2-sat的，结果发现这题就是直接相斥，那么并查集虚点做法就可以了。

题目给出了一条哈密顿回路，那么我们只要把这个哈密顿回路拿出来，再判断那些不在这条路上的边不相交，就可以判断他是不是平面图了。

网上查题解查到一个平面图的性质,m<=3*n-6，m太大就直接判断是NO，否则再拿出来用并查集判断。

如果第i条边和第j条边相交，那么union(i,j+n),union(i+n,j)。

如果最后某个i和i+n在同一个并查集中了，就是矛盾的。

#include<bits/stdc++.h>
using namespace std;

const int maxl=2e4+10;

int n,m,cnt,tot,ans;
int a[maxl],pos[maxl],f[maxl];
bool in[maxl];
struct ed
{
	int u,v;
}inie[maxl*10],ee[maxl];

inline void prework()
{
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;i++)
		scanf("%d%d",&inie[i].u,&inie[i].v);
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&a[i]);
		pos[a[i]]=i;
	}
	for(int i=1;i<=m;i++)
	{
		inie[i].u=pos[inie[i].u],inie[i].v=pos[inie[i].v];
		if(inie[i].u>inie[i].v)
			swap(inie[i].u,inie[i].v);
	}
	ans=1;
	if(m>3*n-6)
	{
		ans=0;
		return;
	}
	n=0;
	for(int i=1;i<=m;i++)
	if(inie[i].u!=inie[i].v-1)
		ee[++n]=inie[i];	
}

inline bool cfl(int i,int j)
{
	if(ee[i].u<ee[j].u && ee[j].u<ee[i].v && ee[i].v<ee[j].v)
		return true;
	if(ee[j].u<ee[i].u && ee[i].u<ee[j].v && ee[j].v<ee[i].v)
		return true;
	return false;
}

inline int find(int x)
{
	if(f[x]!=x)
		f[x]=find(f[x]);
	return f[x];
}

inline void mainwork()
{
	if(!ans) 
		return;
	for(int i=1;i<=2*n;i++)
		f[i]=i;
	int x,y;
	for(int i=1;i<=n;i++)
		for(int j=i+1;j<=n;j++)
		if(cfl(i,j))
		{
			x=find(i);y=find(j+n);
			if(f[y]!=x)
				f[y]=x;
			x=find(i+n);y=find(j);
			if(f[y]!=x)
				f[y]=x;
		}
	for(int i=1;i<=n;i++)
	if(find(i)==find(i+n))
		ans=0;
}

inline void print()
{
	if(ans)
		puts("YES");
	else
		puts("NO");
}

int main()
{
	int t;
	scanf("%d",&t);
	for(int i=1;i<=t;i++)
	{
		prework();
		mainwork();
		print();
	}
	return 0;
}