結果
問題 | No.898 tri-βutree |
ユーザー | ecottea |
提出日時 | 2021-10-20 22:50:18 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 512 ms / 4,000 ms |
コード長 | 14,162 bytes |
コンパイル時間 | 4,268 ms |
コンパイル使用メモリ | 246,720 KB |
実行使用メモリ | 49,784 KB |
最終ジャッジ日時 | 2024-09-20 06:46:11 |
合計ジャッジ時間 | 16,423 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 333 ms
49,784 KB |
testcase_01 | AC | 2 ms
6,940 KB |
testcase_02 | AC | 2 ms
6,944 KB |
testcase_03 | AC | 3 ms
6,940 KB |
testcase_04 | AC | 2 ms
6,940 KB |
testcase_05 | AC | 2 ms
6,944 KB |
testcase_06 | AC | 2 ms
6,944 KB |
testcase_07 | AC | 498 ms
39,572 KB |
testcase_08 | AC | 495 ms
39,372 KB |
testcase_09 | AC | 511 ms
39,536 KB |
testcase_10 | AC | 495 ms
39,540 KB |
testcase_11 | AC | 504 ms
39,488 KB |
testcase_12 | AC | 511 ms
39,500 KB |
testcase_13 | AC | 508 ms
39,368 KB |
testcase_14 | AC | 500 ms
39,368 KB |
testcase_15 | AC | 502 ms
39,396 KB |
testcase_16 | AC | 498 ms
39,576 KB |
testcase_17 | AC | 508 ms
39,432 KB |
testcase_18 | AC | 502 ms
39,400 KB |
testcase_19 | AC | 512 ms
39,460 KB |
testcase_20 | AC | 505 ms
39,400 KB |
testcase_21 | AC | 501 ms
39,432 KB |
ソースコード
#ifndef HIDDEN_IN_VISUAL_STUDIO // 折りたたみ用 // 警告の抑制 #define _CRT_SECURE_NO_WARNINGS // 使えるライブラリの読み込み #include <bits/stdc++.h> using namespace std; // 型名の短縮 using ll = long long; // -2^63 ~ 2^63 = 9 * 10^18(int は -2^31 ~ 2^31 = 2 * 10^9) using pii = pair<int, int>; using pll = pair<ll, ll>; using pil = pair<int, ll>; using pli = pair<ll, int>; using vi = vector<int>; using vvi = vector<vi>; using vvvi = vector<vvi>; using vl = vector<ll>; using vvl = vector<vl>; using vvvl = vector<vvl>; using vb = vector<bool>; using vvb = vector<vb>; using vvvb = vector<vvb>; using vc = vector<char>; using vvc = vector<vc>; using vvvc = vector<vvc>; using vd = vector<double>; using vvd = vector<vd>; using vvvd = vector<vvd>; template <class T> using priority_queue_rev = priority_queue<T, vector<T>, greater<T>>; using Graph = vvi; // 定数の定義 const double PI = 3.14159265359; const double DEG = PI / 180.; // θ [deg] = θ * DEG [rad] const vi dx4 = { 1, 0, -1, 0 }; // 4 近傍(下,右,上,左) const vi dy4 = { 0, 1, 0, -1 }; const vi dx8 = { 1, 1, 0, -1, -1, -1, 0, 1 }; // 8 近傍 const vi dy8 = { 0, 1, 1, 1, 0, -1, -1, -1 }; const ll INFL = (ll)2e18; const int INF = (int)1e9; const double EPS = 1e-10; // 許容誤差に応じて調整 // 汎用マクロの定義 #define all(a) (a).begin(), (a).end() #define sz(x) ((int)(x).size()) #define distance (int)distance #define Yes(b) {cout << ((b) ? "Yes" : "No") << endl;} #define rep(i, n) for(int i = 0, i##_len = int(n); i < i##_len; ++i) // 0 から n-1 まで昇順 #define repi(i, s, t) for(int i = int(s), i##_end = int(t); i <= i##_end; ++i) // s から t まで昇順 #define repir(i, s, t) for(int i = int(s), i##_end = int(t); i >= i##_end; --i) // s から t まで降順 #define repe(v, a) for(const auto& v : (a)) // a の全要素(変更不可能) #define repea(v, a) for(auto& v : (a)) // a の全要素(変更可能) #define repb(set, d) for(int set = 0; set < (1 << int(d)); ++set) // d ビット全探索(昇順) #define repp(a) sort(all(a)); for(bool a##_perm = true; a##_perm; a##_perm = next_permutation(all(a))) // a の順列全て(昇順) #define repit(it, a) for(auto it = (a).begin(); it != (a).end(); ++it) // イテレータを回す(昇順) #define repitr(it, a) for(auto it = (a).rbegin(); it != (a).rend(); ++it) // イテレータを回す(降順) // 汎用関数の定義 template <class T> inline ll pow(T n, int k) { ll v = 1; rep(i, k) v *= n; return v; } template <class T> inline bool chmax(T& M, const T& x) { if (M < x) { M = x; return true; } return false; } // 最大値を更新(更新されたら true を返す) template <class T> inline bool chmin(T& m, const T& x) { if (m > x) { m = x; return true; } return false; } // 最小値を更新(更新されたら true を返す) // 入出力用の >>, << のオーバーロード template <class T, class U> inline istream& operator>> (istream& is, pair<T, U>& p) { is >> p.first >> p.second; return is; } template <class T, class U> inline ostream& operator<< (ostream& os, const pair<T, U>& p) { os << "(" << p.first << "," << p.second << ")"; return os; } template <class T, class U, class V> inline istream& operator>> (istream& is, tuple<T, U, V>& t) { is >> get<0>(t) >> get<1>(t) >> get<2>(t); return is; } template <class T, class U, class V> inline ostream& operator<< (ostream& os, const tuple<T, U, V>& t) { os << "(" << get<0>(t) << "," << get<1>(t) << "," << get<2>(t) << ")"; return os; } template <class T, class U, class V, class W> inline istream& operator>> (istream& is, tuple<T, U, V, W>& t) { is >> get<0>(t) >> get<1>(t) >> get<2>(t) >> get<3>(t); return is; } template <class T, class U, class V, class W> inline ostream& operator<< (ostream& os, const tuple<T, U, V, W>& t) { os << "(" << get<0>(t) << "," << get<1>(t) << "," << get<2>(t) << "," << get<3>(t) << ")"; return os; } template <class T> inline istream& operator>> (istream& is, vector<T>& v) { repea(x, v) is >> x; return is; } template <class T> inline ostream& operator<< (ostream& os, const vector<T>& v) { repe(x, v) os << x << " "; return os; } template <class T> inline ostream& operator<< (ostream& os, const set<T>& s) { repe(x, s) os << x << " "; return os; } template <class T> inline ostream& operator<< (ostream& os, const unordered_set<T>& s) { repe(x, s) os << x << " "; return os; } template <class T, class U> inline ostream& operator<< (ostream& os, const map<T, U>& m) { repe(p, m) os << p << " "; return os; } template <class T, class U> inline ostream& operator<< (ostream& os, const unordered_map<T, U>& m) { repe(p, m) os << p << " "; return os; } template <class T> inline ostream& operator<< (ostream& os, stack<T> s) { while (!s.empty()) { os << s.top() << " "; s.pop(); } return os; } template <class T> inline ostream& operator<< (ostream& os, queue<T> q) { while (!q.empty()) { os << q.front() << " "; q.pop(); } return os; } template <class T> inline ostream& operator<< (ostream& os, deque<T> q) { while (!q.empty()) { os << q.front() << " "; q.pop_front(); } return os; } template <class T> inline ostream& operator<< (ostream& os, priority_queue<T> q) { while (!q.empty()) { os << q.top() << " "; q.pop(); } return os; } // 手元環境(Visual Studio) #ifdef _MSC_VER #define popcount (int)__popcnt // 全ビット中の 1 の個数 #define popcountll (int)__popcnt64 inline int lsb(unsigned int n) { unsigned long i; _BitScanForward(&i, n); return i; } // 最下位ビットの位置(0-indexed) inline int lsbll(unsigned long long n) { unsigned long i; _BitScanForward64(&i, n); return i; } inline int msb(unsigned int n) { unsigned long i; _BitScanReverse(&i, n); return i; } // 最上位ビットの位置(0-indexed) inline int msbll(unsigned long long n) { unsigned long i; _BitScanReverse64(&i, n); return i; } template <class T> T gcd(T a, T b) { return b ? gcd(b, a % b) : a; } #define dump(x) cout << "\033[1;36m" << (x) << "\033[0m" << endl; #define dumps(x) cout << "\033[1;36m" << (x) << "\033[0m "; #define dumpel(a) { int i = 0; cout << "\033[1;36m"; repe(x, a) {cout << i++ << ": " << x << endl;} cout << "\033[0m"; } #define input_from_file(f) ifstream isTMP(f); cin.rdbuf(isTMP.rdbuf()); #define output_to_file(f) ofstream osTMP(f); cout.rdbuf(osTMP.rdbuf()); // 提出用(gcc) #else #define popcount (int)__builtin_popcount #define popcountll (int)__builtin_popcountll #define lsb __builtin_ctz #define lsbll __builtin_ctzll #define msb(n) (31 - __builtin_clz(n)) #define msbll(n) (63 - __builtin_clzll(n)) #define gcd __gcd #define dump(x) #define dumps(x) #define dumpel(v) #define input_from_file(f) #define output_to_file(f) #endif #endif // 折りたたみ用 //-----------------AtCoder 専用----------------- #include <atcoder/all> using namespace atcoder; //using mint = modint1000000007; using mint = modint998244353; //using mint = modint; // mint::set_mod(m); template <class S, S(*op)(S, S), S(*e)()>ostream& operator<<(ostream& os, segtree<S, op, e> seg) { int n = seg.max_right(0, [](S x) {return true; }); rep(i, n) os << seg.get(i) << " "; return os; } template <class S, S(*op)(S, S), S(*e)(), class F, S(*mp)(F, S), F(*cp)(F, F), F(*id)()>ostream& operator<<(ostream& os, lazy_segtree<S, op, e, F, mp, cp, id> seg) { int n = seg.max_right(0, [](S x) {return true; }); rep(i, n) os << seg.get(i) << " "; return os; } istream& operator>> (istream& is, mint& x) { ll x_; is >> x_; x = x_; return is; } ostream& operator<< (ostream& os, const mint& x) { os << x.val(); return os; } using vm = vector<mint>; using vvm = vector<vm>; using vvvm = vector<vvm>; //---------------------------------------------- //【コスト付きグラフの辺】 /* * to : 行き先の頂点番号 * cost : 辺のコスト */ struct Edge { // 参考:https://nyaannyaan.github.io/library/graph/graph-template.hpp int to; // 行き先の頂点番号 ll cost; // 辺のコスト // 出力 friend ostream& operator<<(ostream& os, const Edge& e) { os << '(' << e.to << ',' << e.cost << ')'; return os; } // コストなしグラフで呼ばれたとき用 operator int() const { return to; } }; //【コスト付きグラフ】 /* * WGraph g * g[v] : 頂点 v から出る辺を並べたリスト */ using WGraph = vector<vector<Edge>>; //【コスト付きグラフの入力】O(|E|) /* * 入力を受け取り n 頂点 m 辺のコスト付きグラフを構成する. * * n : グラフの頂点の数 * m : グラフの辺の数 * g : ここにグラフを構築して返す * directed : 有向グラフなら true * one_indexed : 入力が 1-indexed で与えられるなら true */ void read_graph(int n, int m, WGraph& g, bool directed = false, bool one_indexed = true) { g = WGraph(n); rep(i, m) { int a, b; ll c; cin >> a >> b >> c; if (one_indexed) { a--; b--; } g[a].push_back({ b, c }); if (!directed) { g[b].push_back({ a, c }); } } } //【コスト付き根付き木のノード】 /* * parent : 親の頂点(なければ -1) * child : 子への辺のリスト(なければ空リスト) * depth : 深さ(根からのパスの長さ) * dist : 根からの距離(根からのパスのコスト) * weight : 重さ(部分木のもつ辺の数) */ struct WTNode { int parent = -1; vector<Edge> child; int depth = -1; ll dist = -1; int weight = -1; // デバッグ出力 friend ostream& operator<<(ostream& os, const WTNode& v) { os << "(par:" << v.parent << ", cld:" << v.child << ", dep:" << v.depth << ", dist:" << v.dist << ", wgt:" << v.weight << ")"; return os; } }; //【コスト付き根付き木】 /* * rt[i] : 根付き木の i 番目のノードの情報 * r : 根の頂点番号 * * WRTree(g, r) : O(|V|) * コスト付き木 g を r を根とみなしたコスト付き根付き木として受け取る. */ struct WRTree { int n; vector<WTNode> v; int r; // コンストラクタ(木と根で初期化) WRTree(WGraph& g, int r_) : n(sz(g)), v(n), r(r_) { // 再帰用の関数 // s : 注目ノード,p : s の親 function<void(int, int, ll)> dfs = [&](int s, int p, ll d) { v[s].parent = p; v[s].dist = d; v[s].child.clear(); v[s].weight = 0; repe(t, g[s]) { if (t == p) continue; v[t].depth = v[s].depth + 1; dfs(t, s, d + t.cost); v[s].child.push_back(t); v[s].weight += v[t].weight + 1; } }; // 根 r を始点として再帰関数を呼び出す. v[r].depth = 0; dfs(r, -1, 0); } // アクセス WTNode const& operator[](int i) const { return v[i]; } WTNode& operator[](int i) { return v[i]; } // 大きさ int size() const { return n; } // デバッグ出力 friend ostream& operator<<(ostream& os, const WRTree& rt) { rep(i, rt.n) os << rt.v[i] << endl; return os; } }; //【根付き木のオイラーツアー】O(|V|) /* * 根付き木 rt のオイラーツアーを求める. * * in[s] : 最初に頂点 s を訪れた時刻(根なら 0) * out[s] : 最後に頂点 s から離れた時刻(根なら 2 |V| - 1) * pos[t] : 時刻 t に訪れた頂点の番号(長さ 2 |V| - 1) */ template <class TREE> void euler_tour(TREE& rt, vi& in, vi& out, vi& pos) { int n = sz(rt); int time = 0; in = vi(n); out = vi(n); pos = vi(2 * n - 1); // 再帰用の関数 function<void(int)> rf = [&](int s) { // s を最初に訪れた in[s] = time; pos[time++] = s; repe(t, rt[s].child) { rf(t); pos[time++] = s; } // s から最後に離れる out[s] = time; }; // 根から順に探索する. rf(rt.r); } //【最小共通祖先】 /* * 与えられた根付き木について,頂点対の最小共通祖先を求める. * * Lowest_common_ancestor(rt) : O(|V|) * 根付き木 rt で初期化する. * * lca(u, v) : O(log |V|) * 頂点 u, v の最小共通祖先を返す. * * dist(u, v) : O(log |V|) * 頂点 u, v の距離を返す. * * 利用:【根付き木のオイラーツアー】 */ pli op1(pli a, pli b) { return min(a, b); } pli e1() { return { INFL, -1 }; } template <class TREE> struct Lowest_common_ancestor { TREE rt; // オイラーツアーの結果の記録用 // in[v] : v に最初に入った時刻 // out[v] : v から最後に出た時刻 // pos[t] : 時刻 t に居た頂点の番号 vi in, out, pos; // 深さに関する区間最小クエリを処理するためのセグメント木 // seg[t] : 時刻 t に居た頂点の (深さ, 番号) segtree<pli, op1, e1> seg; // コンストラクタ(根付き木で初期化):O(|V|) Lowest_common_ancestor(TREE& rt_) : rt(rt_) { // オイラーツアーを求めておく. euler_tour(rt, in, out, pos); // 深さに関する区間最小クエリを処理するためのセグメント木を用意する. // 深さだけでなく頂点の番号も返したいのでそれらを対にしてもつ. int n = sz(rt.v); vector<pli> depth(2 * n - 1); rep(t, 2 * n - 1) { depth[t] = { rt[pos[t]].depth, pos[t] }; } seg = segtree<pli, op1, e1>(depth); } // 頂点 u, v の最小共通祖先を返す. int lca(int u, int v) { // 初めて u または v に訪れたとき int left = min(in[u], in[v]); // 最後に u または v から離れたとき int right = max(out[u], out[v]); // その途中で訪れたことのある最も浅い頂点が最小共通祖先 return seg.prod(left, right).second; } // 頂点 u, v の距離を返す. ll dist(int u, int v) { int r = lca(u, v); // 根からの距離の和を求め,ダブっている分を引く. return rt[u].dist + rt[v].dist - 2 * rt[r].dist; } }; int main() { cout << fixed << setprecision(15); // input_from_file("input.txt"); // output_to_file("output.txt"); int n; cin >> n; WGraph g; read_graph(n, n - 1, g, false, false); WRTree rt(g, 0); Lowest_common_ancestor<WRTree> lca(rt); int q; cin >> q; rep(hoge, q) { int x, y, z; cin >> x >> y >> z; ll res = lca.dist(x, y) + lca.dist(y, z) + lca.dist(z, x); cout << res / 2 << endl; } }