[bzoj1997] [Hnoi2010]Planar

　　平面图判定。。好高大上的东西。。

　　然而题目保证有个n元环= =。。。所以只要判断一下，非环边能否做到不相交。

　　

　　接下来有各种姿势。。。

　　可以将边看成点，不能放在环的同一侧（会相交）的边之间连边，判断新图是否为二分图（没有奇环）；

　　还可以上2-sat。。。。

　　或者可以用并查集...其实就是因为这题2-sat的边是双向的。。所以直接并查集就好了；

　　记得先用平面图m<=3*n-6的性质剪一下枝。

#include<cstdio>
#include<iostream>
#include<cstring>
using namespace std;
const int maxn=1233;
int u[10233],v[10233],id[maxn],fa[maxn];
int i,j,k,n,m;
 
int ra;char rx;
inline int read(){
    rx=getchar(),ra=0;
    while(rx<'0'||rx>'9')rx=getchar();
    while(rx>='0'&&rx<='9')ra*=10,ra+=rx-48,rx=getchar();return ra;
}
inline bool gg(int u1,int v1,int u2,int v2){
    if(u1==u2||v1==v2||u1==v2||v1==u2)return 0;
    u1=id[u1],v1=id[v1],u2=id[u2],v2=id[v2];
    if(u1>v1)swap(u1,v1);if(u2>v2)swap(u2,v2);
    if(u1>u2)swap(u1,u2),swap(v1,v2);
    return !(u2>v1||v2<v1);
}
inline int getfa(int x){return fa[x]!=x?fa[x]=getfa(fa[x]):x;}
inline bool check(){
    if(m>3*n-6)return 0;
    register int j;int i,x,y;
    for(i=1;i<=m+m;i++)fa[i]=i;
    for(i=1;i<m;i++)for(j=i+1;j<=m;j++)if(gg(u[i],v[i],u[j],v[j])){
        x=getfa(i),y=getfa(j);
        if(x==y)return 0;
        fa[x]=getfa(j+m),fa[y]=getfa(i+m);
    }
    return 1;
}
int main(){
    for(int t=read();t;t--){
        n=read(),m=read();
        for(i=1;i<=m;i++)u[i]=read(),v[i]=read();
        for(i=1;i<=n;i++)id[read()]=i;
        puts(check()?"YES":"NO");
    }
}