[BZOJ1997]Planar（2-SAT）

传送门

---

这题乍一眼看上去肥肠的复杂，事实上他非常简单！突破口就在题目中哈密顿回路。
我们可以把哈密顿回路看成一个圆，那么这题就可以转换为下面这道题
poj3207
看完这一道题的题解后，你是不是发现他们本质上是一样的？
好啦2-SAT去做吧。

---

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
using namespace std;
const int N=10010;
const int M=310000;
struct AKCqhzdy
{
    int x,y,next;
}e[M]; int last[N],len;
int n,m;
void ins(int x,int y){e[++len].x=x;e[len].y=y;e[len].next=last[x];last[x]=len;}
int low[N],dfn[N],id;
int sta[N],top; bool insta[N];
int bl[N],scc;
void tarjan(int x)
{
    dfn[x]=low[x]=++id;
    sta[++top]=x; insta[x]=true;
    for(int k=last[x];k;k=e[k].next)
    {
        int y=e[k].y;
        if(!dfn[y])
        {
            tarjan(y);
            low[x]=min(low[x],low[y]);
        }
        else 
        {
            if(insta[y]) low[x]=min(low[x],dfn[y]);
        }
    }
    if(low[x]==dfn[x])
    {
        int i; scc++;
        do{
            i=sta[top--];
            bl[i]=scc;
            insta[i]=false;
        }while(i!=x);
    }
}
int a[N],b[N];
int c[N],pos[N];
bool v[N];
bool getmap()
{
    scanf("%d%d",&n,&m);
    memset(last,0,sizeof(last));len=0;
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(bl,-1,sizeof(bl));
    memset(insta,false,sizeof(insta));
    scc=top=id=0;
    for(int i=1;i<=m;i++)scanf("%d%d",&a[i],&b[i]);
    for(int i=1;i<=n;i++) scanf("%d",&c[i]),pos[c[i]]=i;
    if(m>3*n+6) {printf("NO\n");return false;}
    for(int i=1;i<=m;i++)
    {
        a[i]=pos[a[i]];
        b[i]=pos[b[i]]; 
        if(a[i]>b[i]) swap(a[i],b[i]);
    }
    memset(v,true,sizeof(v));
    for(int i=1;i<=m;i++)
    {
        if(a[i]+1==b[i] || (a[i]==1 && b[i]==n)) v[i]=false;
    }
    for(int i=1;i<=m;i++)if(v[i])
    {
        for(int j=1;j<=m;j++)if(i!=j && v[j])
        {
            if(a[i]<a[j] && a[j]<b[i] && b[i]<b[j])
            {
                ins(2*i,2*j+1);
                ins(2*j+1,2*i);
                ins(2*j,2*i+1);
                ins(2*i+1,2*j);
            }
        }
    }
    return true;
}
void solve()
{
    for(int i=1;i<=m;i++)if(v[i])
    {
        if(!dfn[2*i]) tarjan(2*i);
        if(!dfn[2*i+1]) tarjan(2*i+1);
    }

    for (int i=1;i<=m;i++)
        if(v[i] && bl[2*i]==bl[2*i+1])
        {
            printf("NO\n");
            return;
        }
    printf("YES\n");
}
int main()
{
    int T;scanf("%d",&T);
    while(T--)
    {
        if(getmap()) solve();
    }
}