解题：洛谷4314 CPU监控

题面

线段树·二重标记(什么鬼

用(a,b)标记表示先执行+a操作，然后对b取max，维护历史/当前最大值和历史/当前标记。然后我们发现区间加$x$就是$(x,-inf)$，区间赋$x$就是$(-inf,x)$。标记有两种更新，一种是和当前的标记合并，一种是更新历史标记。

把一个标记tag合并进当前标记ntag，显然新标记即

$(ntag.a+tag.a,max(ntag.b+tag.a,tag.b))$

把历史标记htag用一个标记tag更新更简单，其实就是对应取max

那么就可以做了：修改标记即先把当前标记和要加的标记合并，然后更新历史标记；修改最大值将当前最大值按标记意思改，然后历史最大值和当前最大值取max。下放标记类似

 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 using namespace std;
 const int N=,inf=0x3f3f3f3f;
 struct a
 {
     int ad,mx;
     void init()
     {
         ad=,mx=-inf;
     }
 }hist[*N],nowt[*N];
 a operator + (a x,a y)
 {
     return (a){max(-inf,x.ad+y.ad),max(x.mx+y.ad,y.mx)};
 }
 a operator ^ (a x,a y)
 {
     return (a){max(x.ad,y.ad),max(x.mx,y.mx)};
 }
 int seq[N],hmax[*N],nmax[*N];
 int n,m,t1,t2,t3; char str[];
 void Pushup(int nde)
 {
     int ls=*nde,rs=*nde+;
     hmax[nde]=max(hmax[ls],hmax[rs]);
     nmax[nde]=max(nmax[ls],nmax[rs]);
 }
 void Apply(int nde,int tsk)
 {
     hist[nde]=hist[nde]^(nowt[nde]+hist[tsk]); nowt[nde]=nowt[nde]+nowt[tsk];
     hmax[nde]=max(hmax[nde],max(nmax[nde]+hist[tsk].ad,hist[tsk].mx));
     nmax[nde]=max(nmax[nde]+nowt[tsk].ad,nowt[tsk].mx);
 }
 void Release(int nde)
 {
     int ls=*nde,rs=*nde+;
     Apply(ls,nde),Apply(rs,nde);
     hist[nde].init(),nowt[nde].init();
 }
 void Create(int nde,int l,int r)
 {
     hist[nde].init(),nowt[nde].init();
     if(l==r)
         hmax[nde]=nmax[nde]=seq[l];
     else
     {
         int mid=(l+r)/,ls=*nde,rs=*nde+;
         Create(ls,l,mid),Create(rs,mid+,r);
         Pushup(nde);
     }
 }
 void Change(int nde,int l,int r,int nl,int nr,a tsk)
 {
     if(l>nr||r<nl)
         return ;
     else if(l>=nl&&r<=nr)
     {
         hist[nde]=hist[nde]^(nowt[nde]+tsk); nowt[nde]=nowt[nde]+tsk;
         hmax[nde]=max(hmax[nde],max(nmax[nde]+tsk.ad,tsk.mx));
         nmax[nde]=max(nmax[nde]+tsk.ad,tsk.mx);
     }
     else
     {
         int mid=(l+r)/,ls=*nde,rs=*nde+; Release(nde);
         Change(ls,l,mid,nl,nr,tsk),Change(rs,mid+,r,nl,nr,tsk);
         Pushup(nde);
     }
 }
 int Query(int nde,int l,int r,int nl,int nr,int typ)
 {
     if(l>nr||r<nl)
         return -inf;
     else if(l>=nl&&r<=nr)
         return typ?nmax[nde]:hmax[nde];
     else
     {
         int mid=(l+r)/,ls=*nde,rs=*nde+; Release(nde);
         return max(Query(ls,l,mid,nl,nr,typ),Query(rs,mid+,r,nl,nr,typ));
     }
 }
 int main()
 {
     scanf("%d",&n);
     for(int i=;i<=n;i++)
         scanf("%d",&seq[i]);
     Create(,,n),scanf("%d",&m);
     for(int i=;i<=m;i++)
     {
         scanf("%s%d%d",str,&t1,&t2);
         if(str[]=='Q') printf("%d\n",Query(,,n,t1,t2,));
         else if(str[]=='A') printf("%d\n",Query(,,n,t1,t2,));
         else if(str[]=='P') scanf("%d",&t3),Change(,,n,t1,t2,(a){t3,-inf});
         else if(str[]=='C') scanf("%d",&t3),Change(,,n,t1,t2,(a){-inf,t3});
     }
     return ;
 }