#include using namespace std; using lint = long long; using pint = pair; using plint = pair; 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##_begin_;i--) #define REP(i, n) FOR(i,0,n) #define IREP(i, n) IFOR(i,0,n) template void ndarray(vector &vec, int len) { vec.resize(len); } template void ndarray(vector &vec, int len, Args... args) { vec.resize(len); for (auto &v : vec) ndarray(v, args...); } template void ndfill(V &x, const T &val) { x = val; } template void ndfill(vector &vec, const T &val) { for (auto &v : vec) ndfill(v, val); } template bool chmax(T &m, const T q) { if (m < q) {m = q; return true;} else return false; } template bool chmin(T &m, const T q) { if (m > q) {m = q; return true;} else return false; } template pair operator+(const pair &l, const pair &r) { return make_pair(l.first + r.first, l.second + r.second); } template pair operator-(const pair &l, const pair &r) { return make_pair(l.first - r.first, l.second - r.second); } template vector srtunq(vector vec) { sort(vec.begin(), vec.end()), vec.erase(unique(vec.begin(), vec.end()), vec.end()); return vec; } template istream &operator>>(istream &is, vector &vec) { for (auto &v : vec) is >> v; return is; } template ostream &operator<<(ostream &os, const vector &vec) { os << '['; for (auto v : vec) os << v << ','; os << ']'; return os; } #if __cplusplus >= 201703L template istream &operator>>(istream &is, tuple &tpl) { std::apply([&is](auto &&... args) { ((is >> args), ...);}, tpl); return is; } template ostream &operator<<(ostream &os, const tuple &tpl) { std::apply([&os](auto &&... args) { ((os << args << ','), ...);}, tpl); return os; } #endif template ostream &operator<<(ostream &os, const deque &vec) { os << "deq["; for (auto v : vec) os << v << ','; os << ']'; return os; } template ostream &operator<<(ostream &os, const set &vec) { os << '{'; for (auto v : vec) os << v << ','; os << '}'; return os; } template ostream &operator<<(ostream &os, const unordered_set &vec) { os << '{'; for (auto v : vec) os << v << ','; os << '}'; return os; } template ostream &operator<<(ostream &os, const multiset &vec) { os << '{'; for (auto v : vec) os << v << ','; os << '}'; return os; } template ostream &operator<<(ostream &os, const unordered_multiset &vec) { os << '{'; for (auto v : vec) os << v << ','; os << '}'; return os; } template ostream &operator<<(ostream &os, const pair &pa) { os << '(' << pa.first << ',' << pa.second << ')'; return os; } template ostream &operator<<(ostream &os, const map &mp) { os << '{'; for (auto v : mp) os << v.first << "=>" << v.second << ','; os << '}'; return os; } template ostream &operator<<(ostream &os, const unordered_map &mp) { os << '{'; for (auto v : mp) os << v.first << "=>" << v.second << ','; os << '}'; return os; } #ifdef HITONANODE_LOCAL #define dbg(x) cerr << #x << " = " << (x) << " (L" << __LINE__ << ") " << __FILE__ << endl #else #define dbg(x) #endif struct Empty { }; using VAL = pair>; using LAZY = Empty; constexpr LAZY lazy_0 = {}; struct LinkCutTree { struct Node { Node *l, *r, *p; VAL key; LAZY lazy; bool is_reversed; uint32_t sz; Node(VAL val) : l(nullptr), r(nullptr), p(nullptr), key(val), lazy(lazy_0), is_reversed(false), sz(1) {} bool is_root() const { return !p || (p->l != this and p->r != this); } friend ostream &operator<<(ostream &os, const Node &n) { os << "["; if (n.l) os << *(n.l) << ","; os << n.key << ","; if (n.r) os << *(n.r); os << "]"; return os; } }; inline Node *_revise_val(Node *t) { if (t) { t->sz = 1; t->key.second = make_pair(t->key.first, 0); // t->key.second = t->key.first; if (t->l) { t->sz += t->l->sz; t->key.second.first += t->l->key.second.first; t->key.second.second += t->l->key.second.first + t->l->key.second.second; // t->key.second += t->l->key.second; } if (t->r) { t->sz += t->r->sz; t->key.second.first += t->r->key.second.first; t->key.second.second += t->r->key.second.first + t->r->key.second.second; // t->key.second += t->r->key.second; } } return t; } inline void _propagate_lazy(LAZY &a, LAZY b) // 遅延評価伝播 { // a += b; } inline void _reflect_lazy(Node *a, LAZY b) // 遅延評価反映 { // a->key.first += b; // a->key.second += a->sz * b; // a->key += b; } inline void _toggle(Node *t) { swap(t->l, t->r); /* key/lazy modification here */ t->is_reversed ^= true; } inline void _resolve_lazy(Node *&t) // 対象の遅延評価を解決 { if (t->is_reversed) { if (t->l) _toggle(t->l); if (t->r) _toggle(t->r); t->is_reversed = false; } } void _rot_r(Node *t) { Node *x = t->p, *y = x->p; if ((x->l = t->r)) t->r->p = x; t->r = x, x->p = t; _revise_val(x), _revise_val(t); if ((t->p = y)) { if (y->l == x) y->l = t; if (y->r == x) y->r = t; _revise_val(y); } } void _rot_l(Node *t) { Node *x = t->p, *y = x->p; if ((x->r = t->l)) t->l->p = x; t->l = x, x->p = t; _revise_val(x), _revise_val(t); if ((t->p = y)) { if (y->l == x) y->l = t; if (y->r == x) y->r = t; _revise_val(y); } } void _splay(Node *t) { _resolve_lazy(t); while (!t->is_root()) { Node *q = t->p; if (q->is_root()) { _resolve_lazy(q), _resolve_lazy(t); if (q->l == t) _rot_r(t); else _rot_l(t); } else { Node *r = q->p; _resolve_lazy(r), _resolve_lazy(q), _resolve_lazy(t); if (r->l == q) { if (q->l == t) _rot_r(q), _rot_r(t); else _rot_l(t), _rot_r(t); } else { if (q->r == t) _rot_l(q), _rot_l(t); else _rot_r(t), _rot_l(t); } } } } Node *make_node(VAL val) { return new Node(val); } Node *expose(Node *t) { Node *rp = nullptr; for (Node *cur = t; cur; cur = cur->p) { _splay(cur); cur->r = rp; _revise_val(cur); rp = cur; } _splay(t); return rp; } void link(Node *chi, Node *par) { expose(chi); expose(par); chi->p = par; par->r = chi; _revise_val(par); } void cut(Node *chi) { expose(chi); Node *par = chi->l; chi->l = nullptr; _revise_val(chi); par->p = nullptr; } void evert(Node *t) { expose(t); _toggle(t); _resolve_lazy(t); } Node *lca(Node *u, Node *v) { expose(u); return expose(v); } void add_lazy(Node *t, const LAZY &x) { expose(t); _propagate_lazy(t->lazy, x); _resolve_lazy(t); } }; vector depth, depthinv; vector vs, vsinv; vector> to; void dfs_lca(int now, int prv, int d) { depth[now] = d; vs[now] = vsinv.size(); vsinv.emplace_back(now); depthinv.emplace_back(d); for (auto nxt : to[now]) if (nxt != prv) { dfs_lca(nxt, now, d + 1); vsinv.emplace_back(now); depthinv.emplace_back(d); } } // Static sequence sparse table // Complexity: O(NlogN) for precalculation, O(1) per query template struct SparseTable { int N, lgN; T defaultT; std::vector> data; std::vector lgx_table; SparseTable(const std::vector &sequence, T defaultT) : N(sequence.size()), defaultT(defaultT) { lgx_table.resize(N + 1); for (int i = 2; i < N + 1; i++) lgx_table[i] = lgx_table[i >> 1] + 1; lgN = lgx_table[N] + 1; data.assign(lgN, std::vector(N, defaultT)); data[0] = sequence; for (int d = 1; d < lgN; d++) { for (int i = 0; i + (1 << d) <= N; i++) { data[d][i] = min(data[d - 1][i], data[d - 1][i + (1 << (d - 1))]); } } } T get(int l, int r) { // [l, r), 0-indexed assert(l >= 0 and r <= N); if (l >= r) swap(l, r); int d = lgx_table[r - l]; return min(data[d][l], data[d][r - (1 << d)]); } }; int main() { int N, K, Q; cin >> N >> K >> Q; vector C(K); cin >> C; for (auto &a : C) a--; vector cnt(N); for (auto a : C) cnt[a]++; to.resize(N); REP(_, N - 1) { int a, b; cin >> a >> b; a--, b--; to[a].emplace_back(b); to[b].emplace_back(a); } depth.assign(N, 0); depthinv.clear(); vs.assign(N, -1); vsinv.clear(); dfs_lca(0, -1, 0); dbg(depth); dbg(depthinv); dbg(vsinv); SparseTable rmq(depthinv, 1e9); vector upd_info; auto distance = [&](int i, int j) { if (i == j) return 0; i = vsinv[i]; j = vsinv[j]; return depthinv[i] + depthinv[j] - depthinv[rmq.get(i, j + 1)] * 2; }; vector tot(N), totch(N); vector ch(N); auto dfs2 = [&](auto &&dfs2, int now, int prv) -> void { for (auto nxt : to[now]) if (nxt != prv) { dfs2(dfs2, nxt, now); ch[now] += ch[nxt]; totch[now] += totch[nxt] + ch[nxt]; } }; auto dfs3 = [&](auto &&dfs3, int now, int prv) -> void { tot[now] = totch[now]; if (prv != -1) { tot[now] = tot[prv] - ch[now] + (K - ch[now]); } for (auto nxt : to[now]) if (nxt != prv) { dfs3(dfs3, nxt, now); } }; auto refresh = [&]() { totch.assign(N, 0); tot.assign(N, 0); ch = cnt; dfs2(dfs2, 0, -1); dfs3(dfs3, 0, -1); }; refresh(); REP(t, Q) { int q; cin >> q; if (q == 1) { int p, d; cin >> p >> d; p--, d--; cnt[C[p]]--; upd_info.emplace_back(C[p], -1); C[p] = d; cnt[C[p]]++; upd_info.emplace_back(C[p], 1); } if (upd_info.size() > 200) { refresh(); } if (q == 2) { int e; cin >> e; e--; lint ans = tot[e]; for (auto [i, w] : upd_info) { ans += w * distance(i, e); } cout << ans << '\n'; } } }