#include <bits/stdc++.h>
using namespace std;
typedef int64_t ll;
#define SZ(x) (int) x.size()
const int N = 120'005;
vector<array<int, 3>> adj[N];
//0: increasing, 1: decreasing, {ancestor, last weight}
array<int, 3> bl[2][18][N];
int st[N], en[N], curt;
void dfs(int i, int par, int part) {
bl[0][0][i] = {par, part, part};
bl[1][0][i] = {par, part, part};
for (int j = 1; j < 18; j++) {
bl[0][j][i] = bl[0][j - 1][i];
auto [lst, lstt, mx] = bl[0][j][i];
if (lstt <= bl[0][0][lst][1]) {
bl[0][j][i] = bl[0][j - 1][lst];
bl[0][j][i][2] = max(bl[0][j][i][2], mx);
}
}
for (int j = 1; j < 18; j++) {
bl[1][j][i] = bl[1][j - 1][i];
auto [lst, lstt, mx] = bl[1][j][i];
if (lstt >= bl[1][0][lst][1]) {
bl[1][j][i] = bl[1][j - 1][lst];
bl[1][j][i][2] = max(bl[1][j][i][2], mx);
}
}
st[i] = curt++;
for (auto [nxt, t, nxtidx] : adj[i]) {
if (nxt == par) continue;
dfs(nxt, i, t);
}
en[i] = curt;
}
bool lca(int l, int b) {
if (st[l] <= st[b] && en[b] <= en[l]) {
return 1;
}
return 0;
}
array<int, 2> check(int t, int a, int b) {
int mx = -1e9, high = bl[t][17][a][0];
if (!lca(high, b)) {
return {int(1e9), 0};
}
if (a == high || lca(a, b)) {
return {int(-1e9), (t == 1? 1 : -1) * int(1e9)};
}
for (int j = 17; j >= 0; j--) {
if (!lca(bl[t][j][a][0], b) && !lca(bl[t][j][a][0], high)) {
mx = max(mx, bl[t][j][a][2]);
a = bl[t][j][a][0];
}
}
return {max(mx, bl[t][0][a][2]), bl[t][0][a][1]};
}
vector<array<int, 3>> curadj[N];
vector<int> dp[N];
int solve(int i, int par) {
int prv = -1;
if (par < SZ(curadj[i])) prv = adj[i][par][1];
dp[i][par] = 1;
for (int j = 0; j < SZ(curadj[i]); j++) {
auto [nxt, t, nxtidx] = curadj[i][j];
if (j == par || prv >= t) continue;
dp[i][par] += solve(nxt, nxtidx);
}
return dp[i][par];
}
bool checkpath(int a, int b, int t, bool x) {
array<int, 2> l = check(x, a, b), r = check(!x, b, a);
if (l[0] <= t && r[0] <= t && (l[1] == r[1] || (x ^ (l[1] < r[1]))) ) {
return 1;
} else {
return 0;
}
}
int main() {
ios_base::sync_with_stdio(0), cin.tie(0);
int n, q;
cin >> n >> q;
q += n - 1;
pair<char, vector<int>> v[q];
for (int i = 0; i < q; i++) {
cin >> v[i].first;
if (v[i].first == 'S') {
int a, b;
cin >> a >> b;
int x = adj[b].size(), y = adj[a].size();
adj[a].push_back({b, i, x});
adj[b].push_back({a, i, y});
v[i].second = {a, b};
} else if (v[i].first == 'Q') {
int a, b;
cin >> a >> b;
v[i].second = {a, b};
} else {
int a;
cin >> a;
v[i].second = {a};
}
}
dfs(1, 1, 0);
for (int i = 1; i <= n; i++) {
dp[i].resize(adj[i].size() + 1);
}
auto recalc = [&] () {
for (int i = 1; i <= n; i++) {
for (int j = 0; j <= SZ(adj[i]); j++) {
dp[i][j] = -1;
}
}
for (int i = 1; i <= n; i++) {
for (int j = 0; j <= SZ(adj[i]); j++) {
solve(i, j);
}
}
};
vector<array<int, 3>> upd;
for (int i = 0; i < q; i++) {
if (v[i].first == 'S') {
int a = v[i].second[0], b = v[i].second[1];
// int x = curadj[b].size(), y = curadj[a].size();
// curadj[a].push_back({b, i, x});
// curadj[b].push_back({a, i, y});
upd.push_back({a, b, i});
} else if (v[i].first == 'Q') {
int a = v[i].second[0], b = v[i].second[1];
cout << (checkpath(b, a, i, 0)? "yes\n" : "no\n");
} else {
int x = v[i].second[0];
// recalc();
// cout << dp[x][adj[x].size()] << '\n';
for (auto [a, b, t] : upd) {
}
}
}
return 0;
}
Compilation message
servers.cpp: In function 'int main()':
servers.cpp:136:14: warning: structured binding declaration set but not used [-Wunused-but-set-variable]
136 | for (auto [a, b, t] : upd) {
| ^~~~~~~~~
servers.cpp:133:8: warning: unused variable 'x' [-Wunused-variable]
133 | int x = v[i].second[0];
| ^
servers.cpp:109:7: warning: variable 'recalc' set but not used [-Wunused-but-set-variable]
109 | auto recalc = [&] () {
| ^~~~~~
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
39 ms |
68436 KB |
Output is correct |
2 |
Correct |
44 ms |
68944 KB |
Output is correct |
3 |
Correct |
67 ms |
69176 KB |
Output is correct |
4 |
Correct |
45 ms |
68948 KB |
Output is correct |
5 |
Correct |
42 ms |
69140 KB |
Output is correct |
6 |
Correct |
50 ms |
68944 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
39 ms |
68436 KB |
Output is correct |
2 |
Correct |
44 ms |
68944 KB |
Output is correct |
3 |
Correct |
67 ms |
69176 KB |
Output is correct |
4 |
Correct |
45 ms |
68948 KB |
Output is correct |
5 |
Correct |
42 ms |
69140 KB |
Output is correct |
6 |
Correct |
50 ms |
68944 KB |
Output is correct |
7 |
Incorrect |
40 ms |
68180 KB |
Extra information in the output file |
8 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
40 ms |
68444 KB |
Output is correct |
2 |
Correct |
344 ms |
87416 KB |
Output is correct |
3 |
Correct |
339 ms |
87352 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
40 ms |
68444 KB |
Output is correct |
2 |
Correct |
344 ms |
87416 KB |
Output is correct |
3 |
Correct |
339 ms |
87352 KB |
Output is correct |
4 |
Incorrect |
44 ms |
68688 KB |
Extra information in the output file |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
38 ms |
68388 KB |
Output is correct |
2 |
Correct |
220 ms |
90568 KB |
Output is correct |
3 |
Correct |
208 ms |
90568 KB |
Output is correct |
4 |
Correct |
168 ms |
90568 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
38 ms |
68388 KB |
Output is correct |
2 |
Correct |
220 ms |
90568 KB |
Output is correct |
3 |
Correct |
208 ms |
90568 KB |
Output is correct |
4 |
Correct |
168 ms |
90568 KB |
Output is correct |
5 |
Incorrect |
42 ms |
68176 KB |
Extra information in the output file |
6 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
37 ms |
68436 KB |
Output is correct |
2 |
Correct |
169 ms |
86732 KB |
Output is correct |
3 |
Correct |
226 ms |
86984 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
37 ms |
68436 KB |
Output is correct |
2 |
Correct |
169 ms |
86732 KB |
Output is correct |
3 |
Correct |
226 ms |
86984 KB |
Output is correct |
4 |
Incorrect |
36 ms |
68176 KB |
Extra information in the output file |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
35 ms |
68436 KB |
Output is correct |
2 |
Correct |
227 ms |
90792 KB |
Output is correct |
3 |
Correct |
210 ms |
90796 KB |
Output is correct |
4 |
Correct |
169 ms |
90568 KB |
Output is correct |
5 |
Correct |
36 ms |
68432 KB |
Output is correct |
6 |
Correct |
190 ms |
86732 KB |
Output is correct |
7 |
Correct |
258 ms |
86976 KB |
Output is correct |
8 |
Correct |
253 ms |
87208 KB |
Output is correct |
9 |
Correct |
290 ms |
87524 KB |
Output is correct |
10 |
Correct |
351 ms |
89020 KB |
Output is correct |
11 |
Correct |
384 ms |
88692 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
35 ms |
68436 KB |
Output is correct |
2 |
Correct |
227 ms |
90792 KB |
Output is correct |
3 |
Correct |
210 ms |
90796 KB |
Output is correct |
4 |
Correct |
169 ms |
90568 KB |
Output is correct |
5 |
Correct |
36 ms |
68432 KB |
Output is correct |
6 |
Correct |
190 ms |
86732 KB |
Output is correct |
7 |
Correct |
258 ms |
86976 KB |
Output is correct |
8 |
Correct |
253 ms |
87208 KB |
Output is correct |
9 |
Correct |
290 ms |
87524 KB |
Output is correct |
10 |
Correct |
351 ms |
89020 KB |
Output is correct |
11 |
Correct |
384 ms |
88692 KB |
Output is correct |
12 |
Incorrect |
39 ms |
68692 KB |
Extra information in the output file |
13 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
44 ms |
68432 KB |
Output is correct |
2 |
Correct |
44 ms |
69068 KB |
Output is correct |
3 |
Correct |
49 ms |
68968 KB |
Output is correct |
4 |
Correct |
45 ms |
68980 KB |
Output is correct |
5 |
Correct |
41 ms |
69120 KB |
Output is correct |
6 |
Correct |
55 ms |
69100 KB |
Output is correct |
7 |
Correct |
40 ms |
68428 KB |
Output is correct |
8 |
Correct |
329 ms |
87320 KB |
Output is correct |
9 |
Correct |
355 ms |
87420 KB |
Output is correct |
10 |
Correct |
35 ms |
68432 KB |
Output is correct |
11 |
Correct |
211 ms |
91028 KB |
Output is correct |
12 |
Correct |
211 ms |
90824 KB |
Output is correct |
13 |
Correct |
175 ms |
90520 KB |
Output is correct |
14 |
Correct |
36 ms |
68432 KB |
Output is correct |
15 |
Correct |
175 ms |
86732 KB |
Output is correct |
16 |
Correct |
221 ms |
86872 KB |
Output is correct |
17 |
Correct |
240 ms |
87204 KB |
Output is correct |
18 |
Correct |
285 ms |
87532 KB |
Output is correct |
19 |
Correct |
354 ms |
89036 KB |
Output is correct |
20 |
Correct |
348 ms |
88512 KB |
Output is correct |
21 |
Correct |
324 ms |
87024 KB |
Output is correct |
22 |
Correct |
314 ms |
86904 KB |
Output is correct |
23 |
Correct |
303 ms |
87500 KB |
Output is correct |
24 |
Correct |
279 ms |
87500 KB |
Output is correct |
25 |
Correct |
309 ms |
87400 KB |
Output is correct |
26 |
Correct |
252 ms |
86464 KB |
Output is correct |
27 |
Correct |
234 ms |
86448 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
44 ms |
68432 KB |
Output is correct |
2 |
Correct |
44 ms |
69068 KB |
Output is correct |
3 |
Correct |
49 ms |
68968 KB |
Output is correct |
4 |
Correct |
45 ms |
68980 KB |
Output is correct |
5 |
Correct |
41 ms |
69120 KB |
Output is correct |
6 |
Correct |
55 ms |
69100 KB |
Output is correct |
7 |
Correct |
40 ms |
68428 KB |
Output is correct |
8 |
Correct |
329 ms |
87320 KB |
Output is correct |
9 |
Correct |
355 ms |
87420 KB |
Output is correct |
10 |
Correct |
35 ms |
68432 KB |
Output is correct |
11 |
Correct |
211 ms |
91028 KB |
Output is correct |
12 |
Correct |
211 ms |
90824 KB |
Output is correct |
13 |
Correct |
175 ms |
90520 KB |
Output is correct |
14 |
Correct |
36 ms |
68432 KB |
Output is correct |
15 |
Correct |
175 ms |
86732 KB |
Output is correct |
16 |
Correct |
221 ms |
86872 KB |
Output is correct |
17 |
Correct |
240 ms |
87204 KB |
Output is correct |
18 |
Correct |
285 ms |
87532 KB |
Output is correct |
19 |
Correct |
354 ms |
89036 KB |
Output is correct |
20 |
Correct |
348 ms |
88512 KB |
Output is correct |
21 |
Correct |
324 ms |
87024 KB |
Output is correct |
22 |
Correct |
314 ms |
86904 KB |
Output is correct |
23 |
Correct |
303 ms |
87500 KB |
Output is correct |
24 |
Correct |
279 ms |
87500 KB |
Output is correct |
25 |
Correct |
309 ms |
87400 KB |
Output is correct |
26 |
Correct |
252 ms |
86464 KB |
Output is correct |
27 |
Correct |
234 ms |
86448 KB |
Output is correct |
28 |
Incorrect |
42 ms |
68392 KB |
Extra information in the output file |
29 |
Halted |
0 ms |
0 KB |
- |