結果
問題 | No.399 動的な領主 |
ユーザー | Forested |
提出日時 | 2020-11-19 17:06:06 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 488 ms / 2,000 ms |
コード長 | 10,577 bytes |
コンパイル時間 | 2,893 ms |
コンパイル使用メモリ | 218,232 KB |
実行使用メモリ | 20,224 KB |
最終ジャッジ日時 | 2024-07-23 10:08:22 |
合計ジャッジ時間 | 7,675 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,812 KB |
testcase_01 | AC | 2 ms
6,944 KB |
testcase_02 | AC | 2 ms
6,944 KB |
testcase_03 | AC | 2 ms
6,940 KB |
testcase_04 | AC | 3 ms
6,944 KB |
testcase_05 | AC | 30 ms
6,944 KB |
testcase_06 | AC | 473 ms
15,872 KB |
testcase_07 | AC | 447 ms
16,000 KB |
testcase_08 | AC | 460 ms
16,000 KB |
testcase_09 | AC | 451 ms
15,872 KB |
testcase_10 | AC | 4 ms
6,944 KB |
testcase_11 | AC | 23 ms
6,940 KB |
testcase_12 | AC | 340 ms
16,384 KB |
testcase_13 | AC | 321 ms
16,256 KB |
testcase_14 | AC | 107 ms
20,096 KB |
testcase_15 | AC | 117 ms
20,224 KB |
testcase_16 | AC | 192 ms
18,048 KB |
testcase_17 | AC | 488 ms
15,872 KB |
testcase_18 | AC | 469 ms
15,872 KB |
ソースコード
// Template #include "bits/stdc++.h" #define rep_override(x, y, z, name, ...) name #define rep2(i, n) for (int i = 0; i < (int)(n); ++i) #define rep3(i, l, r) for (int i = (int)(l); i < (int)(r); ++i) #define rep(...) rep_override(__VA_ARGS__, rep3, rep2)(__VA_ARGS__) #define per(i, n) for (int i = (int)(n) - 1; i >= 0; --i) #define all(x) (x).begin(), (x).end() using namespace std; using ll = long long; constexpr int inf = 1001001001; constexpr ll INF = 3003003003003003003LL; template <typename T> inline bool chmin(T &x, const T &y) { if (x > y) { x = y; return true; } return false; } template <typename T> inline bool chmax(T &x, const T &y) { if (x < y) { x = y; return true; } return false; } struct IOSET { IOSET() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(10); } } ioset; template <typename T> istream &operator>>(istream &is, vector<T> &vec) { for (T &element : vec) is >> element; return is; } template <typename T> ostream &operator<<(ostream &os, vector<T> &vec) { for (int i = 0, vec_len = (int)vec.size(); i < vec_len; ++i) { os << vec[i] << (i + 1 == vec_len ? "" : " "); } return os; } // Heavy-Light Decomposition #include <vector> #include <utility> template <typename G> struct HLD { G &g; std::vector<int> sz, par, head, in, rin; HLD(G &_g) : g(_g) { build(); } void build() { sz.assign(g.size(), 0); par.assign(g.size(), 0); dfs_size(0, -1); head.assign(g.size(), 0); in.assign(g.size(), 0); rin.assign(g.size(), 0); int t = 0; dfs_hld(0, -1, t); } int lca(int u, int v) { while (true) { if (in[u] > in[v]) { std::swap(u, v); } if (head[u] == head[v]) { return u; } v = par[head[v]]; } } template <typename T, typename F0, typename F1> T query(int u, int v, const T &identity, const F0 &f0, const F1 &f1, bool edge) { T _u = identity, _v = identity; while (true) { if (in[u] > in[v]) { std::swap(u, v); std::swap(_u, _v); } if (head[u] == head[v]) { break; } _v = f1(f0(in[head[v]], in[v] + 1), _v); v = par[head[v]]; } return f1(f1(f0(in[u] + edge, in[v] + 1), _v), _u); } template <typename F> void update(int u, int v, const F &f, bool edge) { while (true) { if (in[u] > in[v]) { std::swap(u, v); } if (head[u] == head[v]) { break; } f(in[head[v]], in[v] + 1); v = par[head[v]]; } f(in[u] + edge, in[v] + 1); } private: void dfs_size(int v, int p) { par[v] = p; sz[v] = 1; int l = g[v].size(); if (l && (int)g[v][0] == p) std::swap(g[v][0], g[v][l - 1]); for (int i = 0; i < l; ++i) { if ((int)g[v][i] == p) { continue; } dfs_size((int)g[v][i], v); sz[v] += sz[(int)g[v][i]]; if (sz[(int)g[v][i]] > sz[(int)g[v][0]]) { std::swap(g[v][0], g[v][i]); } } } void dfs_hld(int v, int p, int &t) { in[v] = t++; rin[in[v]] = v; int l = g[v].size(); for (int i = 0; i < l; ++i) { if ((int)g[v][i] == p) { continue; } head[(int)g[v][i]] = (i ? (int)g[v][i] : head[v]); dfs_hld((int)g[v][i], v, t); } } }; // Graph #include <vector> #include <iostream> template <typename E> class Graph { std::vector<std::vector<E>> g; public: Graph() : g(0) {} Graph(int n) : g(n) {} Graph(int n, int m) : g(n) { while (m--) { int v; E e; std::cin >> v >> e; add_edge(v, e); } } int size() const { return (int)g.size(); } void add_edge(int from, const E &edge) { g[from].push_back(edge); } const std::vector<E> &operator[](int v) const { return g[v]; } std::vector<E> &operator[](int v) { return g[v]; } }; template <typename T> struct Wedge { int to; T cost; Wedge(int _to, T _cost) : to(_to), cost(_cost) {} operator int() const { return to; } }; template <typename T> std::istream &operator>>(std::istream &is, Wedge<T> &e) { is >> e.to >> e.cost; return is; } // Lazy Segment Tree #include <vector> #include <cassert> template <typename Operator> class LazySegmentTree { using NodeType = decltype(Operator::node_identity()); using FuncType = decltype(Operator::func_identity()); int length, height, n_; std::vector<NodeType> node; std::vector<FuncType> lazy; std::vector<int> width; void eval(int n) { node[n] = Operator::node_func(node[n], lazy[n], width[n]); if (n < length) { lazy[(n << 1) | 0] = Operator::merge_func(lazy[(n << 1) | 0], lazy[n]); lazy[(n << 1) | 1] = Operator::merge_func(lazy[(n << 1) | 1], lazy[n]); } lazy[n] = Operator::func_identity(); } public: LazySegmentTree(int n) { assert(n >= 0); n_ = n; length = 1; height = 0; while (length < n) { length <<= 1; ++height; } node.resize(length << 1, Operator::node_identity()); lazy.resize(length << 1, Operator::func_identity()); width.resize(length << 1, 1); for (int i = length - 1; i > 0; --i) width[i] = width[i << 1] << 1; } LazySegmentTree(int n, NodeType x) { assert(n >= 0); n_ = n; length = 1; height = 0; while (length < n) { length <<= 1; ++height; } node.resize(length << 1, x); for (int i = length - 1; i > 0; --i) node[i] = Operator::merge_node(node[(i << 1) | 0], node[(i << 1) | 1]); lazy.resize(length << 1, Operator::func_identity()); width.resize(length << 1, 1); for (int i = length - 1; i > 0; --i) width[i] = width[i << 1] << 1; } LazySegmentTree(std::vector<NodeType> &vec) : n_((int)vec.size()) { length = 1; height = 0; while (length < (int)vec.size()) { length <<= 1; ++height; } node.resize(length << 1, Operator::node_identity()); for (int i = 0; i < (int)vec.size(); ++i) node[i + length] = vec[i]; for (int i = length - 1; i > 0; --i) node[i] = Operator::merge_node(node[(i << 1) | 0], node[(i << 1) | 1]); lazy.resize(length << 1, Operator::func_identity()); width.resize(length << 1, 1); for (int i = length - 1; i > 0; --i) width[i] = width[i << 1] << 1; } void update(int a, int b, FuncType x) { assert(a >= 0 && a <= n_ && b >= 0 && b <= n_ && a <= b); int l = a + length, r = b + length - 1; for (int i = height; i > 0; --i) { eval(l >> i); eval(r >> i); } ++r; while (r > l) { if (l & 1) { lazy[l] = Operator::merge_func(lazy[l], x); eval(l); ++l; } if (r & 1) { --r; lazy[r] = Operator::merge_func(lazy[r], x); eval(r); } l >>= 1; r >>= 1; } l = a + length; r = b + length - 1; while (l >>= 1) node[l] = Operator::merge_node(Operator::node_func(node[(l << 1) | 0], lazy[(l << 1) | 0], width[(l << 1) | 0]), Operator::node_func(node[(l << 1) | 1], lazy[(l << 1) | 1], width[(l << 1) | 1])); while (r >>= 1) node[r] = Operator::merge_node(Operator::node_func(node[(r << 1) | 0], lazy[(r << 1) | 0], width[(r << 1) | 0]), Operator::node_func(node[(r << 1) | 1], lazy[(r << 1) | 1], width[(r << 1) | 1])); } void update(int idx, NodeType x) { assert(idx >= 0 && idx < n_); idx += length; for (int i = height; i >= 0; --i) eval(idx >> i); node[idx] = x; while (idx >>= 1) node[idx] = Operator::merge_node(Operator::node_func(node[(idx << 1) | 0], lazy[(idx << 1) | 0], width[(idx << 1) | 0]), Operator::node_func(node[(idx << 1) | 1], lazy[(idx << 1) | 1], width[(idx << 1) | 1])); } NodeType get(int a, int b) { assert(a >= 0 && a <= n_ && b >= 0 && b <= n_ && a <= b); int l = a + length, r = b + length - 1; for (int i = height; i >= 0; --i) { eval(l >> i); eval(r >> i); } ++r; NodeType vl = Operator::node_identity(), vr = Operator::node_identity(); while (l < r) { if (l & 1) { vl = Operator::merge_node(vl, Operator::node_func(node[l], lazy[l], width[l])); ++l; } if (r & 1) { --r; vr = Operator::merge_node(Operator::node_func(node[r], lazy[r], width[r]), vr); } l >>= 1; r >>= 1; } return Operator::merge_node(vl, vr); } }; struct RSQ { using NodeType = long long; using FuncType = long long; static NodeType node_identity() { return 0; } static FuncType func_identity() { return 0; } static NodeType merge_node(NodeType x, NodeType y) { return x + y; } static FuncType merge_func(FuncType x, FuncType y) { return x + y; } static NodeType node_func(NodeType x, FuncType y, int len) { return x + y * len; } }; // Main int main() { int n; cin >> n; Graph<int> g(n); rep(i, n - 1) { int u, v; cin >> u >> v; --u; --v; g.add_edge(u, v); g.add_edge(v, u); } HLD<Graph<int>> hld(g); LazySegmentTree<RSQ> seg(n); int q; cin >> q; ll ans = 0; while (q--) { int a, b; cin >> a >> b; --a; --b; hld.update(a, b, [&](int x, int y) {seg.update(x, y, 1);}, false); ans += hld.query(a, b, 0LL, [&](int x, int y) {return seg.get(x, y);}, [&](ll x, ll y) {return x + y;}, false); } cout << ans << "\n"; }