L2-025 分而治之

天梯赛 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

思路

只要维护单向边即可（如：a,b都是没攻占的城市，a->b检测出a与b连通，b->a也能检测出a与b连通，得出打击方案不可行）
检测时，维护攻占的城市，遍历未攻占城市的边，如果存在未攻占城市到未攻占城市的边，则输出NO，否则输出YES

AC代码

#include<bits/stdc++.h>
using namespace std;
//#define int long long
#define fo(i,a,b) for(int i=a;i<b;i++)
#define lop(i,a,b) for(int i=a;i<=b;i++)
#define QAQ(vec) for(int i=0;i<N;i++){cout<<vec[i]<<" ";}cout<<endl;
#define MX 100007
int N,M,K,a,b;
vector<vector<int>> mp(MX);
bool vis[MX];
int main(){
    cin>>N>>M;
    //维护边集
    fo(i,0,M){
        cin>>a>>b;
        mp[a].push_back(b);
//        mp[b].push_back(a);
    }
    cin>>K;
    fo(i,0,K){
        memset(vis,0,N+1);
        int np;
        cin>>np;
        fo(i,0,np){
            cin>>a;
            vis[a]=1;
        }
        bool f= false;
        lop(j,1,N){
            if(f) break;
            //没攻下的城市
            if(!vis[j]) {
                for (auto &it:mp[j]) {
                    //通向另一个没攻下的城市
                    if(!vis[it]){
                        f= true;
                        cout<<"NO"<<endl;
                        break;
                    }
                }
            }
        }
        if(!f) cout<<"YES"<<endl;
    }
    return 0;
}