【BZOJ 1997】[Hnoi2010]Planar

Description

Input

Output

 

找到哈密尔顿环之后找到不在哈密尔顿环上的边

这些边如果同时在里面相交那他们同时在外面也相交，所以只能一外一内，这就变成了2-SAT，判一下就好了

平面图性质 边数<=3*n-6

 #include<cstdio>
 #include<cstring>
 #include<iostream>
 using namespace std;
 int T,n,m,timer,top,cnt,scc;
 int u[],v[];
 int c[],pos[];
 int head[],dfn[],low[],s[],bel[];
 bool ss[];
 struct ee{int to,next;}e[];
 void ins(int u,int v){
     e[++cnt].to=v;e[cnt].next=head[u];head[u]=cnt;
 }
 void tarjan(int x){
     dfn[x]=low[x]=++timer;
     s[++top]=x;ss[x]=;
     for(int i=head[x];i;i=e[i].next){
         int v=e[i].to;
         if(!dfn[v]) {
             tarjan(v);
             low[x]=min(low[x],low[v]);
         }else if(ss[v])low[x]=min(low[x],dfn[v]);
     }
     if(dfn[x]==low[x]){
         int t=-;scc++;
         while(t!=x){
             t=s[top--];
             bel[t]=scc;
             ss[t]=;
         }
     }
 }
 bool judge(){
     for(int i=;i<=m;i++)
         if(bel[*i]==bel[*i-])return ;
     return ;
 }
 int main(){
     scanf("%d",&T);
     while(T--){
         memset(head,,sizeof(head));cnt=;
         scc=cnt=timer=top=;
         memset(low,,sizeof(low));
         memset(dfn,,sizeof(dfn));
         scanf("%d%d",&n,&m);
         for(int i=;i<=m;i++) scanf("%d%d",&u[i],&v[i]);
         for(int i=;i<=n;i++) scanf("%d",&c[i]);
         for(int i=;i<=n;i++) pos[c[i]]=i;
         if(m>*n-){puts("NO");continue;}
         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]==||(u[i]==&&v[i]==n)) continue;
             u[++top]=u[i];v[top]=v[i];
         }
         m=top;top=;
         for(int i=;i<=m;i++)
             for(int j=i+;j<=m;j++){
                 if((u[i]<u[j]&&v[i]<v[j]&&v[i]>u[j])||u[j]<u[i]&&v[i]>v[j]&&v[j]>u[i]){
                     ins(*i-,*j);ins(*j-,*i);
                     ins(*j,*i-);ins(*i,*j-);
                 }
             }
         for(int i=;i<=*m;i++) if(!dfn[i]) tarjan(i);
         if(judge()) printf("YES\n");else printf("NO\n");
     }
 }