結果
問題 | No.901 K-ary εxtrεεmε |
ユーザー | はまやんはまやん |
提出日時 | 2019-10-05 08:59:28 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 237 ms / 3,000 ms |
コード長 | 5,168 bytes |
コンパイル時間 | 3,006 ms |
コンパイル使用メモリ | 225,628 KB |
実行使用メモリ | 36,992 KB |
最終ジャッジ日時 | 2024-10-05 03:28:59 |
合計ジャッジ時間 | 10,802 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 98 ms
36,992 KB |
testcase_01 | AC | 4 ms
6,016 KB |
testcase_02 | AC | 5 ms
5,888 KB |
testcase_03 | AC | 4 ms
6,144 KB |
testcase_04 | AC | 5 ms
6,016 KB |
testcase_05 | AC | 4 ms
6,016 KB |
testcase_06 | AC | 4 ms
6,016 KB |
testcase_07 | AC | 224 ms
27,520 KB |
testcase_08 | AC | 229 ms
27,392 KB |
testcase_09 | AC | 230 ms
27,392 KB |
testcase_10 | AC | 227 ms
27,392 KB |
testcase_11 | AC | 224 ms
27,648 KB |
testcase_12 | AC | 227 ms
27,392 KB |
testcase_13 | AC | 221 ms
27,648 KB |
testcase_14 | AC | 227 ms
27,392 KB |
testcase_15 | AC | 228 ms
27,520 KB |
testcase_16 | AC | 223 ms
27,520 KB |
testcase_17 | AC | 225 ms
27,492 KB |
testcase_18 | AC | 226 ms
27,388 KB |
testcase_19 | AC | 233 ms
27,508 KB |
testcase_20 | AC | 237 ms
27,468 KB |
testcase_21 | AC | 227 ms
27,292 KB |
testcase_22 | AC | 217 ms
27,676 KB |
testcase_23 | AC | 213 ms
27,556 KB |
testcase_24 | AC | 212 ms
27,624 KB |
testcase_25 | AC | 201 ms
27,712 KB |
testcase_26 | AC | 212 ms
27,608 KB |
testcase_27 | AC | 218 ms
27,348 KB |
testcase_28 | AC | 235 ms
27,412 KB |
testcase_29 | AC | 221 ms
27,416 KB |
ソースコード
#include<bits/stdc++.h> #define rep(i,a,b) for(int i=a;i<b;i++) #define rrep(i,a,b) for(int i=a;i>=b;i--) #define fore(i,a) for(auto &i:a) #define all(x) (x).begin(),(x).end() //#pragma GCC optimize ("-O3") using namespace std; void _main(); int main() { cin.tie(0); ios::sync_with_stdio(false); _main(); } typedef long long ll; const int inf = INT_MAX / 2; const ll infl = 1LL << 60; template<class T>bool chmax(T& a, const T& b) { if (a < b) { a = b; return 1; } return 0; } template<class T>bool chmin(T& a, const T& b) { if (b < a) { a = b; return 1; } return 0; } //--------------------------------------------------------------------------------------------------- // vid : id -> vid head, heavy, parent : unused // depth : id -> depth inv : vid -> id // in(vid), out(vid) : for euler tree [in[v], out[v]) struct HLDecomposition { vector<set<int>> g; vector<int> vid, head, heavy, parent, depth, inv, in, out; HLDecomposition() {} HLDecomposition(int n) { init(n); } void init(int n) { g.resize(n); vid.resize(n, -1); head.resize(n); heavy.resize(n, -1); parent.resize(n); depth.resize(n); inv.resize(n); in.resize(n); out.resize(n); } void add(int u, int v) { g[u].insert(v); g[v].insert(u); } void build() { dfs(0, -1); t = 0; dfs_hld(); } int dfs(int curr, int prev) { parent[curr] = prev; int sub = 1, max_sub = 0; heavy[curr] = -1; for (int next : g[curr]) if (next != prev) { depth[next] = depth[curr] + 1; int sub_next = dfs(next, curr); sub += sub_next; if (max_sub < sub_next) max_sub = sub_next, heavy[curr] = next; }return sub; } int t = 0; void dfs_hld(int v = 0) { vid[v] = in[v] = t; t++; inv[in[v]] = v; if (0 <= heavy[v]) { head[heavy[v]] = head[v]; dfs_hld(heavy[v]); } for (auto u : g[v]) if(depth[v] < depth[u]) if (u != heavy[v]) { head[u] = u; dfs_hld(u); } out[v] = t; } void foreach(int u, int v, function<void(int, int)> f) { // [x,y] if (vid[u] > vid[v]) swap(u, v); f(max(vid[head[v]], vid[u]), vid[v]); if (head[u] != head[v]) foreach(u, parent[head[v]], f); } int ancestor(int from, int times) { while (true) { if (depth[head[from]] > depth[from] - times) { times -= depth[from] - depth[head[from]] + 1; if (head[from] == 0)return -1; from = parent[head[from]]; } else return inv[vid[from] - times]; } } int lca(int u, int v) { if (vid[u] > vid[v]) swap(u, v); if (head[u] == head[v]) return u; return lca(u, parent[head[v]]); } int distance(int u, int v) { return depth[u] + depth[v] - 2 * depth[lca(u, v)]; } int child(int parent, int child, int times) { assert(depth[parent]<depth[child]); int d = distance(parent, child); assert(times - 1 <= d); return ancestor(child, d - times); } int go(int from, int to, int times) { int d = distance(from, to); assert(0 <= times and times <= d); int lc = lca(from, to); if (lc == to)return ancestor(from, times); if (lc == from)return child(from, to, times); int dd = distance(from, lc); if (dd <= times)return go(lc, to, times - dd); return ancestor(from, times); } }; /*--------------------------------------------------------------------------------------------------- ∧_∧ ∧_∧ (´<_` ) Welcome to My Coding Space! ( ´_ゝ`) / ⌒i @hamayanhamayan / \ | | / / ̄ ̄ ̄ ̄/ | __(__ニつ/ _/ .| .|____ \/____/ (u ⊃ ---------------------------------------------------------------------------------------------------*/ int N; vector<pair<int, int>> E[101010]; int Q; //--------------------------------------------------------------------------------------------------- HLDecomposition hld; ll sm[101010]; void dfs(int cu, int pa = -1) { fore(p, E[cu]) { int to, c; tie(to, c) = p; if (pa == to) continue; sm[to] = sm[cu] + c; dfs(to, cu); } } ll get(int a, int b) { return sm[a] + sm[b] - 2LL * sm[hld.lca(a, b)]; } //--------------------------------------------------------------------------------------------------- void _main() { cin >> N; hld.init(N); rep(i, 0, N - 1) { int a, b, c; cin >> a >> b >> c; E[a].push_back({b, c}); E[b].push_back({a, c}); hld.add(a, b); } hld.build(); dfs(0); cin >> Q; rep(q, 0, Q) { int k; cin >> k; vector<pair<int, int>> v; rep(i, 0, k) { int x; cin >> x; v.push_back({hld.vid[x], x}); } sort(all(v)); ll ans = 0; int n = v.size(); rep(i, 0, n) ans += get(v[i].second, v[(i + 1) % n].second); ans /= 2; printf("%lld\n", ans); } }