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跑。

上一篇:20145319 《网络渗透》MSF基础应用


下一篇:Linux命令--链接文件的那些事