bzoj 1997 [Hnoi2010]Planar——2-SAT+平面图的一个定理

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

平面图的一个定理：若边数大于（3*点数-6），则该图不是平面图。

然后就可以2-SAT了！

注意把输入读完再用定理continue！！！

注意边是元素，所以是i+m，而且数组也应开成M<<1！！！

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int N=,M=;
int T,n,m,hd[M<<],xnt,x[M],y[M],mp[N];
int dfn[M<<],low[M<<],tim,sta[M<<],top,col[M<<],cnt;
bool ins[M<<],flag;
struct Ed{
  int nxt,to;Ed(int n=,int t=):nxt(n),to(t) {}
}ed[(M*M)<<];
bool check(int i,int j)
{
  int x1=mp[x[i]],y1=mp[y[i]],x2=mp[x[j]],y2=mp[y[j]];
  if(x1>y1)swap(x1,y1);
  if((x2>x1&&x2<y1&&(y2>y1||y2<x1))||(y2>x1&&y2<y1&&(x2>y1||x2<x1)))return true;
  return false;
}
void add(int i,int j)
{
  ed[++xnt]=Ed(hd[i],j+m);hd[i]=xnt;
  ed[++xnt]=Ed(hd[j],i+m);hd[j]=xnt;
  ed[++xnt]=Ed(hd[i+m],j);hd[i+m]=xnt;
  ed[++xnt]=Ed(hd[j+m],i);hd[j+m]=xnt;
}
void tarjan(int cr)
{
  dfn[cr]=low[cr]=++tim;
  sta[++top]=cr;ins[cr]=;
  for(int i=hd[cr],v;i;i=ed[i].nxt)
    if(!dfn[v=ed[i].to])tarjan(v),low[cr]=min(low[cr],low[v]);
    else if(ins[v])low[cr]=min(low[cr],dfn[v]);
  if(dfn[cr]==low[cr])
    {
      cnt++;
      while(sta[top]!=cr)col[sta[top]]=cnt,ins[sta[top--]]=;
      top--;col[cr]=cnt;ins[cr]=;
    }
}
int main()
{
  scanf("%d",&T);
  while(T--)
    {
      scanf("%d%d",&n,&m);int z;
      for(int i=;i<=m;i++)scanf("%d%d",&x[i],&y[i]);
      for(int i=;i<=n;i++)
    scanf("%d",&z),mp[z]=i;
      if(m>*n-){printf("NO\n");continue;}//先把输入都读完再continue!!!
      memset(hd,,sizeof hd);xnt=;
      for(int i=;i<m;i++)
    for(int j=i+;j<=m;j++)
      if(check(i,j))add(i,j);
      memset(dfn,,sizeof dfn);tim=;cnt=;
      for(int i=;i<=*m;i++)if(!dfn[i])tarjan(i);
      flag=;
      for(int i=;i<=m;i++)
    if(col[i]==col[i+m]){flag=;break;}
      if(flag)printf("NO\n");
      else printf("YES\n");
    }
  return ;
}