邻接表(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

---

分析：
分而治之的意思是：自己被攻陷或者自己孤立无援即将被攻陷。

用邻接表存图，num数组表示此城有兄弟城市的个数（即有多少城市与之连接），tem数组为num数组的临时数组（因为num不可以变，所以需要一个tem数组）。

编号i被攻击的意义是：自己沦陷,与i相连的兄弟城市也都不相连，也就是tem[i] = 0。同时与i相连的城市也就少了一个兄弟城市，也就对应着tem[]–。

最终，如果tem[i] > 0，就表示着编号为i的城市没有被分而治之，因为他有兄弟城市，输出NO。如果所有的tem都小于0，那么就输出YES。

---

#include<iostream>
#include<vector>
using namespace std;
const int N = 1e4 + 1;
vector<vector<int > >cp;
int n,m;
int num[N] = {0}; //记录编号为i的城市有多少个靠近的城市
int tem[N];
void print(){
    for(int i = 1; i <= n; i++){
        if(tem[i] > 0){cout << "NO" << endl;return;}
    }
    cout << "YES" << endl;
}
int main(){
    int a,b;
    cin>>n>>m;
    cp.resize(n + 1);
    for(int i = 1; i <= m; i++){
        cin >> a >> b;
        cp[a].push_back(b);
        cp[b].push_back(a);
        num[a]++;
        num[b]++;
    }
    int _ = 0,cnt;
    cin>>_;
    while(_--){
        for(int i = 1; i <= n; i++) tem[i] = num[i];
        cin >> cnt;
        for(int i = 1; i <= cnt; i++){
            cin >> a;
            tem[a] = 0;
            for(int j = 0; j < cp[a].size(); j++){
                tem[cp[a][j]]--;
            }
        }
        print();
    }
    return 0;
}