結果
問題 | No.1641 Tree Xor Query |
ユーザー | milanis48663220 |
提出日時 | 2021-08-06 22:50:26 |
言語 | C++17 (gcc 13.2.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 3,610 ms / 5,000 ms |
コード長 | 3,718 bytes |
コンパイル時間 | 1,506 ms |
コンパイル使用メモリ | 131,064 KB |
実行使用メモリ | 34,484 KB |
最終ジャッジ日時 | 2023-10-17 04:19:51 |
合計ジャッジ時間 | 10,632 ms |
ジャッジサーバーID (参考情報) |
judge15 / judge13 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
4,348 KB |
testcase_01 | AC | 2 ms
4,348 KB |
testcase_02 | AC | 2 ms
4,348 KB |
testcase_03 | AC | 2 ms
4,348 KB |
testcase_04 | AC | 2 ms
4,348 KB |
testcase_05 | AC | 2 ms
4,348 KB |
testcase_06 | AC | 2 ms
4,348 KB |
testcase_07 | AC | 2 ms
4,348 KB |
testcase_08 | AC | 2 ms
4,348 KB |
testcase_09 | AC | 2 ms
4,348 KB |
testcase_10 | AC | 2 ms
4,348 KB |
testcase_11 | AC | 3 ms
4,348 KB |
testcase_12 | AC | 2 ms
4,348 KB |
testcase_13 | AC | 3,595 ms
34,484 KB |
testcase_14 | AC | 3,610 ms
34,484 KB |
testcase_15 | AC | 8 ms
4,388 KB |
testcase_16 | AC | 48 ms
5,548 KB |
testcase_17 | AC | 35 ms
4,588 KB |
testcase_18 | AC | 12 ms
5,284 KB |
testcase_19 | AC | 31 ms
4,348 KB |
testcase_20 | AC | 668 ms
31,372 KB |
ソースコード
#include <iostream> #include <algorithm> #include <iomanip> #include <vector> #include <queue> #include <set> #include <map> #include <tuple> #include <cmath> #include <numeric> #include <functional> #include <cassert> #define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl; #define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl; template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } using namespace std; typedef long long ll; class Lca{ public: vector<int> depth; vector<vector<int>> parent; vector<vector<int>> G; int root; int n; const int N_LOG_MAX = 25; bool initialized = false; Lca(vector<vector<int>> g, int _root){ n = g.size(); G = g; root = _root; parent = vector<vector<int>>(N_LOG_MAX, vector<int>(n)); depth = vector<int>(n, 0); } void init(){ initialized = true; dfs(root, -1, 0); for(int i = 0; i < N_LOG_MAX-1; i++){ for(int v = 0; v < n; v++){ if(parent[i][v] < 0) parent[i+1][v] = -1; else parent[i+1][v] = parent[i][parent[i][v]]; } } } int lca(int u, int v){ assert(initialized); if(depth[u] > depth[v]) swap(u, v); for(int i = 0; i < N_LOG_MAX; i++){ if((depth[v] - depth[u]) >> i & 1){ v = parent[i][v]; } } if(u == v) return u; for(int i = N_LOG_MAX-1; i >= 0; i--){ if(parent[i][u] != parent[i][v]) { u = parent[i][u]; v = parent[i][v]; } } return parent[0][u]; } int dist(int u, int v){ int l = lca(u, v); return depth[u]+depth[v]-2*depth[l]; } private: void dfs(int v, int p, int d){ parent[0][v] = p; depth[v] = d; for(int i = 0; i < G[v].size(); i++){ if(G[v][i] != p) dfs(G[v][i], v, d+1); } } }; int n; bool used[100000]; vector<vector<int>> g; int c[100000]; int ans[100000]; void clear(){ for(int i = 0; i < n; i++) used[i] = false; } void dfs(int v){ used[v] = true; ans[v] = c[v]; for(int to: g[v]){ if(!used[to]){ dfs(to); ans[v] ^= ans[to]; } } } int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << setprecision(10) << fixed; int q; cin >> n >> q; g.resize(n); for(int i = 0; i < n; i++) cin >> c[i]; for(int i = 0; i < n-1; i++){ int a, b; cin >> a >> b; a--; b--; g[a].push_back(b); g[b].push_back(a); } Lca lca(g, 0); lca.init(); int sq = 300; auto is_child = [&](int u, int v){ if(lca.depth[u] > lca.depth[v]) return false; return lca.dist(u, v) == lca.depth[v] - lca.depth[u]; }; vector<int> t(q), x(q), y(q); int pre = 0; for(int i = 0; i < q; i++){ if(i%sq == 0){ pre = i; dfs(0); clear(); } cin >> t[i] >> x[i] >> y[i]; x[i]--; if(t[i] == 1){ c[x[i]] ^= y[i]; }else{ int a = ans[x[i]]; for(int j = pre; j < i; j++){ if(is_child(x[i], x[j])) a ^= y[j]; } cout << a << endl; } } }