#include using namespace std; using ll = long long; using pll = pair; #define drep(i, cc, n) for (ll i = (cc); i <= (n); ++i) #define rep(i, n) drep(i, 0, n - 1) #define all(a) (a).begin(), (a).end() #define pb push_back #define fi first #define se second mt19937_64 rng(chrono::system_clock::now().time_since_epoch().count()); const ll MOD1000000007 = 1000000007; const ll MOD998244353 = 998244353; const ll MOD[3] = {999727999, 1070777777, 1000000007}; const ll LINF = 1LL << 60; const int IINF = 1 << 30 - 1; template struct Edge{ int to; T w; Edge(int to_, T w_=1){ to = to_; w=w_; } }; template using Tree = vector>>; template using Graph = vector>>; /* 容量&重み付きエッジ for Dinic */ template struct REdge{ int to; T cap; T cost; int rev; REdge(int to_, T cap_, T cost_=1){ to = to_; cap = cap_; cost = cost_; } REdge(int to_, T cap_, T cost_, int rev_){ to = to_; cap = cap_; cost = cost_; rev = rev_; } }; /* 残余グラフ for Dinic */ template using RGraph = vector>>; int main(){ cin.tie(nullptr); ios::sync_with_stdio(false); int n, m; cin >> n >> m; vector> p(n); vector now_t(n, 0); rep(i, n) cin >> p[i][0]; Graph G(n); for(int i=0; i> u >> v; u--; v--; G[u].pb(Edge(v)); G[v].pb(Edge(u)); } int sq = 450; vector> mst(n); vector> check_t(n); vector> G_mp(n); for(int v=0; v e : G[v]) mst[v][p[e.to][0]]++; for(int v=0; v e : G[v]) check_t[v].pb(0); for(int v=0; v HD(n); for(int v=0; v e : G[v]) if((int)G[e.to].size()>sq) HD[v].pb(Edge(e.to)); int q; cin >> q; int now = 0; while(q--){ now++; int x, y; cin >> x >> y; x--; y--; //場所の更新を受け取る for(Edge e : HD[x]){ int i = G_mp[x][e.to]; //更新条件 if(check_t[x][i] != now_t[e.to]){ mst[x][p[e.to][check_t[x][i]]]--; mst[x][p[e.to][now_t[e.to]]]++; check_t[x][i] = now_t[e.to]; } } //判定Phase if(mst[x][p[y][now_t[y]]]==0 || p[x][now_t[x]] == p[y][now_t[y]]){ cout << "No" << '\n'; continue; } cout << "Yes" << '\n'; //xの場所の更新 if((int)G[x].size() <= sq){ for(Edge e : G[x]){ int i = G_mp[e.to][x]; mst[e.to][p[x][check_t[e.to][i]]]--; } } now_t[x] = now; p[x][now] = p[y][now_t[y]]; if((int)G[x].size() <= sq){ for(Edge e : G[x]){ mst[e.to][p[x][now_t[x]]]++; int i = G_mp[e.to][x]; check_t[e.to][i] = now_t[x]; } } } }