#include #include using namespace atcoder; using namespace std; #define rep1(a) for(int z = 0; z < a; z++) #define rep2(i, a) for(int i = 0; i < a; i++) #define rep3(i, a, b) for(int i = a; i < b; i++) #define rep4(i, a, b, c) for(int i = a; i < b; i += c) #define overload4(a, b, c, d, e, ...) e #define rep(...) overload4(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__) const int64_t INF = 1LL<<60; using mint = modint998244353; void YN(bool x){ if(x) cout<<"Yes"; else cout<<"No"; cout<>; using P = pair; /* Lowlink: グラフの関節点・橋を列挙する構造体 作成: O(E+V) 関節点の集合: vector aps 橋の集合: vector

bridges */ struct LowLink { const Graph &G; vector used, ord, low; vector aps; // articulation points vector

bridges; LowLink(const Graph &G_) : G(G_) { used.assign(G.size(), 0); ord.assign(G.size(), 0); low.assign(G.size(), 0); int k = 0; for (int i = 0; i < (int)G.size(); i++) { if (!used[i]) k = dfs(i, k, -1); } sort(aps.begin(), aps.end()); // 必要ならソートする sort(bridges.begin(), bridges.end()); // 必要ならソートする } int dfs(int id, int k, int par) { // id:探索中の頂点, k:dfsで何番目に探索するか, par:idの親 used[id] = true; ord[id] = k++; low[id] = ord[id]; bool is_aps = false; int count = 0; // 子の数 for (auto &e : G[id]) { if (!used[e.to]) { count++; k = dfs(e.to, k, id); low[id] = min(low[id], low[e.to]); if (par != -1 && ord[id] <= low[e.to]) is_aps = true; if (ord[id] < low[e.to]) bridges.emplace_back(min(id, e.to), max(id, e.to)); // 条件を満たすので橋 } else if (e.to != par) { // eが後退辺の時 low[id] = min(low[id], ord[e.to]); } } if (par == -1 && count >= 2) is_aps = true; if (is_aps) aps.push_back(id); return k; } }; struct UnionFind { vector par,siz; UnionFind(int N):par(N),siz(N,1){ for(int i=0;i>N>>M>>Q; Graph G(N); UnionFind tree(N); rep(i,M){ int u,v;cin>>u>>v; u--,v--; G[u].push_back({v}); G[v].push_back({u}); } LowLink L(G); int m=L.bridges.size(); rep(i,m){ auto u=L.bridges[i].first,v=L.bridges[i].second; tree.unite(u,v); } rep(Q){ int u,v;cin>>u>>v; u--,v--; YN(tree.same(u,v)); } }