#include struct UnionFind { std::vector data; UnionFind (int size) : data(size, -1) {} bool unite(int x, int y) { x = root(x); y = root(y); if (x != y) { if (data[y] < data[x]) std::swap(x, y); data[x] += data[y]; data[y] = x; } return x != y; } bool same(int x, int y) { return root(x) == root(y); } int root(int x) { return data[x] < 0 ? x : data[x] = root(data[x]); } int size(int x) { return -data[root(x)]; } bool connected() { return size(0) == (int) data.size(); } }; /* strict input checker */ template int read_int() { static_assert(std::numeric_limits::is_specialized); int c = getchar(), s = 0; Int res = 0; if (c == '-') s = 1, c = getchar(); assert('0' <= c && c <= '9'); if (s) assert(c != '0'); res = c - '0'; while (1) { c = getchar(); if (c < '0' || c > '9') break; assert(res < std::numeric_limits::max() / 10); // avoid overflow assert(res); // no leading-zero res = res * 10 + c - '0'; } ungetc(c, stdin); return s ? -res : res; } void read_linebreak() { int c = getchar(); if (c == '\r') c = getchar(); assert(c == '\n'); } int main() { int n = read_int(); assert(getchar() == ' '); int m = read_int(); read_linebreak(); assert(3 <= n && n <= 50000); assert(n - 1 <= m && m <= 100000); UnionFind uni(n); std::set > used; for (int i = 0; i < m; i++) { int a = read_int(); assert(getchar() == ' '); int b = read_int(); read_linebreak(); assert(1 <= a && a <= n); assert(1 <= b && b <= n); assert(a != b); assert(used.insert(std::minmax(a, b)).second); uni.unite(a - 1, b - 1); } assert(uni.connected()); int q = read_int(); read_linebreak(); assert(1 <= q && q <= 100000); for (int i = 0; i < q; i++) { int a = read_int(); assert(getchar() == ' '); int b = read_int(); read_linebreak(); assert(1 <= a && a <= n); assert(1 <= b && b <= n); } assert(getchar() == EOF); return 0; }