分而治之（PTA）

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

输入格式：

输入在第一行给出两个正整数 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

 

#include<bits/stdc++.h>
using namespace std;
const int N = 1e4+10;
int n, m, k;
int fa[N], v[N], vis[N]; 
struct City{
	int x, y;
}city[N];
void init(){
	for(int i = 1; i <= n; i++)
		fa[i] = i;
}
int find(int x){
	if(fa[x] == x) 
		return x;
	else
		return fa[x] = find(fa[x]);
}
void Union(int a, int b){
	int fathera = find(a);
	int fatherb = find(b);
	if(fathera != fatherb)
		fa[fatherb] = fathera;
}
int count(){
	int t = 0;
	for(int i = 1; i <= n; i++){
		if(vis[i]==0&&fa[i]==i)
			t++;
	}
	return t;//返回独立点个数 
}
int main(){
	scanf("%d %d", &n, &m);
	for(int i = 1; i <= m; i++){
		cin >> city[i].x >> city[i].y;
	}
	cin >> k;
	while(k--){
		init();
		int np, t = 0; cin >> np;
		memset(v, 0, sizeof(v));
		memset(vis, 0, sizeof(vis));
		for(int i = 1; i <= np; i++){
			scanf("%d", &v[i]);
			vis[v[i]] = 1;
		}
		for(int i = 1; i <= m; i++){
			int a = city[i].x;
			int b = city[i].y;
			if(vis[a]==0 && vis[b]==0){
				Union(a, b);
			}
		}
		t = n-np;
		if(t == count()) cout << "YES" << endl;//当剩余点全部为独立点时成立 
		else cout << "NO" << endl;
	}
	return 0;
}