// Success consists of going from failure to failure without loss of enthusiasm
#include <bits/stdc++.h>
using namespace std;
#define nl '\n'
#define pb push_back
#define sz(x) int(x.size())
#define f first
#define s second
#define mp make_pair
using ll = long long;
template<class T> using V = vector<T>;
using pi = pair<int, int>;
using pl = pair<ll, ll>;
using QRY = array<ll, 4>;
using vpi = V<pi>;
using vpl = V<pl>;
using vi = V<int>;
using vl = V<ll>;
const int LG = 18;
struct BIT {
int N; vl A; void init(int n) { N = n; A = vl(N, 0); };
void upd(int p, int x) { for(++p;p<=N;p+=p&-p) A[p-1] += x; }
ll sum(int l, int r) { return sum(r + 1) - sum(l); }
ll sum(int r) { ll s = 0; for(;r;r-=r&-r) s += A[r-1]; return s; }
};
int main() {
cin.tie(0)->sync_with_stdio(0);
int N, M, Q; cin >> N >> M >> Q;
V<vpi> adj(N);
for(int i = 0; i < N-1; i++) {
int u, v; cin >> u >> v; --u, --v;
adj[u].pb(mp(v, i));
adj[v].pb(mp(u, i));
}
vpi C(M);
for(auto& x : C) { cin >> x.s >> x.f; --x.s; }
sort(begin(C), end(C));
C.pb(mp(0, -1));
V<QRY> qry(Q);
for(auto& x : qry) {
cin >> x[0] >> x[1] >> x[2] >> x[3];
--x[0], --x[1];
}
V<vi> up(N, vi(LG)); vi st(N), en(N), dep(N), EI(N-1); int t = 0;
function<void(int, int)> gen = [&](int u, int p) {
st[u] = t++;
up[u][0] = p; for(int i = 1; i < LG; i++) up[u][i] = up[up[u][i-1]][i-1];
for(auto& e : adj[u]) {
auto [v, i] = e;
if (v != p) {
EI[i] = v; // v is the child of edge i
dep[v] = dep[u] + 1;
gen(v, u);
}
}
en[u] = t - 1;
};
dep[0] = 0; gen(0, 0);
auto jmp = [&](int u, int d) {
for(int i = 0; i < LG; i++) if ((d >> i) & 1) u = up[u][i];
return u;
};
auto lca = [&](int a, int b) {
if (dep[a] < dep[b]) swap(a, b);
a = jmp(a, dep[a] - dep[b]);
if (a == b) return a;
for(int i = LG - 1; i >= 0; --i) {
if (up[a][i] != up[b][i]) {
a = up[a][i], b = up[b][i];
}
}
return up[a][0];
};
BIT B, S, P; B.init(N + 1);
for(int i = 0; i < M; i++) {
int c, e; tie(c, e) = C[i];
int u = EI[e];
B.upd(st[u], 1); B.upd(en[u] + 1, -1);
}
// Parallel Binsearch
// Largest i value that is true (LST TRUE)
vi lo(Q, -1), hi(Q, M); vpl ans(Q, mp(-1, -1));
for(int r = 0; r < LG; r++) {
vi mid(Q); for(int i = 0; i < Q; i++) {
if (lo[i] >= hi[i]) mid[i] = -1;
else mid[i] = (lo[i] + hi[i] + 1) / 2;
}
bool done = 1;
V<vi> E(M+1); for(int i = 0; i < Q; i++) {
if (mid[i] != -1) {
E[mid[i]].pb(i);
done = 0;
}
}
if (done) break;
S.init(N + 1), P.init(N + 1);
for(int i = 0; i <= M; i++) {
for(auto& idx : E[i]) {
int u = qry[idx][0], v = qry[idx][1], l = lca(u, v);
ll s = S.sum(st[l], st[u]) + S.sum(st[l], st[v]) - 2 * S.sum(st[l], st[l]); // silver on path
ll p = P.sum(st[l], st[u]) + P.sum(st[l], st[v]) - 2 * P.sum(st[l], st[l]); // checkpoints on path
ll d = B.sum(st[l], st[u]) + B.sum(st[l], st[v]) - 2 * B.sum(st[l], st[l]); // checkpoints on path (all checkpoints)
ll g = d - p;
if (s <= qry[idx][3]) {
lo[idx] = mid[idx];
ans[idx] = mp(s, g);
} else hi[idx] = mid[idx] - 1;
}
if (i != M) {
int c, e; tie(c, e) = C[i];
int u = EI[e];
S.upd(st[u], c); S.upd(en[u] + 1, -c);
P.upd(st[u], 1); P.upd(en[u] + 1, -1);
}
}
}
// cout << endl << endl;
for(int i = 0; i < Q; i++) {
auto [a, b, g, s] = qry[i];
auto [ns, ng] = ans[i];
// cout << i << " ------> " << ns << " " << ng << endl;
if (ns <= s && ng <= g) cout << g - ng << nl;
else cout << -1 << nl;
}
exit(0-0);
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
348 KB |
Output is correct |
2 |
Correct |
0 ms |
348 KB |
Output is correct |
3 |
Correct |
0 ms |
348 KB |
Output is correct |
4 |
Correct |
0 ms |
348 KB |
Output is correct |
5 |
Correct |
5 ms |
988 KB |
Output is correct |
6 |
Correct |
7 ms |
1064 KB |
Output is correct |
7 |
Correct |
6 ms |
860 KB |
Output is correct |
8 |
Correct |
7 ms |
1092 KB |
Output is correct |
9 |
Correct |
8 ms |
860 KB |
Output is correct |
10 |
Correct |
8 ms |
860 KB |
Output is correct |
11 |
Correct |
8 ms |
860 KB |
Output is correct |
12 |
Correct |
8 ms |
1088 KB |
Output is correct |
13 |
Correct |
8 ms |
1116 KB |
Output is correct |
14 |
Correct |
8 ms |
1116 KB |
Output is correct |
15 |
Correct |
9 ms |
1116 KB |
Output is correct |
16 |
Correct |
9 ms |
1116 KB |
Output is correct |
17 |
Correct |
9 ms |
1116 KB |
Output is correct |
18 |
Correct |
9 ms |
1116 KB |
Output is correct |
19 |
Correct |
5 ms |
1116 KB |
Output is correct |
20 |
Correct |
5 ms |
1116 KB |
Output is correct |
21 |
Correct |
5 ms |
1116 KB |
Output is correct |
22 |
Correct |
5 ms |
1116 KB |
Output is correct |
23 |
Correct |
6 ms |
860 KB |
Output is correct |
24 |
Correct |
7 ms |
1100 KB |
Output is correct |
25 |
Correct |
7 ms |
856 KB |
Output is correct |
26 |
Correct |
5 ms |
1088 KB |
Output is correct |
27 |
Correct |
5 ms |
860 KB |
Output is correct |
28 |
Correct |
6 ms |
860 KB |
Output is correct |
29 |
Correct |
7 ms |
860 KB |
Output is correct |
30 |
Correct |
8 ms |
860 KB |
Output is correct |
31 |
Correct |
7 ms |
1088 KB |
Output is correct |
32 |
Correct |
7 ms |
860 KB |
Output is correct |
33 |
Correct |
8 ms |
1280 KB |
Output is correct |
34 |
Correct |
7 ms |
1116 KB |
Output is correct |
35 |
Correct |
7 ms |
1252 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
348 KB |
Output is correct |
2 |
Correct |
8 ms |
1076 KB |
Output is correct |
3 |
Correct |
7 ms |
860 KB |
Output is correct |
4 |
Correct |
7 ms |
1116 KB |
Output is correct |
5 |
Correct |
880 ms |
29292 KB |
Output is correct |
6 |
Correct |
941 ms |
24544 KB |
Output is correct |
7 |
Correct |
993 ms |
26716 KB |
Output is correct |
8 |
Correct |
770 ms |
25888 KB |
Output is correct |
9 |
Correct |
843 ms |
25532 KB |
Output is correct |
10 |
Correct |
1317 ms |
32112 KB |
Output is correct |
11 |
Correct |
1535 ms |
32224 KB |
Output is correct |
12 |
Correct |
1410 ms |
31956 KB |
Output is correct |
13 |
Correct |
1446 ms |
32488 KB |
Output is correct |
14 |
Correct |
1438 ms |
32380 KB |
Output is correct |
15 |
Correct |
2112 ms |
40280 KB |
Output is correct |
16 |
Correct |
2241 ms |
41016 KB |
Output is correct |
17 |
Correct |
2348 ms |
40204 KB |
Output is correct |
18 |
Correct |
2274 ms |
32128 KB |
Output is correct |
19 |
Correct |
2237 ms |
31680 KB |
Output is correct |
20 |
Correct |
2092 ms |
31704 KB |
Output is correct |
21 |
Correct |
1002 ms |
32552 KB |
Output is correct |
22 |
Correct |
937 ms |
32420 KB |
Output is correct |
23 |
Correct |
913 ms |
32352 KB |
Output is correct |
24 |
Correct |
917 ms |
32636 KB |
Output is correct |
25 |
Correct |
1197 ms |
32208 KB |
Output is correct |
26 |
Correct |
1097 ms |
32352 KB |
Output is correct |
27 |
Correct |
1156 ms |
32172 KB |
Output is correct |
28 |
Correct |
488 ms |
32468 KB |
Output is correct |
29 |
Correct |
497 ms |
32016 KB |
Output is correct |
30 |
Correct |
745 ms |
32220 KB |
Output is correct |
31 |
Correct |
719 ms |
32104 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
596 KB |
Output is correct |
2 |
Correct |
8 ms |
1116 KB |
Output is correct |
3 |
Correct |
8 ms |
1280 KB |
Output is correct |
4 |
Correct |
7 ms |
1116 KB |
Output is correct |
5 |
Correct |
1214 ms |
36368 KB |
Output is correct |
6 |
Correct |
1014 ms |
35064 KB |
Output is correct |
7 |
Correct |
985 ms |
26568 KB |
Output is correct |
8 |
Correct |
1823 ms |
41252 KB |
Output is correct |
9 |
Correct |
2013 ms |
40960 KB |
Output is correct |
10 |
Correct |
1896 ms |
40840 KB |
Output is correct |
11 |
Correct |
1092 ms |
41244 KB |
Output is correct |
12 |
Correct |
1104 ms |
40992 KB |
Output is correct |
13 |
Correct |
1111 ms |
41192 KB |
Output is correct |
14 |
Correct |
419 ms |
40868 KB |
Output is correct |
15 |
Correct |
431 ms |
41184 KB |
Output is correct |
16 |
Correct |
758 ms |
40936 KB |
Output is correct |
17 |
Correct |
800 ms |
41240 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
348 KB |
Output is correct |
2 |
Correct |
0 ms |
348 KB |
Output is correct |
3 |
Correct |
0 ms |
348 KB |
Output is correct |
4 |
Correct |
0 ms |
348 KB |
Output is correct |
5 |
Correct |
5 ms |
988 KB |
Output is correct |
6 |
Correct |
7 ms |
1064 KB |
Output is correct |
7 |
Correct |
6 ms |
860 KB |
Output is correct |
8 |
Correct |
7 ms |
1092 KB |
Output is correct |
9 |
Correct |
8 ms |
860 KB |
Output is correct |
10 |
Correct |
8 ms |
860 KB |
Output is correct |
11 |
Correct |
8 ms |
860 KB |
Output is correct |
12 |
Correct |
8 ms |
1088 KB |
Output is correct |
13 |
Correct |
8 ms |
1116 KB |
Output is correct |
14 |
Correct |
8 ms |
1116 KB |
Output is correct |
15 |
Correct |
9 ms |
1116 KB |
Output is correct |
16 |
Correct |
9 ms |
1116 KB |
Output is correct |
17 |
Correct |
9 ms |
1116 KB |
Output is correct |
18 |
Correct |
9 ms |
1116 KB |
Output is correct |
19 |
Correct |
5 ms |
1116 KB |
Output is correct |
20 |
Correct |
5 ms |
1116 KB |
Output is correct |
21 |
Correct |
5 ms |
1116 KB |
Output is correct |
22 |
Correct |
5 ms |
1116 KB |
Output is correct |
23 |
Correct |
6 ms |
860 KB |
Output is correct |
24 |
Correct |
7 ms |
1100 KB |
Output is correct |
25 |
Correct |
7 ms |
856 KB |
Output is correct |
26 |
Correct |
5 ms |
1088 KB |
Output is correct |
27 |
Correct |
5 ms |
860 KB |
Output is correct |
28 |
Correct |
6 ms |
860 KB |
Output is correct |
29 |
Correct |
7 ms |
860 KB |
Output is correct |
30 |
Correct |
8 ms |
860 KB |
Output is correct |
31 |
Correct |
7 ms |
1088 KB |
Output is correct |
32 |
Correct |
7 ms |
860 KB |
Output is correct |
33 |
Correct |
8 ms |
1280 KB |
Output is correct |
34 |
Correct |
7 ms |
1116 KB |
Output is correct |
35 |
Correct |
7 ms |
1252 KB |
Output is correct |
36 |
Correct |
0 ms |
348 KB |
Output is correct |
37 |
Correct |
8 ms |
1076 KB |
Output is correct |
38 |
Correct |
7 ms |
860 KB |
Output is correct |
39 |
Correct |
7 ms |
1116 KB |
Output is correct |
40 |
Correct |
880 ms |
29292 KB |
Output is correct |
41 |
Correct |
941 ms |
24544 KB |
Output is correct |
42 |
Correct |
993 ms |
26716 KB |
Output is correct |
43 |
Correct |
770 ms |
25888 KB |
Output is correct |
44 |
Correct |
843 ms |
25532 KB |
Output is correct |
45 |
Correct |
1317 ms |
32112 KB |
Output is correct |
46 |
Correct |
1535 ms |
32224 KB |
Output is correct |
47 |
Correct |
1410 ms |
31956 KB |
Output is correct |
48 |
Correct |
1446 ms |
32488 KB |
Output is correct |
49 |
Correct |
1438 ms |
32380 KB |
Output is correct |
50 |
Correct |
2112 ms |
40280 KB |
Output is correct |
51 |
Correct |
2241 ms |
41016 KB |
Output is correct |
52 |
Correct |
2348 ms |
40204 KB |
Output is correct |
53 |
Correct |
2274 ms |
32128 KB |
Output is correct |
54 |
Correct |
2237 ms |
31680 KB |
Output is correct |
55 |
Correct |
2092 ms |
31704 KB |
Output is correct |
56 |
Correct |
1002 ms |
32552 KB |
Output is correct |
57 |
Correct |
937 ms |
32420 KB |
Output is correct |
58 |
Correct |
913 ms |
32352 KB |
Output is correct |
59 |
Correct |
917 ms |
32636 KB |
Output is correct |
60 |
Correct |
1197 ms |
32208 KB |
Output is correct |
61 |
Correct |
1097 ms |
32352 KB |
Output is correct |
62 |
Correct |
1156 ms |
32172 KB |
Output is correct |
63 |
Correct |
488 ms |
32468 KB |
Output is correct |
64 |
Correct |
497 ms |
32016 KB |
Output is correct |
65 |
Correct |
745 ms |
32220 KB |
Output is correct |
66 |
Correct |
719 ms |
32104 KB |
Output is correct |
67 |
Correct |
0 ms |
596 KB |
Output is correct |
68 |
Correct |
8 ms |
1116 KB |
Output is correct |
69 |
Correct |
8 ms |
1280 KB |
Output is correct |
70 |
Correct |
7 ms |
1116 KB |
Output is correct |
71 |
Correct |
1214 ms |
36368 KB |
Output is correct |
72 |
Correct |
1014 ms |
35064 KB |
Output is correct |
73 |
Correct |
985 ms |
26568 KB |
Output is correct |
74 |
Correct |
1823 ms |
41252 KB |
Output is correct |
75 |
Correct |
2013 ms |
40960 KB |
Output is correct |
76 |
Correct |
1896 ms |
40840 KB |
Output is correct |
77 |
Correct |
1092 ms |
41244 KB |
Output is correct |
78 |
Correct |
1104 ms |
40992 KB |
Output is correct |
79 |
Correct |
1111 ms |
41192 KB |
Output is correct |
80 |
Correct |
419 ms |
40868 KB |
Output is correct |
81 |
Correct |
431 ms |
41184 KB |
Output is correct |
82 |
Correct |
758 ms |
40936 KB |
Output is correct |
83 |
Correct |
800 ms |
41240 KB |
Output is correct |
84 |
Correct |
915 ms |
25880 KB |
Output is correct |
85 |
Correct |
743 ms |
20100 KB |
Output is correct |
86 |
Correct |
759 ms |
19256 KB |
Output is correct |
87 |
Correct |
1717 ms |
32116 KB |
Output is correct |
88 |
Correct |
1597 ms |
32216 KB |
Output is correct |
89 |
Correct |
1494 ms |
31968 KB |
Output is correct |
90 |
Correct |
1530 ms |
32224 KB |
Output is correct |
91 |
Correct |
1546 ms |
32356 KB |
Output is correct |
92 |
Correct |
2454 ms |
37960 KB |
Output is correct |
93 |
Correct |
2359 ms |
39944 KB |
Output is correct |
94 |
Correct |
2449 ms |
31984 KB |
Output is correct |
95 |
Correct |
2409 ms |
31716 KB |
Output is correct |
96 |
Correct |
2056 ms |
31812 KB |
Output is correct |
97 |
Correct |
2344 ms |
31804 KB |
Output is correct |
98 |
Correct |
1085 ms |
32240 KB |
Output is correct |
99 |
Correct |
1039 ms |
32044 KB |
Output is correct |
100 |
Correct |
1177 ms |
32344 KB |
Output is correct |
101 |
Correct |
1168 ms |
32432 KB |
Output is correct |
102 |
Correct |
1440 ms |
32160 KB |
Output is correct |
103 |
Correct |
1477 ms |
32332 KB |
Output is correct |
104 |
Correct |
1270 ms |
32216 KB |
Output is correct |
105 |
Correct |
604 ms |
32484 KB |
Output is correct |
106 |
Correct |
530 ms |
32428 KB |
Output is correct |
107 |
Correct |
658 ms |
32036 KB |
Output is correct |
108 |
Correct |
677 ms |
32024 KB |
Output is correct |