[BZOJ1997][Hnoi2010]Planar（2-SAT）

题解

传送门

题解

刚开始看这道题和POJ3207很像，但是发现边是1w的，没法 O(n2) 做

首先这题不能贪心，反例随便举
然后我又觉得展环成链之后，对于每一个点，只保留其向左和向右最远的边，这样来搞
貌似还是有反例的，但是这题数据辣鸡被我乱搞过了
其实正解是…
如果边数>点数*3-6的话，一定不是一个平面图
于是随便做了…
一口老血喷出来…

代码

#include
#include
#include
#include
#include
using namespace std;
#define N 2005

int T,n,m,x,cnt,dfs_clock,scc;
struct data{int x,y;}e[N*5];
int tot,point[N],nxt[N*200],v[N*200];
int pos[N],dfn[N],low[N],stack[N],top,belong[N];
bool flag,vis[N];

void clear()
{
    n=m=x=cnt=dfs_clock=scc=top=0;flag=0;
    tot=0;memset(point,0,sizeof(point));
    memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low));memset(belong,0,sizeof(belong));
    memset(vis,0,sizeof(vis));
}
void add(int x,int y)
{
    ++tot; nxt[tot]=point[x]; point[x]=tot; v[tot]=y;
}
void tarjan(int x)
{
    dfn[x]=low[x]=++dfs_clock;stack[++top]=x;vis[x]=1;
    for (int i=point[x];i;i=nxt[i])
        if (!dfn[v[i]])
        {
            tarjan(v[i]);
            low[x]=min(low[x],low[v[i]]);
        }
        else if (vis[v[i]])
            low[x]=min(low[x],dfn[v[i]]);
    if (dfn[x]==low[x])
    {
        int now=0;++scc;
        while (now!=x)
        {
            now=stack[top--];
            belong[now]=scc;
            vis[now]=0;
        }
    }
}
int main()
{
    scanf("%d",&T);
    while (T--)
    {
        clear();
        scanf("%d%d",&n,&m);
        for (int i=1;i<=m;++i) scanf("%d%d",&e[i].x,&e[i].y);
        for (int i=1;i<=n;++i) scanf("%d",&x),pos[x]=i;
        if (m>3*n-6) {puts("NO");continue;}
        for (int i=1;i<=m;++i)
        {
            e[i].x=pos[e[i].x],e[i].y=pos[e[i].y];
            if (e[i].x>e[i].y) swap(e[i].x,e[i].y);
        }
        for (int i=1;i<=m;++i)
            for (int j=1;j<=m;++j)
            {
                if (e[j].xe[i].x&&e[j].y>e[i].y||e[i].xe[j].x&&e[i].y>e[j].y)
                    add(i,j+m),add(j,i+m),add(i+m,j),add(j+m,i);
            }
        for (int i=1;i<=m;++i)
            if (!dfn[i]) tarjan(i);
        flag=1;
        for (int i=1;i<=m;++i)
            if (belong[i]==belong[i+m])
            {
                flag=0;
                break;
            }
        if (flag) puts("YES");
        else puts("NO");
    }
}