結果
問題 | No.1098 LCAs |
ユーザー |
![]() |
提出日時 | 2020-06-26 21:38:07 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 819 ms / 2,000 ms |
コード長 | 6,820 bytes |
コンパイル時間 | 2,682 ms |
コンパイル使用メモリ | 210,424 KB |
最終ジャッジ日時 | 2025-01-11 11:02:36 |
ジャッジサーバーID (参考情報) |
judge3 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 28 |
ソースコード
#include <bits/stdc++.h>using namespace std;using lint = long long;using pint = pair<int, int>;using plint = pair<lint, lint>;struct fast_ios { fast_ios(){ cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(20); }; } fast_ios_;#define ALL(x) (x).begin(), (x).end()#define FOR(i, begin, end) for(int i=(begin),i##_end_=(end);i<i##_end_;i++)#define IFOR(i, begin, end) for(int i=(end)-1,i##_begin_=(begin);i>=i##_begin_;i--)#define REP(i, n) FOR(i,0,n)#define IREP(i, n) IFOR(i,0,n)template <typename T> void ndarray(vector<T> &vec, int len) { vec.resize(len); }template <typename T, typename... Args> void ndarray(vector<T> &vec, int len, Args... args) { vec.resize(len); for (auto &v : vec) ndarray(v, args...); }template <typename V, typename T> void ndfill(V &x, const T &val) { x = val; }template <typename V, typename T> void ndfill(vector<V> &vec, const T &val) { for (auto &v : vec) ndfill(v, val); }template <typename T> bool chmax(T &m, const T q) { if (m < q) {m = q; return true;} else return false; }template <typename T> bool chmin(T &m, const T q) { if (m > q) {m = q; return true;} else return false; }template <typename T1, typename T2> pair<T1, T2> operator+(const pair<T1, T2> &l, const pair<T1, T2> &r) { return make_pair(l.first + r.first, l.second + r.second); }template <typename T1, typename T2> pair<T1, T2> operator-(const pair<T1, T2> &l, const pair<T1, T2> &r) { return make_pair(l.first - r.first, l.second - r.second); }template <typename T> vector<T> srtunq(vector<T> vec) { sort(vec.begin(), vec.end()), vec.erase(unique(vec.begin(), vec.end()), vec.end()); returnvec; }template <typename T> istream &operator>>(istream &is, vector<T> &vec) { for (auto &v : vec) is >> v; return is; }template <typename T> ostream &operator<<(ostream &os, const vector<T> &vec) { os << "["; for (auto v : vec) os << v << ","; os << "]"; return os; }template <typename T> ostream &operator<<(ostream &os, const deque<T> &vec) { os << "deq["; for (auto v : vec) os << v << ","; os << "]"; return os;}template <typename T> ostream &operator<<(ostream &os, const set<T> &vec) { os << "{"; for (auto v : vec) os << v << ","; os << "}"; return os; }template <typename T> ostream &operator<<(ostream &os, const unordered_set<T> &vec) { os << "{"; for (auto v : vec) os << v << ","; os << "}"; returnos; }template <typename T> ostream &operator<<(ostream &os, const multiset<T> &vec) { os << "{"; for (auto v : vec) os << v << ","; os << "}"; return os;}template <typename T> ostream &operator<<(ostream &os, const unordered_multiset<T> &vec) { os << "{"; for (auto v : vec) os << v << ","; os << "}";return os; }template <typename T1, typename T2> ostream &operator<<(ostream &os, const pair<T1, T2> &pa) { os << "(" << pa.first << "," << pa.second << ")";return os; }template <typename TK, typename TV> ostream &operator<<(ostream &os, const map<TK, TV> &mp) { os << "{"; for (auto v : mp) os << v.first << "=>" << v.second << ","; os << "}"; return os; }template <typename TK, typename TV> ostream &operator<<(ostream &os, const unordered_map<TK, TV> &mp) { os << "{"; for (auto v : mp) os << v.first <<"=>" << v.second << ","; os << "}"; return os; }#define dbg(x) cerr << #x << " = " << (x) << " (L" << __LINE__ << ") " << __FILE__ << endl;// lowest common ancestor (LCA) class for undirected weighted tree// 無向重み付きグラフの最小共通祖先// <https://yukicoder.me/submissions/392383>struct UndirectedWeightedTree{using T = long long int; // Arbitrary data structure (operator+, operator- must be defined)int INVALID = -1;int V, lgV;int E;int root;vector<vector<pair<int, int>>> adj; // (nxt_vertex, edge_id)// vector<pint> edge; // edges[edge_id] = (vertex_id, vertex_id)vector<T> weight; // w[edge_id]vector<int> par; // parent_vertex_id[vertex_id]vector<int> depth; // depth_from_root[vertex_id]vector<T> acc_weight; // w_sum_from_root[vertex_id]vector<int> stsz;void _fix_root_dfs(int now, int prv, int prv_edge_id){par[now] = prv;if (prv_edge_id != INVALID) acc_weight[now] = acc_weight[prv] + weight[prv_edge_id];for (auto nxt : adj[now]) if (nxt.first != prv){depth[nxt.first] = depth[now] + 1;_fix_root_dfs(nxt.first, now, nxt.second);stsz[now] += stsz[nxt.first];}}UndirectedWeightedTree() = default;UndirectedWeightedTree(int N) : V(N), E(0), adj(N){lgV = 1;while (1 << lgV < V) lgV++;}void add_edge(int u, int v, T w){adj[u].emplace_back(v, E);adj[v].emplace_back(u, E);// edge.emplace_back(u, v);weight.emplace_back(w);E++;}void fix_root(int r){root = r;par.resize(V);depth.resize(V);depth[r] = 0;acc_weight.resize(V);acc_weight[r] = 0;stsz.assign(V, 1);_fix_root_dfs(root, INVALID, INVALID);}vector<vector<int>> doubling;void doubling_precalc(){doubling.assign(lgV, vector<int>(V));doubling[0] = par;for (int d = 0; d < lgV - 1; d++) for (int i = 0; i < V; i++){if (doubling[d][i] == INVALID) doubling[d + 1][i] = INVALID;else doubling[d + 1][i] = doubling[d][doubling[d][i]];}}int kth_parent(int x, int k){if (depth[x] < k) return INVALID;for (int d = 0; d < lgV; d++){if (x == INVALID) return INVALID;if (k & (1 << d)) x = doubling[d][x];}return x;}int lowest_common_ancestor(int u, int v){if (depth[u] > depth[v]) swap(u, v);v = kth_parent(v, depth[v] - depth[u]);if (u == v) return u;for (int d = lgV - 1; d >= 0; d--){if (doubling[d][u] != doubling[d][v]) u = doubling[d][u], v = doubling[d][v];}return par[u];}T path_length(int u, int v){// Not distance, but the sum of weightsint r = lowest_common_ancestor(u, v);return (acc_weight[u] - acc_weight[r]) + (acc_weight[v] - acc_weight[r]);}};int main(){int N;cin >> N;UndirectedWeightedTree tree(N);REP(_, N - 1){int u, v;cin >> u >> v;u--, v--;tree.add_edge(u, v, 1);}tree.fix_root(0);dbg(tree.stsz);REP(i, N){lint ret = 1LL * tree.stsz[i] * tree.stsz[i];for (auto [j, _] : tree.adj[i]){if (tree.depth[j] > tree.depth[i]){ret -= 1LL * tree.stsz[j] * tree.stsz[j];}}cout << ret << '\n';}}