【splay】BZOJ 1251 序列终结者

BZOJ 1251 序列终结者

---

Description

网上有许多题，就是给定一个序列，要你支持几种操作：A、B、C、D。一看另一道题，又是一个序列 要支持几种操作：D、C、B、A。尤其是我们这里的某人，出模拟试题，居然还出了一道这样的，真是没技术含量……这样 我也出一道题，我出这一道的目的是为了让大家以后做这种题目有一个“库”可以依靠，没有什么其他的意思。这道题目 就叫序列终结者吧。 【问题描述】 给定一个长度为N的序列，每个序列的元素是一个整数（废话）。要支持以下三种操作： 1. 将[L,R]这个区间内的所有数加上V。 2. 将[L,R]这个区间翻转，比如1 2 3 4变成4 3 2 1。 3. 求[L,R]这个区间中的最大值。 最开始所有元素都是0。

---

Input

第一行两个整数N，M。M为操作个数。 以下M行，每行最多四个整数，依次为K，L，R，V。K表示是第几种操作，如果不是第1种操作则K后面只有两个数。

---

Output

对于每个第3种操作，给出正确的回答。

---

Sample Input

4 4
1 1 3 2
1 2 4 -1
2 1 3
3 2 4

---

Sample Output

2

---

HINT

N<=50000,M<=100000.

---

solution

基本和3223差不多

多了个mx维护区间最大值,更新在update而不是pushdown里。

还多了个tag区间加法,更新在pushdown里。

没有左右子树不要更新。。

#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>

using namespace std;

#define maxn 50001

int n,m,size,root;

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

struct splay{
    int l,r,size,v,mx,fa,tag;
    bool rev;
}t[maxn];

void Pushdown(int k)
{
    if(t[k].tag)
    {
        if(t[k].l)t[t[k].l].tag+=t[k].tag,t[t[k].l].v+=t[k].tag,t[t[k].l].mx+=t[k].tag;
        if(t[k].r)t[t[k].r].tag+=t[k].tag,t[t[k].r].v+=t[k].tag,t[t[k].r].mx+=t[k].tag;
        t[k].tag=0;
    }
}

void update(int k)
{
    t[k].size=t[t[k].l].size+t[t[k].r].size+1;
    t[k].mx=max(t[t[k].l].mx,t[t[k].r].mx);
    t[k].mx=max(t[k].mx,t[k].v);
}

void pushdown(int k)
{
    if(t[k].rev)
    {
        t[k].rev=0;
        t[t[k].l].rev^=1;
        t[t[k].r].rev^=1;
        swap(t[k].l,t[k].r);
    }
}

void raxe(int x,int &k)
{
    int y,z;
    y=t[x].fa,z=t[y].fa;
    if(y==k)k=x;
    else {if(t[z].l==y)t[z].l=x;else t[z].r=x;}
    t[x].fa=z,t[y].fa=x,t[t[x].r].fa=y;
    t[y].l=t[x].r;t[x].r=y;
    update(y),update(x);
}

void laxe(int x,int &k)
{
    int y,z;
    y=t[x].fa,z=t[y].fa;
    if(y==k)k=x;
    else {if(t[z].l==y)t[z].l=x;else t[z].r=x;}
    t[x].fa=z,t[y].fa=x,t[t[x].l].fa=y;
    t[y].r=t[x].l;t[x].l=y;
    update(y),update(x);
}

void splay(int x,int &k)
{
    int y,z;
    while(x!=k)
    {
        y=t[x].fa;
        z=t[y].fa;
        if(y!=k)
        {
            if(t[y].l==x&&t[z].l==y)raxe(y,k);
            else if(t[y].r==x&&t[z].r==y)laxe(y,k);
            else if(t[y].r==x&&t[z].l==y)laxe(x,k);
            else if(t[y].l==x&&t[z].r==y)raxe(x,k);
        }
        if(t[t[x].fa].l==x)raxe(x,k);
        else laxe(x,k);
    }
}

void build(int l,int r,int f)
{
    if(r<l)return;
    if(l==r)
    {
        t[l].fa=f;
        t[l].size=1;
        if(f>r)t[f].l=r;
        else t[f].r=r;
        return;
    }
    int mid=(l+r)>>1;
    build(l,mid-1,mid);build(mid+1,r,mid);
    update(mid);t[mid].fa=f;
    if(mid<f)t[f].l=mid;
    else t[f].r=mid;
}

int find(int k,int x)
{
    pushdown(k);
    Pushdown(k);
    if(t[t[k].l].size>=x)return find(t[k].l,x);
    else if(x>t[t[k].l].size+1)return find(t[k].r,x-t[t[k].l].size-1);
    else return k;
}

int main()
{
    t[0].mx=-9999999;
    //freopen("1251.in","r",stdin);
    n=in();m=in();
    size=n+2;
    build(1,size,0);
    root=(size+1)>>1;
    for(int i=1;i<=m;i++)
    {
        int doing=in(),x,y,z;
        if(doing==1)
        {
            x=in(),y=in(),z=in();
            int ans1=find(root,x),ans2=find(root,y+2);
            splay(ans1,root);splay(ans2,t[root].r);
            t[t[t[root].r].l].tag+=z;
            t[t[t[root].r].l].v+=z;
            t[t[t[root].r].l].mx+=z;
        }
        else if(doing==2)
        {
            x=in();y=in();
            int ans1=find(root,x),ans2=find(root,y+2);
            splay(ans1,root);splay(ans2,t[root].r);
            t[t[t[root].r].l].rev^=1;
        }
        else if(doing==3)
        {
            x=in();
            y=in();
            int ans1=find(root,x),ans2=find(root,y+2);
            splay(ans1,root);splay(ans2,t[root].r);
            printf("%d\n",t[t[t[root].r].l].mx);
        }
    }
}