/* このコード、と~おれ! Be accepted! ∧_∧  (。・ω・。)つ━☆・*。 ⊂   ノ    ・゜+.  しーJ   °。+ *´¨)          .· ´¸.·*´¨) ¸.·*¨)           (¸.·´ (¸.·'* ☆ */ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include /*多倍長整数/cpp_intで宣言 #include using namespace boost::multiprecision; */ //#pragma gcc target ("avx2") //#pragma gcc optimization ("o3") //#pragma gcc optimization ("unroll-loops") #define rep(i, n) for(int i = 0; i < (n); ++i) #define rep1(i, n) for(int i = 1; i <= (n); ++i) #define rep2(i, n) for(int i = 2; i < (n); ++i) #define repr(i, n) for(int i = n; i >= 0; --i) #define reprm(i, n) for(int i = n - 1; i >= 0; --i) #define printynl(a) printf(a ? "yes\n" : "no\n") #define printyn(a) printf(a ? "Yes\n" : "No\n") #define printYN(a) printf(a ? "YES\n" : "NO\n") #define printim(a) printf(a ? "possible\n" : "imposible\n") #define printdb(a) printf("%.50lf\n", a) //少数出力 #define printLdb(a) printf("%.50Lf\n", a) //少数出力 #define printdbd(a) printf("%.16lf\n", a) //少数出力(桁少なめ) #define prints(s) printf("%s\n", s.c_str()) //string出力 #define all(x) (x).begin(), (x).end() #define allsum(a, b, c) ((a + b) * c / 2LL) //等差数列の和、初項,末項,項数 #define pb push_back #define priq priority_queue #define rpriq priq, greater> #define deg_to_rad(deg) (((deg)/360.0L)*2.0L*PI) #define rad_to_deg(rad) (((rad)/2.0L/PI)*360.0L) #define Please return #define AC 0 #define manhattan_dist(a, b, c, d) (abs(a - c) + abs(b - d)) /*(a, b) から (c, d) のマンハッタン距離 */ using ll = long long; constexpr int INF = 1073741823; constexpr int MINF = -1073741823; constexpr ll LINF = ll(4661686018427387903); constexpr ll MOD = 1000000007; const long double PI = acosl(-1.0L); using namespace std; void scans(string& str) { char c; str = ""; scanf("%c", &c); if (c == '\n')scanf("%c", &c); while (c != '\n' && c != -1 && c != ' ') { str += c; scanf("%c", &c); } } void scanc(char& str) { char c; scanf("%c", &c); if (c == -1)return; while (c == '\n') { scanf("%c", &c); } str = c; } double acot(double x) { return PI / 2 - atan(x); } ll LSB(ll n) { return (n & (-n)); } /*-----------------------------------------ここからコード-----------------------------------------*/ //RMQ template struct sparsetable { vector> table; vector logtable; vector a; int n; // 渡す配列, サイズ sparsetable(const vector a, int siz) : n(siz), a(a) { logtable.assign(n + 1, 0); for (int i = 2; i <= n; ++i)logtable[i] = logtable[i >> 1] + 1; table.assign(n, vector(logtable[n] + 1, 0)); } //リストバージョン sparsetable(initializer_list init) { a = init[0]; n = init[1]; logtable.assign(n + 1, 0); for (int i = 2; i <= n; ++i)logtable[i] = logtable[i >> 1] + 1; table.assign(n, vector(logtable[n] + 1, 0)); } //配列と大きさを渡して初期化 void init(const vector aa, int siz) { a = aa; n = siz; logtable.assign(n + 1, 0); for (int i = 2; i <= n; ++i)logtable[i] = logtable[i >> 1] + 1; table.assign(n, vector(logtable[n] + 1, 0)); } //構築 O(n log n) void build() { for (int k = 0; (1 << k) <= n; ++k) { for (int i = 0; i + (1 << k) <= n; ++i) { if (k) table[i][k] = (a[table[i][k - 1]] < a[table[i + (1 << (k - 1))][k - 1]] ? table[i][k - 1] : table[i + (1 << (k - 1))][k - 1]); else table[i][k] = i; } } } //[l, r) の RMQ O(1) int query(int l, int r) { int k = logtable[r - l]; return (a[table[l][k]] < a[table[r - (1 << k)][k]] ? table[l][k] : table[r - (1 << k)][k]); } }; //depends on SparseTable //euler tour を行う。O(n) void eulertour(const int& now, const int& bef, int& cnt, const vector>& graph, const int& d, vector& vs, vector& depth, vector& id) { depth.emplace_back(d); vs.emplace_back(now); id[now] = min(id[now], cnt); for (const auto& aa : graph[now]) { if (aa != bef) { ++cnt; eulertour(aa, now, cnt, graph, d + 1, vs, depth, id); ++cnt; depth.emplace_back(d); vs.emplace_back(now); } } } //LCA struct LCA { vector vs, depth, id, tmp = { 0 }; vector> tree; sparsetable table{ tmp, 0 }; int n, root; //木, 大きさ, 根で初期化 LCA(vector> tree, int n, int root) : tree(tree), n(n), root(root) { id.assign(n, INF); } //構築 O(n) + O(n log n) void build() { int cnt = 0, d = 0; eulertour(root, -1, cnt, tree, d, vs, depth, id); table.init(depth, depth.size()); table.build(); } //LCA である頂点を返す O(1) int query(int l, int r) { if (id[l] > id[r])swap(l, r); return vs[table.query(id[l], id[r] + 1)]; } //頂点 n の深さを返す O(1) int depthq(int n) { return depth[id[n]]; } }; //セグ木/0-indexed/非再帰/(大きさ, 単位元)で初期化 template struct segtree { //木を配列であらわしたもの vector seg; //木の1/2の大きさ int siz; //単位元 const T e; //比較関数の型 using F = function; //マージする関数 const F f; //n の大きさ, a (単位元) で segtree を初期化する segtree(int n, const T a, const F f) : e(a), f(f) { siz = 1; while (siz < n)siz <<= 1; seg.assign(2 * siz - 1, e); --siz; } //k (0-indexed) 番目に t を代入 void set(int k, const T& t) { seg[k + siz] = t; } //f によって木を構築 void build() { for (int i = siz - 1; i >= 0; --i) seg[i] = f(seg[i * 2 + 1], seg[i * 2 + 2]); } //i 番目の要素を返す T operator[](const int i) { return seg[i + siz]; } //k 番目の値を a に更新 void update(int k, T a) { k += siz; //必要であればここを変える seg[k] = a; while (k > 0) { k = ((k - 1) >> 1); seg[k] = f(seg[k * 2 + 1], seg[k * 2 + 2]); } } //[a, b) について f した結果を返す T query(int a, int b) { T l = e, r = e; for (a += siz, b += siz; a < b; a >>= 1, b >>= 1) { if (!(a & 1)) { if (l != e)l = f(l, seg[a++]); else l = seg[a++]; } if (!(b & 1)) { if (r != e)r = f(seg[--b], r); else r = seg[--b]; } } if (l == e)l = r; else if (r == e)r = l; return f(l, r); } //[start, end) について、[l, r) を調べながら k 番目が check を満たすか二分探索 最後が true なら left, false なら right fの逆演算 template int find(const int start, const int end, int l, int r, int k, const C check, T& checknum, const bool b, const function revf) { //cerr << checknum << '\n'; //範囲外またはそこがすでに満たさないとき //cerr << k << ',' << checknum << '\n'; if (start <= l && r <= end && !check(seg[k], checknum)) { checknum = revf(checknum, seg[k]); return -1; } if ((r <= start || l >= end)) { return -1; } //既に葉 if (k >= siz) { return k - siz; } int res; if (b) { //左側を調べる res = find< C >(start, end, l, ((l + r) >> 1), (k << 1) + 1, check, checknum, b, revf); //左側が適してたらそれが答え if (res != -1)return (res); return find< C >(start, end, ((l + r) >> 1), r, (k << 1) + 2, check, checknum, b, revf); } else { //右側を調べる res = find< C >(start, end, ((l + r) >> 1), r, (k << 1) + 2, check, checknum, b, revf); //右側が適してたらそれが答え if (res != -1)return (res); return find< C >(start, end, l, ((l + r) >> 1), (k << 1) + 1, check, checknum, b, revf); } } template int find_left(int start, int end, const C check, T checknum, function revf) { return find< C >(start, end, 0, siz + 1, 0, check, checknum, true, revf); } template int find_right(int start, int end, const C check, T checknum, function revf) { return find< C >(start, end, 0, siz + 1, 0, check, checknum, false, revf); } }; void dfs(const vector>& g, const int& now, int& ans, const vector &c) { ans = max(ans, c[now]); for (const auto& aa : g[now])dfs(g, aa, ans, c); } int main() { int n, k, q; scanf("%d%d%d", &n, &k, &q); vector c(n), a(k); rep(i, n)scanf("%d", &c[i]); rep(i, k) { scanf("%d", &a[i]); --a[i]; } vector> tree(n), g(n); int e, f; rep(i, n - 1) { scanf("%d%d", &e, &f); --e; --f; tree[f].push_back(e); g[e].push_back(f); } LCA lca(tree, n, 0); lca.build(); auto fun = [&](int a, int b) {return lca.query(a, b); }; segtree seg(k, -1, fun); rep(i, k)seg.set(i, a[i]); seg.build(); int t, x, y; rep(i, q) { scanf("%d%d%d", &t, &x, &y); if (t == 1) { seg.update(--x, --y); } else { int l = seg.query(--x, y), ans = c[0]; dfs(g, l, ans, c); printf("%d\n", ans); } } Please AC; }