L2-025. 分而治之

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

输入格式：

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

用邻接表记录，对于每一组点，查看如果剩下的点的度数大于0就不满足，否则满足。
代码：

#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;
int n,m,fir[20001],nex[20001],u[20001],v[20001],val[10001],k,np,ve[10001];
int check()
{
    int val_[10001] = {0};
    for(int i = 0;i < np;i ++)
    {
        val_[ve[i]] = 10000;
        int kk = fir[ve[i]];
        while(kk != -1)
        {
            val_[v[kk]] ++;
            kk = nex[kk];
        }
    }
    for(int i = 1;i <= n;i ++)
    {
        if(val[i] - val_[i] > 0)return 0;
    }
    return 1;
}
int main()
{
    cin>>n>>m;
    memset(fir,-1,sizeof(fir));
    for(int i = 0;i < m;i ++)
    {
        cin>>u[i]>>v[i];
        val[u[i]] ++;
        val[v[i]] ++;
        nex[i] = fir[u[i]];
        fir[u[i]] = i;
        u[m + i] = v[i];
        v[m + i] = u[i];
        nex[m + i] = fir[u[m + i]];
        fir[u[m + i]] = m + i;
    }
    cin>>k;
    for(int i = 0;i < k;i ++)
    {
        cin>>np;
        for(int j = 0;j < np;j ++)
        {
            cin>>ve[j];
        }
        if(check())cout<<"YES"<<endl;
        else cout<<"NO"<<endl;
    }
}

 重温：

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <vector>
using namespace std;

int n,m,k,np;
vector<int> p[10001];
int v[10000];
bool check() {
    int d = 0;
    bool vis[10001] = {false};
    for(int i = 0;i < np;i ++) {
        vis[v[i]] = true;
        for(int j = 0;j < p[v[i]].size();j ++) {
            if(vis[p[v[i]][j]]) continue;
            d += 2;
        }
    }
    return d == m * 2;
}
int main() {
    int a,b;
    scanf("%d%d",&n,&m);
    for(int i = 0;i < m;i ++) {
        scanf("%d%d",&a,&b);
        p[a].push_back(b);
        p[b].push_back(a);
    }
    scanf("%d",&k);
    while(k --) {
        scanf("%d",&np);
        for(int i = 0;i < np;i ++) {
            scanf("%d",&v[i]);
        }
        if(check()) puts("YES");
        else puts("NO");
    }
}

---