【2018天梯赛】L2-1 分而治之

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

输入格式：

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

#include<iostream>
#include<cstring>
using namespace std;
const int M=1e4+5;
struct edge
{
    int e,v;
}a[M]; 
bool flag,mark[M]; //mark标记节点是否被攻破  true攻破，false未攻破
int main()
{
    int n,m,start,end,i,j,k,num,x;
    cin>>n>>m;
    for (i=0;i<m;i++)
    {
        scanf("%d%d",&start,&end);
        a[i].e=start;
        a[i].v=end;
    }
    cin>>k;
    for(i=0;i<k;i++) 
    {
        flag=true;      // 复原节点为未被攻破状态
        memset(mark,0,M*sizeof(bool)); //初始化mark数组全为false，即未攻破
        scanf("%d",&num);
        for(j=0;j<num;j++) 
        {
            scanf("%d",&x);
            mark[x]=true; // 节点x被攻破 
        }
        // 遍历每一条边，如果某条边的两个顶点都没被攻破，
        // 证明这个方案是不行的 
        for(j=0;j<m;j++)
        {
            if(mark[a[j].e]==false&&mark[a[j].v]==false)
            {
                flag=false;
                break;
            }
        }
        if(!flag) 
            cout<<"NO"<<endl;
        else 
        cout<<"YES"<<endl;
    }
    return 0;
}