线段树真是好东西...
每个线段树节点维护四个标记:$a,b,maxa,maxb$,$(a,b)$表示对子树内的所有数执行$x'=\max(x+a,b)$,$maxa,maxb$是历史最大标记,初始时$a=ma=0,b=mb=-\infty$
首先是更新标记,假如有新标记$a',b',maxa',maxb'$要加到原有标记上,因为$x'=\max(\max(x+a,b)+a',b')=\max(x+a+a',\max(b+a',b'))$,所以我们用$a+ma'$更新$ma$,用$\max(b+ma',mb')$更新$mb$,用$\max(b+a',b')$更新$b$,用$\max(a+a',-\infty)$更新$a$
操作$1$就是$(x,0,x,0)$,操作$2$就是$(-x,0,-x,0)$,操作$3$就是$(-\infty,x,-\infty,x)$(因为这里的标记是$a=ma=-\infty$,所以刚才更新$a$要和$-\infty$取$\max$防止爆$\text{long long}$),两个询问直接$\text{pushdown}$下去即可
存历史最大标记而不是历史最大值是因为有可能一个标记还未被传下去用于更新实际数值就被另一个标记覆盖了,所以要存标记的历史最大值
#include
typedef long long ll;
const ll inf=1000000000000000ll;
ll max(ll a,ll b){return a>b?a:b;}
struct seg{
ll a,b,ma,mb;
seg(ll i=0,ll j=-inf,ll k=0,ll l=-inf){a=i;b=j;ma=k;mb=l;}
void gao(seg t){
ma=max(ma,a+t.ma);
mb=max(mb,max(b+t.ma,t.mb));
b=max(b+t.a,t.b);
a=max(a+t.a,-inf);
}
}t[2000010];
void pushdown(int x){
t[x<<1].gao(t[x]);
t[x<<1|1].gao(t[x]);
t[x]=seg();
}
void modify(int L,int R,seg p,int l,int r,int x){
if(L<=l&&r<=R)return t[x].gao(p);
pushdown(x);
int mid=(l+r)>>1;
if(L<=mid)modify(L,R,p,l,mid,x<<1);
if(mid>1;
if(p<=mid)return query(p,l,mid,x<<1);
return query(p,mid+1,r,x<<1|1);
}
ll a[500010];
int main(){
int n,m,i,l,r,x;
scanf("%d%d",&n,&m);
for(i=1;i<=n;i++)scanf("%dll",a+i);
while(m--){
scanf("%d%d",&i,&l);
if(i<4)scanf("%d%d",&r,&x);
if(i==1)modify(l,r,seg(x,0,x,0),1,n,1);
if(i==2)modify(l,r,seg(-x,0,-x,0),1,n,1);
if(i==3)modify(l,r,seg(-inf,x,-inf,x),1,n,1);
if(i==4){
x=query(l,1,n,1);
printf("%lld\n",max(a[l]+t[x].a,t[x].b));
}
if(i==5){
x=query(l,1,n,1);
printf("%lld\n",max(a[l]+t[x].ma,t[x].mb));
}
}
}