BZOJ1997 [Hnoi2010]Planar (2-sat)

题意:给你一个哈密顿图,判断是不是平面图

思路:先找出哈密顿图来。哈密顿回路可以看成一个环,把边集划分成两个集合,一个在环内,一个在外。如果有两条相交边在环内,则一定不是平面图,所以默认两条相交边,转化成2——sat,两条边不能同时在内或外,注意双向加边。(以边来转化成两倍)

 #include<cstdio>
#include<cstring>
#include<iostream>
#include<queue>
#include<stack>
#include<bits/stdc++.h>
using namespace std;
#define LL long long
#define clc(a,b) memset(a,b,sizeof(a))
const int maxn = + ;
int r(){
int x=,f=;char ch=getchar();
while(ch<''||ch>''){if(ch=='-')f=-;ch=getchar();}
while(ch>=''&&ch<=''){x=x*+ch-'';ch=getchar();}
return x*f;
}
int T,n,m,ind,top,cnt,scc;
int u[],v[];
int c[],pos[];
int last[],dfn[],low[],q[],bl[];
bool inq[]; struct edge{
int to,next;
}e[]; void add(int u,int v){
e[++cnt].to=v;
e[cnt].next=last[u];
last[u]=cnt;
} void tarjan(int x){
inq[x]=;q[++top]=x;
low[x]=dfn[x]=++ind;
for(int i=last[x];i;i=e[i].next)
if(!dfn[e[i].to])
tarjan(e[i].to),low[x]=min(low[x],low[e[i].to]);
else if(inq[e[i].to])
low[x]=min(low[x],dfn[e[i].to]);
int now=-;
if(low[x]==dfn[x])
{
scc++;
while(now!=x)
{
now=q[top--];inq[now]=;
bl[now]=scc;
}
}
} bool jude(){
for(int i=;i<=m;i++){
if(bl[i*]==bl[i*-])
return false;
}
return true;
}
int main(){
T=r();
while(T--){
n=r(),m=r();
for(int i=;i<=m;i++){
u[i]=r();v[i]=r();
}
clc(last,);
cnt=;
scc=ind=;
clc(low,);
clc(dfn,);
for(int i=;i<=n;i++)
c[i]=r();
if(m>*n-){
printf("NO\n");
continue;
}
for(int i=;i<=n;i++)
pos[c[i]]=i;
top=;
for(int i=;i<=m;i++){
u[i]=pos[u[i]],v[i]=pos[v[i]];
if(u[i]>v[i]) swap(u[i],v[i]);
if(v[i]-u[i]==||v[i]-u[i]==n-) continue;
u[++top]=u[i],v[top]=v[i];
}
m=top;
for(int i=;i<=m;i++){
for(int j=i+;j<=m;j++){
if((u[i]<u[j]&&v[i]>u[j]&&v[i]<v[j])||(u[i]>u[j]&&v[j]>u[i]&&v[i]>v[j])){
add(*i-,*j);
add(*i,*j-);
add(*j-,*i);
add(*j,*i-);
}
}
}
for(int i=;i<=*m;i++){
if(dfn[i]==){
tarjan(i);
}
}
if(jude()) printf("YES\n");
else printf("NO\n"); }
return ;
}
上一篇:C# 判断是否联网


下一篇:10年程序员谈.Net程序员的职业规划(图/文)