只要所有人都和其他人有关系或者确定了好坏,并且没有冲突就是YES
否则NO
先看所有人是否都出现过
建图用dfs搜索判断是否有冲突
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
typedef long long ll;
const int N=1000+10;
const int M=1e4+10;
struct Edge
{
int to;
int nxt;
}edge[M*2];
int tot;
int first[N];
int a[N],b[N];
void addedge(int u,int v)
{
edge[tot].to=v;
edge[tot].nxt=first[u];
first[u]=tot++;
}
int val[N];
bool vis[N];
int cnt;
bool dfs(int u,int d)
{
vis[u]=true;
val[u]=d;
for(int i=first[u];i!=-1;i=edge[i].nxt)
{
int v=edge[i].to;
if(val[v]&&d==val[v]) return false;
if(vis[v]) continue;
if(!dfs(v,d==1?-1:1)) return false;
}
return true;
}
int main()
{
int n,m,x,y;
int u,v;
while(~scanf("%d%d%d%d",&n,&m,&x,&y))
{
tot=0;
memset(first,-1,sizeof(first));
memset(vis,false,sizeof(vis));
cnt=0;
for(int i=0;i<m;i++)
{
scanf("%d%d",&u,&v);
addedge(u,v);
addedge(v,u);
if(!vis[u])
{
vis[u]=true;
cnt++;
}
if(!vis[v])
{
vis[v]=true;
cnt++;
}
}
memset(val,0,sizeof(val));
for(int i=0;i<x;i++)
{
scanf("%d",&a[i]);
val[a[i]]=1;
if(!vis[a[i]])
{
vis[a[i]]=true;
cnt++;
}
}
for(int i=0;i<y;i++)
{
scanf("%d",&b[i]);
val[b[i]]=-1;
if(!vis[b[i]])
{
vis[b[i]]=true;
cnt++;
}
}
if(cnt<n)
{
printf("NO\n");
continue;
}
bool flag=true;
memset(vis,false,sizeof(vis));
for(int i=0;i<x;i++)
if(!vis[a[i]])
{
if(!dfs(a[i],1))
{
flag=false;
break;
}
}
if(flag)
for(int i=0;i<y;i++)
if(!vis[b[i]])
{
if(!dfs(b[i],-1))
{
flag=false;
break;
}
}
if(flag)
for(int i=1;i<=n;i++)
if(!vis[i])
{
if(!dfs(i,1))
{
flag=false;
break;
}
}
if(flag) printf("YES\n");
else printf("NO\n");
}
return 0;
}