首先不难列出DP方程：
$dp[x]=min(w[x],h[x])$
$h[x]=sum dp[son]$
当$w[x]$增加时，显然$dp[x]$不会减少，那么我们求出$dp[x]$的增量$delta$，若$delta=0$那么什么都不需要做。
对于$x$来说，它的$h$值不变。
对于$x$的父亲$y$到某个祖先$z$路径上的所有点来说，它们都满足$h[i]+deltaleq w[i]$，那么这些点的$h$值都要加上$delta$。
对于$u=father[z]$来说，这个点的$h$值也要加上$delta$，但是要重新计算DP值。
这将形成一个循环的过程，不断对$h$数组进行修正即可。
为了得到$z$，需要沿着重链往上爬，对于每条重链在线段树中二分查找。
如果一个区间内$min(w[i]-h[i])geq delta$，那么整段区间都可行。
因此在线段树上每个点维护两个值：
$val$：$min(w[i]-h[i])$
$tag$：区间内所有点$h$值要加上多少
对于叶子节点来说，$tag$实际上就是$h$值，因此不需要额外维护$h$值。
一个点要重新计算DP值，当且仅当它的孩子的总代价超过了自己本身的$w$，并且一旦超过，在下次修改这个点的$w$之前DP值将一直是$w$。
因此每个点一开始会贡献一个可能的重新计算次数，每次修改也会贡献一个。
而暴力修改的次数不会超过所有操作贡献的可能导致暴力的次数，所以暴力次数为$O(n+m)$。
总时间复杂度$O((n+m)log^2n)$。
#include<cstdio>
typedef long long ll;
const int N=200010,M=524300;
const ll inf=1LL<<60;
char op;
int n,m,i,x,y,g[N],v[N<<1],nxt[N<<1],ed;
int f[N],size[N],son[N],top[N],loc[N],q[N],dfn;
ll w[N],z,dp[N],h[N],val[M],tag[M];
inline void read(int&a){char c;while(!(((c=getchar())>='0')&&(c<='9')));a=c-'0';while(((c=getchar())>='0')&&(c<='9'))(a*=10)+=c-'0';}
inline void read(ll&a){char c;while(!(((c=getchar())>='0')&&(c<='9')));a=c-'0';while(((c=getchar())>='0')&&(c<='9'))(a*=10)+=c-'0';}
inline void add(int x,int y){v[++ed]=y;nxt[ed]=g[x];g[x]=ed;}
inline ll min(ll a,ll b){return a<b?a:b;}
void dfs(int x){
size[x]=1;
for(int i=g[x];i;i=nxt[i])if(v[i]!=f[x]){
f[v[i]]=x;
dfs(v[i]);
size[x]+=size[v[i]];
h[x]+=dp[v[i]];
if(size[v[i]]>size[son[x]])son[x]=v[i];
}
if(size[x]==1)h[x]=inf;
dp[x]=min(w[x],h[x]);
}
void dfs2(int x,int y){
q[loc[x]=++dfn]=x;top[x]=y;
if(son[x])dfs2(son[x],y);
for(int i=g[x];i;i=nxt[i])if(v[i]!=son[x]&&v[i]!=f[x])dfs2(v[i],v[i]);
}
inline void tag1(int x,ll p){val[x]-=p;tag[x]+=p;}
inline void pb(int x){if(tag[x])tag1(x<<1,tag[x]),tag1(x<<1|1,tag[x]),tag[x]=0;}
inline void up(int x){val[x]=min(val[x<<1],val[x<<1|1]);}
void build(int x,int a,int b){
if(a==b){
int y=q[a];
val[x]=w[y]-h[y];
tag[x]=h[y];
return;
}
int mid=(a+b)>>1;
build(x<<1,a,mid),build(x<<1|1,mid+1,b);
up(x);
}
ll ask(int x,int a,int b,int c){
if(a==b)return tag[x];
pb(x);
int mid=(a+b)>>1;
return c<=mid?ask(x<<1,a,mid,c):ask(x<<1|1,mid+1,b,c);
}
void changew(int x,int a,int b,int c){
if(a==b){val[x]=w[q[a]]-tag[x];return;}
pb(x);
int mid=(a+b)>>1;
if(c<=mid)changew(x<<1,a,mid,c);else changew(x<<1|1,mid+1,b,c);
up(x);
}
void changeh(int x,int a,int b,int c,int d,ll p){
if(c<=a&&b<=d){tag1(x,p);return;}
pb(x);
int mid=(a+b)>>1;
if(c<=mid)changeh(x<<1,a,mid,c,d,p);
if(d>mid)changeh(x<<1|1,mid+1,b,c,d,p);
up(x);
}
int get(int x,int a,int b,int c,int d,ll p){
if(c<=a&&b<=d){
if(val[x]>=p)return a;
if(a==b)return 0;
}
pb(x);
int mid=(a+b)>>1,t;
if(d<=mid)return get(x<<1,a,mid,c,d,p);
if(c>mid)return get(x<<1|1,mid+1,b,c,d,p);
t=get(x<<1|1,mid+1,b,c,d,p);
if(!t||t>mid+1)return t;
t=get(x<<1,a,mid,c,d,p);
return t?t:mid+1;
}
inline ll DP(int x){return min(w[x],ask(1,1,n,loc[x]));}
inline int gety(int x,ll p){
int t=x;x=f[x];
while(x){
int o=get(1,1,n,loc[top[x]],loc[x],p);
if(!o)break;
if(o>loc[top[x]])return q[o];
t=top[x];
x=f[t];
}
return t;
}
inline void chain(int x,int y,ll p){
while(top[x]!=top[y])changeh(1,1,n,loc[top[x]],loc[x],p),x=f[top[x]];
changeh(1,1,n,loc[y],loc[x],p);
}
inline void modify(int x,ll y){
ll t=DP(x);
w[x]+=y;
changew(1,1,n,loc[x]);
ll d=DP(x)-t;
if(!d)return;
while(f[x]){
int y=gety(x,d);
if(x!=y)chain(f[x],y,d);
x=f[y];
if(!x)return;
t=DP(x);
chain(x,x,d);
d=DP(x)-t;
if(!d)return;
}
}
int main(){
read(n);
for(i=1;i<=n;i++)read(w[i]);
for(i=1;i<n;i++)read(x),read(y),add(x,y),add(y,x);
dfs(1);dfs2(1,1);
build(1,1,n);
read(m);
while(m--){
while((op=getchar())!='Q'&&op!='C');read(x);
if(op=='Q')printf("%lld
",DP(x));else read(z),modify(x,z);
}
return 0;
}