// [9/12/2014 Sjm]/*此题在大神的帮助下AC了。。。要求:output "Yes" if the security man worked normally and has checked all piles of drinks, or "No" if not.(1)check all piles of drinks: 1) L == K (L 是 gathered from all sensors,所以若L < K,则必然是有些带有传感器的节点没有走,无法满足条件) 2) 图一定是连通,否则从一个点出发无法走遍所有节点 (通过并查集判断)(2)worked normally: 意思巡逻的路线是可以根据图中所给的边找出来的, 而不是digs through walls, climb over piles, use some black magic to teleport to anywhere and so on. 故而需要判断能否找到一个正常的巡逻路线。。。 ( 注意正常的巡逻路线是可以重复走途中所给的边, 即若A与B相连,A与C相连,则如果从A到B后,亦可从B返回A,再到C) 思路: 1)从第 K 个传感器所记录的点出发,寻找到其所有能到达的传感器所记录的点。。转向 2) 2)判断第 K+1 个传感器所记录的点,是否可由前K个传感器所记录的点所到达 若否,则即可判断正常的巡逻路线不存在。。。 若是,则 K = K + 1,不断进行操作 2),直至所有传感器的点均可被到达,可判断正常的巡逻路线存在。。。 关键: 如何用计算机去求 “从第 K 个传感器所记录的点出发,寻找到其所有能到达的传感器所记录的点”? 解法就像是自动机: 假设从点 A (此点即队列中第一个点)出发,采用 Bfs 找出该点能到达的所有点, 在这些点中,对于传感器记录的点进行标记,而对于非传感器记录的点,放到队列中, 再将队列中的点取出,继续寻找其能到达的所有点,同点 A 进行的操作处理。。 直到队列为空,则说明此时对于点 A 能到达的传感器记录的点都已标记下来。。。*/
#include <iostream>
#include <cstdlib>
#include <cstdio>
#include <vector>
#include <queue>
using namespace std;
const int MAX_N = 100005;
int N, M, K;
vector<int> Edge[MAX_N];
bool isVis[MAX_N];
bool isIn[MAX_N];
int verOrder[MAX_N];
int father[MAX_N];
void Del() {
for (int i = 1; i <= N; ++i) {
if (!Edge[i].empty()) {
Edge[i].clear();
}
}
}
int myFind(int x) {
if (x == father[x]) return x;
else return father[x] = myFind(father[x]);
}
bool judge_Connected_Graph() {
int ver = myFind(N);
for (int i = 1; i < N; ++i) {
if (myFind(i) != ver) {
return false;
}
}
return true;
}
bool Bfs() {
isVis[verOrder[0]] = true;
queue<int> que;
for (int i = 0; i < K; ++i) {
if (isVis[verOrder[i]]) que.push(verOrder[i]);
else return false;
while (!que.empty()) {
int ver = que.front();
que.pop();
for (int i = 0; i < Edge[ver].size(); ++i) {
int t_ver = Edge[ver][i];
if (!isVis[t_ver]) {
if (isIn[t_ver]) isVis[t_ver] = true;
else {
isVis[t_ver] = true;
que.push(t_ver);
}
}
}
}
}
return true;
}
int main() {
//freopen("input.txt", "r", stdin);
int T;
scanf("%d", &T);
while (T--) {
scanf("%d %d %d", &N, &M, &K);
for (int i = 1; i <= N; ++i) {
isIn[i] = false;
isVis[i] = false;
father[i] = i;
}
int sensor;
for (int i = 0; i < K; ++i) {
scanf("%d", &sensor);
isIn[sensor] = true;
}
int u, v;
for (int i = 0; i < M; ++i) {
scanf("%d %d", &u, &v);
Edge[u].push_back(v);
Edge[v].push_back(u);
int tmp1 = myFind(v);
int tmp2 = myFind(u);
if (tmp1 != tmp2) {
father[tmp1] = tmp2;
}
}
int sum;
scanf("%d", &sum);
for (int i = 0; i < sum; ++i) {
scanf("%d", &sensor);
verOrder[i] = sensor;
}
if ((sum < K) || (!judge_Connected_Graph()) || (!Bfs())) {
printf("No\n");
}
else printf("Yes\n");
Del();
}
return 0;
}