Source Code
#include<bits/stdc++.h>
#define GO ios::sync_with_stdio(0), cin.tie(0), cout.tie(0)
using namespace std;
typedef long long ll;
typedef vector<ll> vec;
typedef pair<int, int> pi;
const ll Mod = 998244353;
const ll INF = (ll)(1e18) + 5;
const ll N = 2e5 + 5, M = 18;

int n, m;
vec G[N];
bool isLeaf[N];

struct HLD {
	const int ON_EDGE = 0;

	int cur_pos;
	vector<int> parent, depth, heavy, head, pos, rpos;

	void init(int n) {
		cur_pos = 0;
		parent.resize(++n);
		head.resize(n);
		depth.resize(n);
		pos.resize(n);
		heavy.resize(n, -1);
		rpos.resize(n); // reverse mapping
		DFS(1, 0);
		decompose(1, 1);
		n--;
	}

	int DFS(int u, int p) {
		parent[u] = p;
		int size = 1, mx = 0;
		for (int v : G[u]) if (v != p) {
			depth[v] = depth[u] + 1;
			int x = DFS(v, u);
			size += x;
			if (x > mx)
				mx = x, heavy[u] = v;
		}
		return size;
	}

	void decompose(int u, int h) {
		head[u] = h;
		rpos[pos[u] = ++cur_pos] = u;
		if (heavy[u] != -1)
			decompose(heavy[u], h);
		for (int v : G[u])
			if (v != parent[u] && v != heavy[u])
				decompose(v, v);
	}

	vector <pair<int, int>> getRanges(int u, int v) {
		int swaps = 0;
		vector <pair<int, int>> a, b;
		for (; head[u] != head[v]; v = parent[head[v]]) {
			if (depth[head[u]] > depth[head[v]])
				swap(u, v), swap(a, b), swaps++;
			b.emplace_back(pos[head[v]], pos[v]);
		}

		if (depth[u] > depth[v])
			swap(u, v), swap(a, b), swaps++;

		if (!(ON_EDGE && u == v))
			b.emplace_back(pos[u] + ON_EDGE, pos[v]);

		if (swaps & 1)
			swap(a, b);

		a.insert(a.end(), b.rbegin(), b.rend());
		return a;
	}
};

int main() {
	GO;
	int n, m; cin >> n >> m;
	for (int i = 2; i <= n; i++) {
		int j; cin >> j;
		G[i].push_back(j);
		G[j].push_back(i);
	}
	HLD hld;
	hld.init(n);
	auto rpos = hld.rpos;
	vec a(n + 1), b(n + 1);
	for (int i = 1; i <= n; i++) {
		int u = rpos[i];
		a[i] = (G[u].size() > 2) + a[i - 1];
		b[u] = (G[u].size() == 1);
	}
	while (m--) {
		int u, v; cin >> u >> v;
		if (u == v || b[v] == 0) {
			cout << "yes\n";
			continue;
		}
		auto R = hld.getRanges(v, u);
		int len = 0;
		for (auto& [l, r] : R) {
			if (l > r)
				swap(l, r);
			len += r - l + 1;
		}
		len--;
		len = (len - 1) / 2;
		bool ok = 0;
		for (auto& [l, r] : R) {
			if (len <= r - l) {
				r = l + len;
				ok |= (a[r] - a[l] > 0);
				break;
			}
			ok |= (a[r] - a[l] > 0);
			len -= r - l;
		}
		cout << (ok ? "yes" : "no") << '\n';
	}
	return 0;
}
Copy
Escape from TarkZoo Oxygen
GNU G++17
26 ms
8.8 MB
Wrong Answer