hdu 5971

题意：输入n,m,x,y;表示有n个人，输入m种对立关系，输入x个确认好人的标号，y个确认坏人的标号

思路：我们可以从确定的好人和坏人出发，有错误身份的输出NO，最后有不确定的输出NO，否则YES。

#include<bits/stdc++.h>
using namespace std;
map<int ,int >mp;
vector<int >p[1003];
int sum,f;
void init(){
    mp.clear();
    for(int i=0;i<1003;i++)
        p[i].clear();
    sum=0;f=0;
}
void dfs(int x,int y) {
   if(f) return ;
   for(int i=0;i<p[x].size();i++){
    if( mp[p[x][i]]==y )  { f=1; return ;}
      if( mp[p[x][i]]==0 ){
        sum++;
        mp[p[x][i]]=-y;
        dfs(p[x][i],-y);
     }
   }
}
int main()
{
    int n,m,x,y;
    int a,b;
    while(scanf("%d%d%d%d",&n,&m,&x,&y)!=EOF){
            init();
        for(int i=1;i<=m;i++) {
            scanf("%d%d",&a,&b);
            p[a].push_back(b);p[b].push_back(a);
        }
       
        for(int i=1;i<=x;i++){
            scanf("%d",&a);
            if(f==1) continue;
            if(mp[a]==-1) {f=1;continue;}
            if(mp[a]==0) {
               mp[a]=1; dfs(a,1);sum++;
            }
        }
        for(int i=1;i<=y;i++) {
            scanf("%d",&b);
            if(f==1) continue;
            if(mp[b]==1) {f=1;continue;}
            if(mp[b]==0){
                mp[b]=-1;dfs(b,-1);sum++;
            }
        }
        for(int i=1;i<=n;i++){
            if(mp[i]==0){
                if(p[i].size()==0){f=1;break;}
                mp[i]=1;
                sum++;
                dfs(i,1);
            }
        }
        if(sum==n&&f==0) printf("YES
");
        else  printf("NO
");
    }
    return 0;
}