题目链接：http://www.lydsy.com/JudgeOnline/problem.php?id=1036
题意：一棵树，每个节点有一个权值。三种操作：（1）修改某个节点的权值；（2）输出某两个节点之间的权值之和；（3）输出某两个节点之间权值的最大值。
思路：（1）首先说明，在splay中记录一个father，表示当前节点的父节点。但是在这里，在一个树链中，father与在splay中的father的意义是一样的，也就是设v的father是u，那么u的左孩子或者右孩子必然有一个是v。但是，若v和u不在一个树链中，那么u表示v所在树链的最上面的顶点的父节点。也就是此时u的左孩子和右孩子都不是v，u和v属于两个树链；
（2）在一个树链中v的左孩子是在v上面的顶点，也就是在原树中这些点都是v的父节点以及祖宗节点；右孩子是v下面的顶点，也就是原树中v的孩子以及子孙节点。当然不管右孩子还是左孩子都是当前与v在一个树链中的；
（3）splay(x)将x旋转到x所在的树链的根，access(x)将x和root（这个root才是真正的树根）的边变为实边。在access(x)时，首先要断开x与其右孩子Xr的关联（在（4）中我们解释为什么要断开），并将Xr的father设为x，那么此时，Xr将成为一个树链的根；接着对于v的父节点u，因为要将u的右孩子变为v，所以之前u的右孩子（若有）Ur要与其断开并将Ur的father设为u，此时Ur将成为其所在树链的根；接着将u的右孩子设为v。一直向上直到root；
（4）每次计算(x,y)的最大或者和时，首先access(x)将x和root之间的边变为实边，然后access(y)此时返回值就是p=Lca(x,y)。想想为什么是这样？因为Lca(x,y)已经跟x在一个树链上了，因为我们已经access(x)了。现在从y开始向上找时，对于其father节点z，首先会splay(z)将z转到其所在树链的根节点，那么若z是Lca(x,y)，那么z必然将成为树根，也就是root，那么其father节点为null。现在我们说明白了返回值为什么是 Lca(x,y)。接着p会与x断开，因为x在p的右孩子或者右孩子以下，p的右孩子将变成y所以断开了。此时若将splay(x)，那么x就是p到x路径（不包含p）组成的树链的根，并且不会包含x以下的部分，在（3）中我们知道，x向上access时x与其右孩子已经断开。那么用x的sum以及p的val以及p的右孩子也就是y的sum就能计算出x到y的和。
1 #include<iostream> 2 #include<cstdio> 3 #include<cstring> 4 #include<cmath> 5 #include<string> 6 #include<algorithm> 7 long long w[60005],sum[60005],mx[60005]; 8 int fa[60005],ch[60005][2],st[60005]; 9 int u[200005],v[200005],n,m,rev[60005],x,y; 10 void updata(int x){ 11 int l=ch[x][0],r=ch[x][1]; 12 sum[x]=w[x]+sum[l]+sum[r]; 13 mx[x]=std::max(w[x],std::max(mx[l],mx[r])); 14 } 15 void pushdown(int x){ 16 int l=ch[x][0],r=ch[x][1]; 17 if (rev[x]){ 18 rev[x]^=1; 19 rev[l]^=1; 20 rev[r]^=1; 21 std::swap(ch[x][1],ch[x][0]); 22 } 23 } 24 bool pd(int x){ 25 return ch[fa[x]][0]!=x&&ch[fa[x]][1]!=x; 26 } 27 void rotate(int x){ 28 int y=fa[x],z=fa[y],l,r; 29 if (ch[y][0]==x) l=0;else l=1;r=l^1; 30 if (!pd(y)){ 31 if (ch[z][0]==y) ch[z][0]=x;else ch[z][1]=x; 32 } 33 fa[x]=z;fa[y]=x;fa[ch[x][r]]=y; 34 ch[y][l]=ch[x][r];ch[x][r]=y; 35 updata(y);updata(x); 36 } 37 void splay(int x){ 38 int top=0;st[++top]=x; 39 for (int i=x;!pd(i);i=fa[i]){ 40 st[++top]=fa[i]; 41 } 42 for (int i=top;i;i--) 43 pushdown(st[i]); 44 while (!pd(x)){ 45 int y=fa[x],z=fa[y]; 46 if (!pd(y)){ 47 if (ch[y][0]==x^ch[z][0]==y) rotate(x); 48 else rotate(y); 49 } 50 rotate(x); 51 } 52 } 53 void access(int x){ 54 for (int t=0;x;t=x,x=fa[x]){ 55 splay(x); 56 ch[x][1]=t; 57 updata(x); 58 } 59 } 60 void makeroot(int x){ 61 access(x);splay(x);rev[x]^=1; 62 } 63 void link(int x,int y){ 64 makeroot(x); 65 fa[x]=y; 66 } 67 int main(){ 68 scanf("%d",&n);mx[0]=-0x7fffffff; 69 for (int i=1;i<n;i++){ 70 scanf("%d%d",&u[i],&v[i]); 71 } 72 for (int i=1;i<=n;i++){ 73 scanf("%lld",&w[i]); 74 sum[i]=mx[i]=w[i]; 75 } 76 for (int i=1;i<n;i++){ 77 link(u[i],v[i]); 78 } 79 scanf("%d",&m); 80 char s[20]; 81 for (int i=1;i<=m;i++){ 82 scanf("%s%d%d",s,&x,&y); 83 if (s[1]=='H'){ 84 splay(x); 85 w[x]=y; 86 updata(x); 87 } 88 else 89 if (s[1]=='M'){ 90 makeroot(x); 91 access(y); 92 splay(y); 93 printf("%lld ",mx[y]); 94 } 95 else{ 96 makeroot(x); 97 access(y); 98 splay(y); 99 printf("%lld ",sum[y]); 100 } 101 } 102 103 }