L2-025 分而治之-PAT团体程序设计天梯赛GPLT

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

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

分析：存图用邻接表存，aa数组表示此城有兄弟城市（即有多少城市与之连接），a组为每次攻城后的次城有多少兄弟城，aa作为原始连接情况，不变，每次用的时候，复制到a上即可。每攻下一座城，次城兄弟成变成0，其兄弟城的兄弟城减少一个。最后检查，如果所有城市的兄弟城都小于零，则输出YES，否则输出NO～

#include <iostream>
#include <vector>
using namespace std;
int n, m, k, aa[10010] = {0}, a[10010];
void check() {
    for(int i = 1; i <= n; i++) {
        if(a[i] > 0) {
            cout << "NO\n";
            return ;
        }
    }
    cout << "YES\n";
    return ;
}
int main(){
    cin >> n >> m;
    vector<vector<int>> v(n+1);
    while(m--) {
        int c1, c2;
        cin >> c1 >> c2;
        aa[c1]++;
        aa[c2]++;
        v[c1].push_back(c2);
        v[c2].push_back(c1);
    }
    cin >> k;
    while(k--) {
        int cnt, num;
        cin >> cnt;
        for(int i = 1; i <= n; i++)
            a[i] = aa[i];
        for(int i = 0; i < cnt; i++) {
            cin >> num;
            a[num] = 0;
            for(int j = 0; j < v[num].size(); j++)
                a[v[num][j]]--;
        }
        check();
    }
    return 0;
}