BZOJ 1997: [Hnoi2010]Planar

07年的论文里有关于平面图判定的

但是那个代码好像要300多行(听说12年WC的时候clj写出来了%%%%%%%%%%%

不过既然存在哈密尔顿回路,那么当然要用特殊的做法啦

首先把哈密尔顿圈画出来

然后不在圈上的边要么在圈内要么在圈外

如果有两条边在圈内相交了,那么他们肯定是一个在圈内一个在圈外

所以是个2-SAT问题(直接套Tarjan就好了

然后因为我比较懒就写了个并查集水一水了

#include
#include
#include
using namespace std;
const int N=200+5;
int pa[6*N],rk[N];
int find(int x){
	return pa[x]==x?x:pa[x]=find(pa[x]);
}
bool cross(int u0,int v0,int u1,int v1){
	if(u0==u1||u0==v1||v0==u1||v0==v1)return false;
	u0=rk[u0];v0=rk[v0];
	u1=rk[u1];v1=rk[v1];
	if(u0>v0)swap(u0,v0);
	if(u1>v1)swap(u1,v1);
	if(v03*n-6)return false;
	for(int i=1;i<=2*m;i++)pa[i]=i;
	for(int i=1;i<=m;i++)
	for(int j=i+1;j<=m;j++)
	if(cross(u[i],v[i],u[j],v[j])){
		int x=find(i),y=find(j);
		if(x==y)return false;
		merge(x,j+m);
		merge(y,i+m);
	}
	return true;
}
int main(){
	//freopen("a.in","r",stdin);
	int T;scanf("%d",&T);
	while(T--){
		scanf("%d%d",&n,&m);
		for(int i=1;i<=m;i++)scanf("%d%d",&u[i],&v[i]);
		for(int i=1;i<=n;i++){
			int x;scanf("%d",&x);
			rk[x]=i;
		}
		puts(check()?"YES":"NO");
	}
	return 0;
}


你可能感兴趣的:(并查集,2-SAT)