#include <bits/stdc++.h>
#define x first
#define y second
#define all(v) v.begin(), v.end()
#define chkmin(a, b) a = min(a, b)
#define chkmax(a, b) a = max(a, b)
using namespace std;
typedef long long ll;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef pair<int, int> pii;
typedef vector<pii> vii;
typedef vector<bool> vb;
const int MAX_N = 3e5;
const int infinity = 1e9;
vii tree[MAX_N];
int depth[MAX_N];
pii dp[20][MAX_N];
int increase[MAX_N], decrease[MAX_N];
int loga[MAX_N];
void Dfs(int node, int parent, int w, int len_i, int len_d, int dist) {
depth[node] = dist;
dp[0][node] = {parent, w};
increase[node] = len_i, decrease[node] = len_d;
for (auto [neighbor, d] : tree[node]) {
if (neighbor == parent) continue;
Dfs(neighbor, node, d, (w > d ? len_i : 0) + 1, (w < d ? len_d : 0) + 1, dist + 1);
}
}
bool Dfs(int node, int end, int w) {
if (node == end) return true;
for (auto [neighbor, d] : tree[node]) {
if (d >= w) continue;
if (Dfs(neighbor, end, d)) {
return true;
}
}
return false;
}
int Dfs(int node, int w) {
int c = 1;
for (auto [neighbor, d] : tree[node]) {
if (d <= w) continue;
c += Dfs(neighbor, d);
}
return c;
}
int n, q;
pii Jump(int a, int k) {
int max_w = 0;
for (int i = 0; i <= loga[n]; i++) {
if ((k >> i) & 1) {
chkmax(max_w, dp[i][a].y);
a = dp[i][a].x;
}
}
return {a, max_w};
}
int Solve(int v, int u) {
if (u == v) return 0;
int a = v, b = u;
int max_w = 0;
if (depth[a] > depth[b]) {
pii p = Jump(a, depth[a] - depth[b]);
a = p.x, max_w = p.y;
} else {
pii p = Jump(b, depth[b] - depth[a]);
b = p.x, max_w = p.y;
}
bool bad = a != b;
for (int i = loga[n]; i >= 0; i--) {
if (dp[i][a].x != dp[i][b].x) {
chkmax(max_w, dp[i][a].y);
chkmax(max_w, dp[i][b].y);
a = dp[i][a].x, b = dp[i][b].x;
}
}
int dep_lca = depth[a] - bad;
if (bad) {
chkmax(max_w, dp[0][a].y);
chkmax(max_w, dp[0][b].y);
}
if (dep_lca < depth[v] - decrease[v] || dep_lca < depth[u] - increase[u]) {
return infinity;
}
return (!bad || dp[0][a].y > dp[0][b].y ? max_w : infinity);
}
int cnt[MAX_N][2];
int graph[MAX_N][2];
int Solve(vi &v, int i, int count, int d, int end) {
int node = v[i];
if (node == end) {
return count + cnt[node][0] + cnt[node][1] + 1;
}
if (v[i + 1] == 2 * node) {
if (graph[node][0] == -1) {
return Solve(v, i + 1, 0, 0, end);
}
if (graph[node][0] > d) count = 0;
count += (graph[node][0] < graph[node][1]) * cnt[node][1];
count++;
return Solve(v, i + 1, count, graph[node][0], end);
}
if (graph[node][1] == -1) {
return Solve(v, i + 1, 0, 0, end);
}
if (graph[node][1] > d) count = 0;
count += (graph[node][1] < graph[node][0]) * cnt[node][0];
count++;
return Solve(v, i + 1, count, graph[node][1], end);
}
char type[MAX_N];
int a[MAX_N], d[MAX_N], ans[MAX_N];
int main() {
ios_base::sync_with_stdio(false);
cin.tie(0);
cin >> n >> q;
for (int i = 1; i <= n; i++) {
graph[i][0] = graph[i][1] = -1;
}
// for (int i = 1; i <= n; i++) cnt[i] = 1;
for (int i = 0; i < n + q - 1; i++) {
cin >> type[i];
if (type[i] == 'S') {
int A, b;
cin >> A >> b;
tree[A].push_back({b, i});
tree[b].push_back({A, i});
int x = max(A, b);
int y = min(A, b);
graph[y][x & 1] = i;
int last = i;
cnt[y][x & 1]++;
x >>= 1;
while (x) {
int par = x >> 1;
int next_w = graph[par][x & 1];
if (next_w == -1 || next_w > last) break;
cnt[par][x & 1]++;
x = par, last = next_w;
}
} else if (type[i] == 'Q') {
cin >> a[i] >> d[i];
} else {
cin >> d[i];
vi path;
int x = d[i];
while (x) {
path.push_back(x);
x >>= 1;
}
reverse(all(path));
ans[i] = Solve(path, 0, 0, 0, d[i]);
}
}
for (int i = 2; i <= n; i++) {
loga[i] = loga[i >> 1] + 1;
}
Dfs(1, 0, 0, 0, 0, 0);
for (int i = 1; i <= loga[n]; i++) {
for (int j = 1; j <= n; j++) {
dp[i][j].x = dp[i - 1][dp[i - 1][j].x].x;
dp[i][j].y = max(dp[i - 1][j].y, dp[i - 1][dp[i - 1][j].x].y);
}
}
for (int i = 0; i < n + q - 1; i++) {
if (type[i] == 'Q') {
ans[i] = Solve(a[i], d[i]) <= i;
}
}
for (int i = 0; i < n + q - 1; i++) {
if (type[i] == 'Q') {
cout << (ans[i] ? "yes\n" : "no\n");
} else if (type[i] == 'C') {
cout << ans[i] << '\n';
}
}
return 0;
}
//5 7
//S 1 2
//S 1 3
//S 2 4
//C 1
//C 4
//S 2 5
//C 1
//C 2
//C 3
//C 4
//C 5
//5 5
//S 2 4
//S 1 3
//S 1 2
//S 2 5
//C 1
//C 2
//C 3
//C 4
//C 5
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
26 ms |
9300 KB |
Output is correct |
2 |
Correct |
39 ms |
10000 KB |
Output is correct |
3 |
Correct |
31 ms |
10068 KB |
Output is correct |
4 |
Correct |
42 ms |
10144 KB |
Output is correct |
5 |
Correct |
40 ms |
10380 KB |
Output is correct |
6 |
Correct |
34 ms |
10024 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
26 ms |
9300 KB |
Output is correct |
2 |
Correct |
39 ms |
10000 KB |
Output is correct |
3 |
Correct |
31 ms |
10068 KB |
Output is correct |
4 |
Correct |
42 ms |
10144 KB |
Output is correct |
5 |
Correct |
40 ms |
10380 KB |
Output is correct |
6 |
Correct |
34 ms |
10024 KB |
Output is correct |
7 |
Incorrect |
30 ms |
9300 KB |
Extra information in the output file |
8 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
25 ms |
9352 KB |
Output is correct |
2 |
Correct |
123 ms |
34440 KB |
Output is correct |
3 |
Correct |
132 ms |
34388 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
25 ms |
9352 KB |
Output is correct |
2 |
Correct |
123 ms |
34440 KB |
Output is correct |
3 |
Correct |
132 ms |
34388 KB |
Output is correct |
4 |
Incorrect |
25 ms |
9388 KB |
Extra information in the output file |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
26 ms |
9312 KB |
Output is correct |
2 |
Correct |
147 ms |
43808 KB |
Output is correct |
3 |
Correct |
128 ms |
43852 KB |
Output is correct |
4 |
Correct |
131 ms |
43804 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
26 ms |
9312 KB |
Output is correct |
2 |
Correct |
147 ms |
43808 KB |
Output is correct |
3 |
Correct |
128 ms |
43852 KB |
Output is correct |
4 |
Correct |
131 ms |
43804 KB |
Output is correct |
5 |
Incorrect |
26 ms |
9300 KB |
Extra information in the output file |
6 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
26 ms |
9332 KB |
Output is correct |
2 |
Correct |
114 ms |
34904 KB |
Output is correct |
3 |
Correct |
117 ms |
34636 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
26 ms |
9332 KB |
Output is correct |
2 |
Correct |
114 ms |
34904 KB |
Output is correct |
3 |
Correct |
117 ms |
34636 KB |
Output is correct |
4 |
Correct |
27 ms |
9292 KB |
Output is correct |
5 |
Correct |
119 ms |
36564 KB |
Output is correct |
6 |
Correct |
143 ms |
37472 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
24 ms |
9292 KB |
Output is correct |
2 |
Correct |
126 ms |
43788 KB |
Output is correct |
3 |
Correct |
138 ms |
43836 KB |
Output is correct |
4 |
Correct |
136 ms |
44016 KB |
Output is correct |
5 |
Correct |
25 ms |
9392 KB |
Output is correct |
6 |
Correct |
112 ms |
34812 KB |
Output is correct |
7 |
Correct |
122 ms |
34700 KB |
Output is correct |
8 |
Correct |
155 ms |
36152 KB |
Output is correct |
9 |
Correct |
132 ms |
35532 KB |
Output is correct |
10 |
Correct |
133 ms |
40712 KB |
Output is correct |
11 |
Correct |
185 ms |
39956 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
24 ms |
9292 KB |
Output is correct |
2 |
Correct |
126 ms |
43788 KB |
Output is correct |
3 |
Correct |
138 ms |
43836 KB |
Output is correct |
4 |
Correct |
136 ms |
44016 KB |
Output is correct |
5 |
Correct |
25 ms |
9392 KB |
Output is correct |
6 |
Correct |
112 ms |
34812 KB |
Output is correct |
7 |
Correct |
122 ms |
34700 KB |
Output is correct |
8 |
Correct |
155 ms |
36152 KB |
Output is correct |
9 |
Correct |
132 ms |
35532 KB |
Output is correct |
10 |
Correct |
133 ms |
40712 KB |
Output is correct |
11 |
Correct |
185 ms |
39956 KB |
Output is correct |
12 |
Incorrect |
25 ms |
9248 KB |
Extra information in the output file |
13 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
29 ms |
9260 KB |
Output is correct |
2 |
Correct |
36 ms |
10008 KB |
Output is correct |
3 |
Correct |
37 ms |
10076 KB |
Output is correct |
4 |
Correct |
47 ms |
10148 KB |
Output is correct |
5 |
Correct |
38 ms |
10316 KB |
Output is correct |
6 |
Correct |
33 ms |
10092 KB |
Output is correct |
7 |
Correct |
27 ms |
9292 KB |
Output is correct |
8 |
Correct |
121 ms |
34396 KB |
Output is correct |
9 |
Correct |
122 ms |
34456 KB |
Output is correct |
10 |
Correct |
24 ms |
9280 KB |
Output is correct |
11 |
Correct |
124 ms |
43856 KB |
Output is correct |
12 |
Correct |
134 ms |
43984 KB |
Output is correct |
13 |
Correct |
139 ms |
43852 KB |
Output is correct |
14 |
Correct |
24 ms |
9320 KB |
Output is correct |
15 |
Correct |
113 ms |
34992 KB |
Output is correct |
16 |
Correct |
123 ms |
34876 KB |
Output is correct |
17 |
Correct |
153 ms |
36236 KB |
Output is correct |
18 |
Correct |
130 ms |
35532 KB |
Output is correct |
19 |
Correct |
132 ms |
40700 KB |
Output is correct |
20 |
Correct |
195 ms |
40092 KB |
Output is correct |
21 |
Correct |
123 ms |
35172 KB |
Output is correct |
22 |
Correct |
133 ms |
35380 KB |
Output is correct |
23 |
Correct |
131 ms |
35280 KB |
Output is correct |
24 |
Correct |
128 ms |
35520 KB |
Output is correct |
25 |
Correct |
136 ms |
37508 KB |
Output is correct |
26 |
Correct |
115 ms |
33972 KB |
Output is correct |
27 |
Correct |
116 ms |
33880 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
29 ms |
9260 KB |
Output is correct |
2 |
Correct |
36 ms |
10008 KB |
Output is correct |
3 |
Correct |
37 ms |
10076 KB |
Output is correct |
4 |
Correct |
47 ms |
10148 KB |
Output is correct |
5 |
Correct |
38 ms |
10316 KB |
Output is correct |
6 |
Correct |
33 ms |
10092 KB |
Output is correct |
7 |
Correct |
27 ms |
9292 KB |
Output is correct |
8 |
Correct |
121 ms |
34396 KB |
Output is correct |
9 |
Correct |
122 ms |
34456 KB |
Output is correct |
10 |
Correct |
24 ms |
9280 KB |
Output is correct |
11 |
Correct |
124 ms |
43856 KB |
Output is correct |
12 |
Correct |
134 ms |
43984 KB |
Output is correct |
13 |
Correct |
139 ms |
43852 KB |
Output is correct |
14 |
Correct |
24 ms |
9320 KB |
Output is correct |
15 |
Correct |
113 ms |
34992 KB |
Output is correct |
16 |
Correct |
123 ms |
34876 KB |
Output is correct |
17 |
Correct |
153 ms |
36236 KB |
Output is correct |
18 |
Correct |
130 ms |
35532 KB |
Output is correct |
19 |
Correct |
132 ms |
40700 KB |
Output is correct |
20 |
Correct |
195 ms |
40092 KB |
Output is correct |
21 |
Correct |
123 ms |
35172 KB |
Output is correct |
22 |
Correct |
133 ms |
35380 KB |
Output is correct |
23 |
Correct |
131 ms |
35280 KB |
Output is correct |
24 |
Correct |
128 ms |
35520 KB |
Output is correct |
25 |
Correct |
136 ms |
37508 KB |
Output is correct |
26 |
Correct |
115 ms |
33972 KB |
Output is correct |
27 |
Correct |
116 ms |
33880 KB |
Output is correct |
28 |
Incorrect |
26 ms |
9300 KB |
Extra information in the output file |
29 |
Halted |
0 ms |
0 KB |
- |