// #pragma GCC target("avx") // #pragma GCC optimize("O3") // #pragma GCC optimize("unroll-loops") #include using namespace std; #define rep(i,n) for(int i = 0; i < (int)n; i++) #define FOR(n) for(int i = 0; i < (int)n; i++) #define repi(i,a,b) for(int i = (int)a; i < (int)b; i++) #define all(x) x.begin(),x.end() //#define mp make_pair #define vi vector #define vvi vector #define vvvi vector #define vvvvi vector #define pii pair #define vpii vector> template void chmax(T &a, const T &b) {a = (a > b? a : b);} template void chmin(T &a, const T &b) {a = (a < b? a : b);} using ll = long long; using ld = long double; using ull = unsigned long long; const ll INF = numeric_limits::max() / 2; const ld pi = 3.1415926535897932384626433832795028; const ll mod = 998244353; int dx[] = {1, 0, -1, 0, -1, -1, 1, 1}; int dy[] = {0, -1, 0, 1, -1, 1, -1, 1}; #define int long long struct UnionFind { vector r; UnionFind(int n) { r = vector(n, -1); } int root(int x) { if(r[x] < 0) return x; return r[x] = root(r[x]); } bool unite(int x, int y) { x = root(x); y = root(y); if(x == y) return false; if(r[x] > r[y]) swap(x, y); r[x] += r[y]; r[y] = x; return true; } bool issame(int x, int y) { return root(x) == root(y); } int size(int x) { return -r[root(x)]; } // int number_of_set() { // unordered_set st; // for(int i = 0; i < (int)r.size(); i++) st.insert(root(i)); // return st.size(); // } // only vertices: not including leader pos // vector> decompose() { // vector> p; // for(int i = 0; i < (int)r.size(); i++) p.emplace_back(root(i), i); // sort(all(p)); // //first:root, second:vertices // vector> ret; // int pre = -1; // for(pair e : p) { // if(pre != e.first) { // ret.push_back(vector{e.second}); // }else { // ret.back().push_back(e.second); // } // pre = e.first; // } // return ret; // } //leader and groups vertex // vector>> decompose() { // vector> p; // for(int i = 0; i < (int)r.size(); i++) p.emplace_back(root(i), i); // sort(all(p)); // //first:root, second:vertices // vector>> ret; // int pre = -1; // for(pair e : p) { // if(pre != e.first) { // ret.push_back(make_pair(e.first, vector{e.second})); // }else { // ret.back().second.push_back(e.second); // } // pre = e.first; // } // return ret; // } // vector roots(vector x) { // vector ret((int)x.size()); // for(int i = 0; i < (int)x.size(); i++) ret[i] = root(i); // return ret; // } // bool unite(pair p) { // return unite(p.first, p.second); // } // vector unite(vector> p) { // vector ret((int)p.size()); // for(int i = 0; i < (int)p.size(); i++) { // ret[i] = unite(p[i]); // } // return ret; // } // vector unite(vector x, vector y) { // assert(x.size() == y.size()); // vector ret((int)x.size()); // for(int i = 0; i < (int)x.size(); i++) { // ret[i] = unite(x[i], y[i]); // } // return ret; // } // bool issame(pair p) { // return issame(p.first, p.second); // } }; void solve() { int n, q; cin >> n >> q; UnionFind UF(n); FOR(n) { int a; cin >> a; --a; if(a != -2) UF.unite(i, a); } FOR(q) { int u, v; cin >> u >> v; --u; --v; cout << (UF.issame(u, v)? "Yes" : "No") << endl; } } signed main() { cin.tie(nullptr); ios::sync_with_stdio(false); solve(); return 0; }