小白逛公园加强版（vijos1620）

小白逛森林公园

Description

　　小新经常陪小白去公园玩，也就是所谓的遛狗啦……在小新家附近有n个公园，这些公园通过一些路径相连，并保证每两个公园之间有且仅有一条通路相连（也就是说这是一棵树），小白早就看花了眼，自己也不清楚该去哪些公园玩了。 
　　小白对每个公园都有一个评价（可正可负），并且它只会让小新做两件事：
　　1. 询问公园a到公园b路径上最大连续公园的评价和，就是说我们把公园a到公园b路径上的公园（包括a和b）排成一条直线，那么小白希望知道一段连续的公园的评价和最大为多少。
　　2. 修改公园a到公园b路径上（包括a和b）每个公园的评价值。
　　小新现在已经处理不了n超过10的情况，因此请你来帮忙……

Input

第一行有一个自然数，表示n
第二行有n个自然数，表示一开始小白对每个公园的评价（评价值的绝对值不超过10000）
下面有n-1行，每行两个数a和b，表示公园a和公园b直接由道路相连
再下面一行有一个自然数，表示m
最后m行，每行第一个数k表示要执行的操作。如果k为1，那么后面有两个自然数a和b，表示询问公园a到公园b路径上（包含a和b）最大的连续公园评价和（如果这条路径上每个公园的评价都为负数，那么最大连续和为0）。如果k为2，那么后面有三个自然数a、b和c，表示把公园a到公园b路径上所有的公园（包括a和b）的评价都修改为c。（c的绝对值不超过10000）

Output

　　对于每次询问，输出最大连续和。

Sample Input

5

-3 -2 1 2 3

1 2

2 3

1 4

4 5

3

1 2 5

2 3 4 2

1 2 5

Sample Output

5 9

Hint

　　对于30%的数据：n,m <= 100
　　对于70%的数据：n,m <= 50000
　　对于100%的数据：n,m <= 100000

Solution

做了线性公园（普通版）之后就来做一下。。。
什么都没想，直接上了最无脑的LCT。。。
对于每一个询问，MakeRoot之后Access，在当前Splay根节点的maxx就是答案了。
我们在更新打标记的时候，要在原有的树上打。。。（不能一直找左儿子）。。。
估计多数人都是写的树剖。
标记的维护见其他人的维护数列（太懒了）

CODE

#include<iostream>#include<cstring>#include<cstdio>using namespace std;inline int read(){char c;int rec=0,f=1;while((c=getchar())<'0'||c>'9')if(c=='-')f=-1;while(c>='0'&&c<='9')rec=rec*10+c-'0',c=getchar();return rec*f;}int n,m;struct LCT_Tree{int F,s[2],val,size;int sum,maxx,pmax[2];int C,R;inline void NewNode(int fa,int x){F=fa;C=R=0;size=1;val=sum=maxx=pmax[0]=pmax[1]=x;return ;}}tree[100005];inline bool Isroot(int v){return tree[tree[v].F].s[0]!=v&&tree[tree[v].F].s[1]!=v;}inline void PMAX(int v,int f){tree[v].pmax[f]=max(tree[tree[v].s[f]].pmax[f],                tree[tree[v].s[f]].sum+tree[v].val+max(0,tree[tree[v].s[!f]].pmax[f]));}inline void Up(int v){tree[v].size=tree[tree[v].s[0]].size+1+tree[tree[v].s[1]].size;tree[v].sum=tree[tree[v].s[0]].sum+tree[v].val+tree[tree[v].s[1]].sum;tree[v].maxx=max(max(tree[tree[v].s[0]].maxx,tree[tree[v].s[1]].maxx),        max(0,tree[tree[v].s[0]].pmax[1])+tree[v].val+max(0,tree[tree[v].s[1]].pmax[0]));PMAX(v,0);PMAX(v,1);return ;}inline void Same(int v,int x){if(v==0)return ;tree[v].C=1;tree[v].val=x;tree[v].sum=x*tree[v].size;tree[v].maxx=tree[v].pmax[0]=tree[v].pmax[1]=max(x,tree[v].sum);return ;}inline void Rev(int v){if(v==0)return ;tree[v].R^=1;swap(tree[v].s[0],tree[v].s[1]);swap(tree[v].pmax[0],tree[v].pmax[1]);return ;}inline void Down(int v){if(tree[v].C){Same(tree[v].s[0],tree[v].val);Same(tree[v].s[1],tree[v].val);tree[v].C=0;}if(tree[v].R){Rev(tree[v].s[0]);Rev(tree[v].s[1]);tree[v].R=0;}return ;}inline void Lazy(int v){if(!Isroot(v))Lazy(tree[v].F);Down(v);return ;}inline void Rot(int v){    int p=tree[v].F,g=tree[p].F;    int t1=v==tree[p].s[1],t2=p==tree[g].s[1];    int ch=tree[v].s[1^t1];    if(!Isroot(p))tree[g].s[t2]=v;tree[ch].F=p;    tree[v].F=g;tree[v].s[1^t1]=p;    tree[p].F=v;tree[p].s[t1]=ch;    Up(p);return;}inline void Splay(int v){Lazy(v);     while(!Isroot(v)){        int p=tree[v].F,g=tree[p].F;        if(!Isroot(p))(v==tree[p].s[1])^(p==tree[g].s[0])?Rot(v):Rot(p);        Rot(v);     }Up(v);return;}inline void Access(int v){for(int temp=0;v;temp=v,v=tree[v].F){Splay(v);tree[v].s[1]=temp;Up(v);}return ;}inline void Make_Root(int v){Access(v);Splay(v);Rev(v);return ;}inline void Link(int v1,int v2){Make_Root(v1);tree[v1].F=v2;return ;}inline int Find_Root(int v){while(!Isroot(v))v=tree[v].F;return v;}inline void Change(int v1,int v2,int x){Make_Root(v1);Access(v2);Same(Find_Root(v2),x);return ;}inline void Ask(int v1,int v2){Make_Root(v1);Access(v2);Splay(v2);cout<<tree[v2].maxx<<' ';return ;}int main(){n=read();for(int i=1;i<=n;i++)tree[i].NewNode(0,read());for(int i=1;i<n;i++)Link(read(),read());m=read();int x,y,z;for(int i=1;i<=m;i++){int f=read();if(f==1)Ask(read(),read());else {x=read();y=read();z=read();Change(x,y,z);}}cout<<'\n';return 0;}