Description
若能将无向图 G=(V,E)画在平面上使得任意两条无重合顶点的边不相交,则称 G 是平面图。
判定一个图是否为平面图的问题是图论中的一个重要问题。现在假设你要判定的是一类特殊的
图,图中存在一个包含所有顶点的环,即存在哈密顿回路。
输入格式：
输入文件的第一行是一个正整数T，表示数据组数(每组数据描述一个需要判定的图)。接下来从输入文件第二行开始有T组数据，每组数据的第一行是用空格隔开的两个正整数N和M，分别表示对应图的顶点数和边数。紧接着的M行，每行是用空格隔开的两个正整数u和v（1<=u,v<=n），表示对应图的一条边(u,v),输入的数据保证所有边仅出现一次。每组数据的最后一行是用空格隔开的N个正整数，从左到右表示对应图中的一个哈密顿回路：V1,V2,…,VN，即对任意i≠j有Vi≠Vj且对任意1<=i<=n-1有(Vi,Vi-1) ∈E及(V1,Vn) ∈E。输入的数据保证100%的数据满足T<=100,3<=N<=200,M<=10000。
输出格式：
包含T行，若输入文件的第i组数据所对应图是平面图，则在第i行输出YES，否则在第i行输出NO，注意均为大写字母
solution
正解：二分图染色
很容易想到听大佬们说是二分图，然后去分析性质，发现唯一解决矛盾的方法是：
把相交的两条边的其中一条放到环外面去，然后发现都放出去也会相交，于是就产生了两个集合
二分图染色判断即可，但是边数是 \(m=10000\)，开不下啊，看了题解，发现有结论：平面图边数不超过 \(3*n-6\)，于是判掉后，边就少了.
#include
#include
#include
#include
#include
#include
#define RG register
#define il inline
#define iter iterator
#define Max(a,b) ((a)>(b)?(a):(b))
#define Min(a,b) ((a)<(b)?(a):(b))
using namespace std;
const int N=605,M=605*605*2;
int n,m,a[N],nxt[M],to[M],num=0,head[N],id[N],col[N],flag=0;
struct node{int x,y;}e[10005];
inline void link(int x,int y){
nxt[++num]=head[x];to[num]=y;head[x]=num;}
void Clear(){
memset(head,0,sizeof(head));num=0;
memset(col,0,sizeof(col));flag=1;
}
inline void dfs(int x){
for(int i=head[x];i;i=nxt[i]){
int u=to[i];
if(!col[u]){
col[u]=3-col[x];
dfs(u);
}
else if(col[u]==col[x]){flag=0;return ;}
if(!flag)return ;
}
}
void work()
{
Clear();
int x1,y1,x2,y2;
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",&a[i]),id[a[i]]=i;
if(m>3*n-6){puts("NO");return ;}
for(int i=1;i<=m;i++){
for(int j=i+1;j<=m;j++){
x1=id[e[i].x];y1=id[e[i].y];
x2=id[e[j].x];y2=id[e[j].y];
if(x1==x2 || x1==y2 || y1==x2 || y1==y2)continue;
if(x1>y1)swap(x1,y1);
if(x2>y2)swap(x2,y2);
if(x1>x2)swap(x1,x2),swap(y1,y2);
if(x1y1)link(i,j),link(j,i);
}
}
for(int i=1;i<=m;i++){
if(col[i])continue;
col[i]=1;dfs(i);
if(!flag){puts("NO");return ;}
}
puts("YES");
}
int main()
{
int T;cin>>T;
while(T--)work();
return 0;
}