bzoj 3064: Tyvj 1518 CPU监控 线段树维护历史最大值

题意

有一个序列A，要求资瓷以下操作：
Q X Y:询问[X,Y]的最大值
A X Y:询问[X,Y]的历史最大值
P X Y Z:把[X,Y]每个元素增加Z
C X Y Z:把[X,Y]每个元素变为Z
n,m<=100000

分析

维护最大值就十分的容易，问题在于如何维护历史最大值。
为了维护历史最大值，我们需要多维护两个值：历史加标记最大值和历史覆盖标记最大值。
儿子历史最大：儿子历史最大，当前点历史覆盖最大，当前点历史加最大+儿子当前最大
儿子历史加最大：儿子历史加最大，当前点加最大+儿子当前加
儿子历史覆盖最大：儿子历史覆盖最大，当前点覆盖最大，儿子当前覆盖+当前点历史加最大
注意这里的历史加标记和历史覆盖标记是有顺序的，应先下传历史加标记再下传历史覆盖标记。

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;

const int N=100005;
const int inf=2147483647;

int n,m,a[N];
struct tree{int mx,mx1,cov,cov1,add,add1;}t[N*5];

int read()
{
    int x=0,f=1;char ch=getchar();
    while (ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while (ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
    return x*f;
}

void updata(int d)
{
    t[d].mx=max(t[d*2].mx,t[d*2+1].mx);
    t[d].mx1=max(t[d*2].mx1,t[d*2+1].mx1);
}

void push_add(int d,int w)
{
    if (t[d].cov>-inf) t[d].cov+=w,t[d].cov1=max(t[d].cov1,t[d].cov);
    else t[d].add+=w,t[d].add1=max(t[d].add1,t[d].add);
    t[d].mx+=w;t[d].mx1=max(t[d].mx1,t[d].mx);
}

void push_cov(int d,int w)
{
    t[d].add=0;t[d].cov=t[d].mx=w;
    t[d].cov1=max(t[d].cov1,t[d].cov);
    t[d].mx1=max(t[d].mx1,t[d].mx);
}

void pushdown(int d,int l,int r)
{
    if (l==r) return;

    t[d*2].mx1=max(t[d*2].mx1,max(t[d].cov1,t[d*2].mx+t[d].add1));
    t[d*2+1].mx1=max(t[d*2+1].mx1,max(t[d].cov1,t[d*2+1].mx+t[d].add1));

    int x=d*2;
    if (t[x].cov>-inf) t[x].cov1=max(t[x].cov1,t[x].cov+t[d].add1);
    else t[x].add1=max(t[x].add1,t[x].add+t[d].add1);
    x=d*2+1;
    if (t[x].cov>-inf) t[x].cov1=max(t[x].cov1,t[x].cov+t[d].add1);
    else t[x].add1=max(t[x].add1,t[x].add+t[d].add1);

    t[d*2].cov1=max(t[d*2].cov1,t[d].cov1);
    t[d*2+1].cov1=max(t[d*2+1].cov1,t[d].cov1);

    if (t[d].add) push_add(d*2,t[d].add),push_add(d*2+1,t[d].add),t[d].add=0;

    if (t[d].cov>-inf) push_cov(d*2,t[d].cov),push_cov(d*2+1,t[d].cov),t[d].cov=-inf;

    t[d].add1=0;t[d].cov1=-inf;
}

void build(int d,int l,int r)
{
    t[d].cov=t[d].cov1=-inf;
    if (l==r)
    {
        t[d].mx=t[d].mx1=a[l];
        return;
    }
    int mid=(l+r)/2;
    build(d*2,l,mid);build(d*2+1,mid+1,r);
    updata(d);
}

int query(int d,int l,int r,int x,int y,int z)
{
    if (x>y) return -inf;
    pushdown(d,l,r);
    if (l==x&&r==y) return !z?t[d].mx:t[d].mx1;
    int mid=(l+r)/2;
    return max(query(d*2,l,mid,x,min(y,mid),z),query(d*2+1,mid+1,r,max(x,mid+1),y,z));
}

void ins(int d,int l,int r,int x,int y,int z,int op)
{
    if (x>y) return;
    pushdown(d,l,r);
    if (l==x&&r==y)
    {
        if (!op) push_add(d,z);
        else push_cov(d,z);
        return;
    }
    int mid=(l+r)/2;
    ins(d*2,l,mid,x,min(y,mid),z,op);
    ins(d*2+1,mid+1,r,max(x,mid+1),y,z,op);
    updata(d);
}

int main()
{
    n=read();
    for (int i=1;i<=n;i++) a[i]=read();
    build(1,1,n);
    m=read();
    while (m--)
    {
        char ch[2];
        scanf("%s",ch);
        if (ch[0]=='Q'||ch[0]=='A')
        {
            int l=read(),r=read();
            printf("%d\n",query(1,1,n,l,r,ch[0]=='Q'?0:1));
        }
        else
        {
            int l=read(),r=read(),w=read();
            if (ch[0]=='P') ins(1,1,n,l,r,w,0);
            else ins(1,1,n,l,r,w,1);
        }
    }
    return 0;
}