07年的論文裡有關於平面圖判定的

但是那個程式碼好像要300多行（聽說12年WC的時候clj寫出來了%%%%%%%%%%%）

不過既然存在哈密爾頓迴路，那麼當然要用特殊的做法啦

首先把哈密爾頓圈畫出來

然後不在圈上的邊要麼在圈內要麼在圈外

如果有兩條邊在圈內相交了，那麼他們肯定是一個在圈內一個在圈外

所以是個2-SAT問題（直接套Tarjan就好了）

然後因為我比較懶就寫了個並查集水一水了

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int N=200+5;
int pa[6*N],rk[N];
int find(int x){
	return pa[x]==x?x:pa[x]=find(pa[x]);
}
bool cross(int u0,int v0,int u1,int v1){
	if(u0==u1||u0==v1||v0==u1||v0==v1)return false;
	u0=rk[u0];v0=rk[v0];
	u1=rk[u1];v1=rk[v1];
	if(u0>v0)swap(u0,v0);
	if(u1>v1)swap(u1,v1);
	if(v0<u1||v1<u0)return false;
	return (u0<u1)==(v0<v1);
}
void merge(int x,int y){
	x=find(x);y=find(y);
	if(x!=y)pa[x]=y;
}
int n,m,u[10000+5],v[10000+5];
bool check(){
	if(m>3*n-6)return false;
	for(int i=1;i<=2*m;i++)pa[i]=i;
	for(int i=1;i<=m;i++)
	for(int j=i+1;j<=m;j++)
	if(cross(u[i],v[i],u[j],v[j])){
		int x=find(i),y=find(j);
		if(x==y)return false;
		merge(x,j+m);
		merge(y,i+m);
	}
	return true;
}
int main(){
	//freopen("a.in","r",stdin);
	int T;scanf("%d",&T);
	while(T--){
		scanf("%d%d",&n,&m);
		for(int i=1;i<=m;i++)scanf("%d%d",&u[i],&v[i]);
		for(int i=1;i<=n;i++){
			int x;scanf("%d",&x);
			rk[x]=i;
		}
		puts(check()?"YES":"NO");
	}
	return 0;
}