bzoj 1997: [Hnoi2010]Planar

 #include<cstdio>
 #include<cstring>
 #include<iostream>
 #define M 20005
 #define N 2005
 using namespace std;
 int T,n,m,head[N],next[*M],u[*M],x[M],y[M],pos[N],cnt,tot,c[N],dfn[N],low[N],f[N],tim,t,z[M],sum,shu[M];
 void tarjan(int x)
 {
     f[x]=;z[++t]=x;
     low[x]=dfn[x]=++tim;
     for(int i=head[x];i;i=next[i])
         if(!dfn[u[i]])
             tarjan(u[i]),low[x]=min(low[x],low[u[i]]);
         else if(f[u[i]])
             low[x]=min(low[x],dfn[u[i]]);
     int now=-;
     if(low[x]==dfn[x])
     {
         sum++;
         while(now!=x)
         {
             now=z[t--];f[now]=;
             shu[now]=sum;
         }
     }
 }
 void jia(int a1,int a2)
 {
     cnt++;
     next[cnt]=head[a1];
     head[a1]=cnt;
     u[cnt]=a2;
 }
 bool pan()
 {
     for(int i=;i<=m;i++)
       if(shu[*i]==shu[*i-])
         return ;
     return ;
 }
 int main()
 {
     scanf("%d",&T);
     for(;T;T--)
       {
         scanf("%d%d",&n,&m);
         for(int i=;i<=m;i++)
           scanf("%d%d",&x[i],&y[i]);
         memset(head,,sizeof(head));
         sum=cnt=tim=;
         memset(dfn,,sizeof(dfn));
         memset(low,,sizeof(low));
         for(int i=;i<=n;i++)
           scanf("%d",&c[i]);
         if(m>*n-)
           {
             printf("NO\n");
             continue;
           }
         tot=;
         for(int i=;i<=n;i++)
           pos[c[i]]=i;
         for(int i=;i<=m;i++)
           {
             x[i]=pos[x[i]];
             y[i]=pos[y[i]];
             if(x[i]>y[i])
               swap(x[i],y[i]);
             if(y[i]-x[i]==||(y[i]==n&&x[i]==))
               continue;
             tot++;
             x[tot]=x[i];
             y[tot]=y[i];
           }
         m=tot;
         for(int i=;i<=m;i++)
           for(int j=i+;j<=m;j++)
             if((x[i]<x[j]&&x[j]<y[i]&&y[i]<y[j])||(x[j]<x[i]&&x[i]<y[j]&&y[j]<y[i]))
               {
                 jia(i*,j*-);
                 jia(j*-,i*);
                 jia(i*-,j*);
                 jia(j*,i*-);
               }
         for(int i=;i<=*m;i++)
           if(!dfn[i])
             tarjan(i);
         if(pan())
           printf("YES\n");
         else
           printf("NO\n");
       }
     return ;
 }

平面图在环内顶多有n-3条，环外顶多有n-3条，环上n条，所以超过3*n-6条边一定不是平面图，然后把所有的边按哈密尔顿重新编号，判断是否相交，相交的话一定一条在外，一条在内，

这样就变成了2-set问题，用tarjin跑。