#include <bits/stdc++.h>
#define f first
#define s second
using namespace std;
const int N = 120069;
const int K = 20;
int up[N][K], mx[N][K], is[N][K], dd[N][K], mn[N][K];
int timer, tin[N], tout[N], dep[N], par[N];
int n, k;
vector<pair<int, int>> g[N];
void dfs(int v, int p) {
tin[v] = ++timer;
dep[v] = dep[p] + 1;
up[v][0] = p;
for (int i = 1;i < K;i++) {
up[v][i] = up[up[v][i - 1]][i - 1];
mx[v][i] = max(mx[v][i - 1], mx[up[v][i - 1]][i - 1]);
mn[v][i] = min(mn[v][i - 1], mn[up[v][i - 1]][i - 1]);
is[v][i] = (is[v][i - 1] && is[up[v][i - 1]][i - 1] && mx[v][i - 1] < mx[up[v][i - 1]][0]);
dd[v][i] = (dd[v][i - 1] && dd[up[v][i - 1]][i - 1] && mn[v][i - 1] > mn[up[v][i - 1]][0]);
}
for (auto u : g[v]) {
if (u.f == p)
continue;
mx[u.f][0] = mn[u.f][0] = u.s;
is[u.f][0] = dd[u.f][0] = 1;
dfs(u.f, v);
}
tout[v] = timer;
}
bool anc(int a, int b) {
return tin[a] <= tin[b] && tout[a] >= tout[b];
}
int lca(int a, int b) {
if (anc(a, b))
return a;
else if (anc(b, a))
return b;
for (int i = K - 1;i >= 0;i--) {
if (!anc(up[a][i], b) && up[a][i] > 0)
a = up[a][i];
}
return up[a][0];
}
int Up(int a, int b) {
assert(anc(b, a));
int d = dep[a] - dep[b];
int r = 1;
for (int i = 0;i < K;i++) {
if (d >> i & 1) {
int t = 1;
d ^= (1 << i);
if (d > 0)
t &= (mn[a][i] < mn[up[a][i]][0]);
r &= (is[a][i] & t);
a = up[a][i];
}
}
return r;
}
int Down(int a, int b) {
assert(anc(b, a));
int d = dep[a] - dep[b];
int r = 1;
for (int i = 0;i < K;i++) {
if (d >> i & 1) {
int t = 1;
d ^= (1 << i);
if (d > 0)
t &= (mx[a][i] > mx[up[a][i]][0]);
r &= (dd[a][i] & t);
a = up[a][i];
}
}
return r;
}
int Mx(int a, int b) {
assert(anc(b, a));
int d = dep[a] - dep[b];
int r = 0;
for (int i = 0;i < K;i++) {
if (d >> i & 1) {
r = max(r, mx[a][i]);
a = up[a][i];
}
}
return r;
}
int Mn(int a, int b) {
assert(anc(b, a));
int d = dep[a] - dep[b];
int r = 1e9;
for (int i = 0;i < K;i++) {
if (d >> i & 1) {
r = min(r, mn[a][i]);
a = up[a][i];
}
}
return r;
}
int main() {
ios::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
int tt = 1;
//cin >> tt;
while (tt--) {
cin >> n >> k;
vector<tuple<int, int, int>> qs;
for (int i = 1;i <= n - 1 + k;i++) {
char c;
cin >> c;
int a, b;
if (c == 'S') {
cin >> a >> b;
g[a].push_back({b, i});
g[b].push_back({a, i});
}
else if (c == 'Q') {
cin >> a >> b;
qs.push_back({a, b, i});
}
else {
cin >> a;
qs.push_back({a, -1, i});
}
}
dfs(1, 0);
assert(qs.size() == k);
for (auto j : qs) {
int a, b, c;
tie(a, b, c) = j;
if (b == -1) {
assert(false);
cout << "0\n";
}
else {
int lc = lca(a, b);
//od b od lc rastuce
int mx1 = Mx(b, lc);
int mx2 = Mx(a, lc);
int mn1 = Mn(a, lc);
bool ok = (Up(b, lc) && Down(a, lc) && c > max(mx1, mx2) && mx1 < mn1);
cout << (ok ? "yes" : "no") << '\n';
}
}
}
return 0;
}
Compilation message
In file included from /usr/include/c++/10/cassert:44,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:33,
from servers.cpp:1:
servers.cpp: In function 'int main()':
servers.cpp:129:21: warning: comparison of integer expressions of different signedness: 'std::vector<std::tuple<int, int, int> >::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
129 | assert(qs.size() == k);
| ~~~~~~~~~~^~~~
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
42 ms |
8612 KB |
Output is correct |
2 |
Correct |
53 ms |
11652 KB |
Output is correct |
3 |
Correct |
49 ms |
11980 KB |
Output is correct |
4 |
Correct |
65 ms |
11756 KB |
Output is correct |
5 |
Correct |
54 ms |
12300 KB |
Output is correct |
6 |
Correct |
47 ms |
11752 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
42 ms |
8612 KB |
Output is correct |
2 |
Correct |
53 ms |
11652 KB |
Output is correct |
3 |
Correct |
49 ms |
11980 KB |
Output is correct |
4 |
Correct |
65 ms |
11756 KB |
Output is correct |
5 |
Correct |
54 ms |
12300 KB |
Output is correct |
6 |
Correct |
47 ms |
11752 KB |
Output is correct |
7 |
Runtime error |
21 ms |
16668 KB |
Execution killed with signal 6 |
8 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
43 ms |
8648 KB |
Output is correct |
2 |
Correct |
206 ms |
58488 KB |
Output is correct |
3 |
Correct |
166 ms |
58488 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
43 ms |
8648 KB |
Output is correct |
2 |
Correct |
206 ms |
58488 KB |
Output is correct |
3 |
Correct |
166 ms |
58488 KB |
Output is correct |
4 |
Runtime error |
20 ms |
16584 KB |
Execution killed with signal 6 |
5 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Incorrect |
32 ms |
8636 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Incorrect |
32 ms |
8636 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
38 ms |
8648 KB |
Output is correct |
2 |
Correct |
168 ms |
58496 KB |
Output is correct |
3 |
Incorrect |
132 ms |
59136 KB |
Output isn't correct |
4 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
38 ms |
8648 KB |
Output is correct |
2 |
Correct |
168 ms |
58496 KB |
Output is correct |
3 |
Incorrect |
132 ms |
59136 KB |
Output isn't correct |
4 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Incorrect |
35 ms |
8652 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Incorrect |
35 ms |
8652 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
39 ms |
8648 KB |
Output is correct |
2 |
Correct |
53 ms |
11744 KB |
Output is correct |
3 |
Correct |
53 ms |
11876 KB |
Output is correct |
4 |
Correct |
63 ms |
11988 KB |
Output is correct |
5 |
Correct |
52 ms |
12272 KB |
Output is correct |
6 |
Correct |
50 ms |
11752 KB |
Output is correct |
7 |
Correct |
46 ms |
8640 KB |
Output is correct |
8 |
Correct |
168 ms |
58484 KB |
Output is correct |
9 |
Correct |
180 ms |
58500 KB |
Output is correct |
10 |
Incorrect |
39 ms |
8536 KB |
Output isn't correct |
11 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
39 ms |
8648 KB |
Output is correct |
2 |
Correct |
53 ms |
11744 KB |
Output is correct |
3 |
Correct |
53 ms |
11876 KB |
Output is correct |
4 |
Correct |
63 ms |
11988 KB |
Output is correct |
5 |
Correct |
52 ms |
12272 KB |
Output is correct |
6 |
Correct |
50 ms |
11752 KB |
Output is correct |
7 |
Correct |
46 ms |
8640 KB |
Output is correct |
8 |
Correct |
168 ms |
58484 KB |
Output is correct |
9 |
Correct |
180 ms |
58500 KB |
Output is correct |
10 |
Incorrect |
39 ms |
8536 KB |
Output isn't correct |
11 |
Halted |
0 ms |
0 KB |
- |