제출 #874688

#제출 시각아이디문제언어결과실행 시간메모리
874688MinaRagy06Tourism (JOI23_tourism)C++17
100 / 100
3537 ms101868 KiB
#include <bits/stdc++.h> #pragma GCC optimize("Ofast") using namespace std; #define ll long long #define md ((l + r) >> 1) int lazy[1 << 18]; void add(int i, int l, int r, int s, int e, int v) { if (s <= l && r <= e) { lazy[i] += v; return; } if (r < s || e < l) { return; } add(i << 1, l, md, s, e, v); add(i << 1 | 1, md + 1, r, s, e, v); } int get(int i, int l, int r, int x) { if (l == r) { return lazy[i]; } if (x <= md) { return get(i << 1, l, md, x) + lazy[i]; } else { return get(i << 1 | 1, md + 1, r, x) + lazy[i]; } } const int N = 100'005; int anc[18][N], h[N], mp[N], mph[N], mxh[N], height; vector<int> adj[N]; int nodes = 1; void dfs(int i, int d, int x, int curd, int p, int realp) { h[x] = d; mxh[x] = max(mxh[x], curd); mp[i] = x; mph[i] = curd; height = max(height, d); if (curd == 0) { anc[0][x] = p; for (int j = 1; j < 18; j++) { anc[j][x] = anc[j - 1][anc[j - 1][x]]; } } for (auto nxt : adj[i]) { if (nxt == realp) continue; if ((int)adj[i].size() > (2 - (i == 1))) { dfs(nxt, d + 1, ++nodes, 0, x, i); } else { dfs(nxt, d, x, curd + 1, p, i); } } } int sparse[18][N]; int getlca(int u, int v) { if (h[u] > h[v]) { swap(u, v); } if (v == 0) return u; if (h[u] != h[v]) { for (int j = 17; j >= 0; j--) { if (h[anc[j][v]] > h[u]) { v = anc[j][v]; } } v = anc[0][v]; } if (u != v) { for (int j = 17; j >= 0; j--) { if (anc[j][u] != anc[j][v]) { u = anc[j][u]; v = anc[j][v]; } } u = anc[0][u]; } return u; } int query(int l, int r) { int lg = __lg(r - l + 1); return getlca(sparse[lg][l], sparse[lg][r - (1 << lg) + 1]); } stack<array<int, 2>> s[N]; int main() { ios_base::sync_with_stdio(0), cin.tie(0); int n, m, q; cin >> n >> m >> q; for (int i = 1, u, v; i < n; i++) { cin >> u >> v; adj[u].push_back(v); adj[v].push_back(u); } dfs(1, 0, 1, 0, 1, 1); int arr[m]; for (int i = 0; i < m; i++) { cin >> arr[i]; } for (int i = 0; i < m; i++) { sparse[0][i] = mp[arr[i]]; } for (int j = 1; j < 18; j++) { for (int i = 0; i + (1 << (j - 1)) < m; i++) { sparse[j][i] = getlca(sparse[j - 1][i], sparse[j - 1][i + (1 << (j - 1))]); } } vector<array<int, 3>> ask[m]; for (int i = 0; i < q; i++) { int l, r; cin >> l >> r; l--, r--; int lca = query(l, r); ask[r].push_back({l, i, h[lca]}); } int ans[q]{}; array<int, 2> a[m]; for (int i = 0; i < m; i++) { a[i][0] = mp[arr[i]]; a[i][1] = mph[arr[i]]; } for (int j = height; j >= 0; j--) { memset(lazy, 0, sizeof lazy); for (int i = 0; i <= n; i++) { while (s[i].size()) s[i].pop(); s[i].push({(int)1e9, -1}); } for (int r = 0; r < m; r++) { auto &[cura, curh] = a[r]; if (j > h[cura]) goto askl; add(1, 0, m - 1, s[cura].top()[1] + 1, r, curh + 1); while (curh >= s[cura].top()[0]) { array<int, 2> lst = s[cura].top(); s[cura].pop(); add(1, 0, m - 1, s[cura].top()[1] + 1, lst[1], curh - lst[0]); } s[cura].push({curh, r}); cura = anc[0][cura]; curh = mxh[cura]; askl: for (auto &[l, idx, mnh] : ask[r]) { if (j < mnh) continue; int v = get(1, 0, m - 1, l); ans[idx] += v; } } } for (int i = 0; i < m; i++) { a[i][0] = mp[arr[i]]; a[i][1] = mph[arr[i]]; } for (int j = height; j >= 0; j--) { memset(lazy, 0, sizeof lazy); for (int i = 0; i <= n; i++) { while (s[i].size()) s[i].pop(); s[i].push({(int)-1e9, -1}); } for (int r = 0; r < m; r++) { auto &[cura, curh] = a[r]; if (j > h[cura]) goto askl2; add(1, 0, m - 1, s[cura].top()[1] + 1, r, curh); while (curh <= s[cura].top()[0]) { array<int, 2> lst = s[cura].top(); s[cura].pop(); add(1, 0, m - 1, s[cura].top()[1] + 1, lst[1], curh - lst[0]); } s[cura].push({curh, r}); cura = anc[0][cura]; curh = mxh[cura]; askl2: for (auto &[l, idx, mnh] : ask[r]) { if (j != mnh) continue; int v = get(1, 0, m - 1, l); ans[idx] -= v; } } } for (auto i : ans) { cout << i << '\n'; } return 0; }
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...