7-13 分而治之

分而治之，各个击破是兵家常用的策略之一。在战争中，我们希望首先攻下敌方的部分城市，使其剩余的城市变成孤立无援，然后再分头各个击破。为此参谋部提供了若干打击方案。本题就请你编写程序，判断每个方案的可行性。
输入格式：

输入在第一行给出两个正整数 N 和 M（均不超过10 000），分别为敌方城市个数（于是默认城市从 1 到 N 编号）和连接两城市的通路条数。随后 M 行，每行给出一条通路所连接的两个城市的编号，其间以一个空格分隔。在城市信息之后给出参谋部的系列方案，即一个正整数 K （≤ 100）和随后的 K 行方案，每行按以下格式给出：

Np v[1] v[2] … v[Np]

其中 Np 是该方案中计划攻下的城市数量，后面的系列 v[i] 是计划攻下的城市编号。
输出格式：

对每一套方案，如果可行就输出YES，否则输出NO。
输入样例：

10 11
8 7
6 8
4 5
8 4
8 1
1 2
1 4
9 8
9 1
1 10
2 4
5
4 10 3 8 4
6 6 1 7 5 4 9
3 1 8 4
2 2 8
7 9 8 7 6 5 4 2

输出样例：

NO
YES
YES
NO
NO
思路：这道题很明显要用图的数据结构，但是我们发现题目给的节点数最大为10000，如果创建邻接矩阵很可能超内存，因此我们改用邻接表存储。
解题思想：把所有的边都存进边表之后，创建一个a数组标记被攻陷的城市，然后枚举每个方案时，如果边表里有未被攻陷的城市和其他未被攻陷的城市相连，则输出NO,跳出,否则输出YES.

#include <bits/stdc++.h>
using namespace std;
int N,M,K;
class Edg //创建边表类 
{ public:
	int d; //相邻点 
	Edg(int D)
	{ d=D;
	}
	
};
vector<Edg> E[10001]; //边表数组 
 int a[10001];
int main()
{
	cin>>N>>M;
	int i,j,k,start,end,T,t;
	for(i=1;i<=M;i++)  //E[i] 表示顶点i后面跟的边数组 
	{ 
		cin>>start>>end;
		E[start].push_back(Edg(end)); 
		E[end].push_back(Edg(start));
	}
    cin>>K;
    for(i=1;i<=K;i++) //K种方案 
    { cin>>T;
      int flag=1;
      memset(a,0,sizeof(a));//数组清0
      for(j=1;j<=T;j++)//攻打的城市 
       { cin>>t;//输入城市编号 
         a[t]=1; //标记已经攻陷 
       }
       for(j=1;j<=N;j++)
	   { if(a[j]==1) continue; //如果这个城市已经攻陷 跳过 
	     for(k=0;k<E[j].size();k++) //否则枚举这个城市节点后面的边数组 
	      if(a[E[j][k].d]==0) //如果有还未被攻陷的城市 
	       {flag=0; goto go1;//肯定不选这个方案 跳出大循环 
	       }
	   } 
	   go1:
	   if(flag==0) printf("NO\n");
	   else
	   printf("YES\n");
    }
	return 0;
}