PTA-L2-025 分而治之（25 分)

L2-025 分而治之（25 分)

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

输入格式：

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

/* 
解题思路：邻接表保存城市连通关系，
book数组记录首先被攻打的城市，
最后判断未被攻打的城市中与之相连的城市是否被攻打，
若存在未被攻打的，那此方案不成立 
 */
#include <iostream>
#include <vector>
#include <cstdio>
#include <cstring>
#include <string>
#include <algorithm>
using namespace std;
int n, m;
vector<int> vec[10010];
int book[10010];
bool judges()
{
    for (int i = 1; i <= n; i++)
    {
        if (book[i])
            continue; //被攻打的城市不再判断
        for (int j = 0; j < vec[i].size(); j++)
        {
            if (book[vec[i][j]] == 0) //未被攻打的城市的子结点中仍然有未被攻打的城市，那就不成立
                return false;
        }
    }
    return true;
}
int main()
{
    cin >> n >> m; //n个城市，m条路
    for (int i = 0; i < m; i++)
    {
        int u, v;
        cin >> u >> v;
        vec[u].push_back(v);
        vec[v].push_back(u);
    }
    int k; //首先攻打k个城市
    cin >> k;
    while (k--)
    {
        memset(book, 0, sizeof(book));
        int ans;
        cin >> ans;
        for (int i = 0; i < ans; i++)
        {
            int a;
            cin >> a;
            book[a] = 1; //被攻打，标记为1
        }
        bool d = judges();
        if (d)
            cout << "YES" << endl;
        else
            cout << "NO" << endl;
    }
    return 0;
}