[CodeChef] The Street

给定两个长度为n的数列A和B，开始数组A中每一项值为0，数组B中每一项值为负无穷大。接下来有m次操作：1.数组A区间加一个等差数列；2.数组B区间对一个等差数列取max；3.询问ai+bi的值。n<=1e9，m<=3e5。

这道题做了两天。。告诉我：要随着递归函数变的变量，千万不要放在全局。。

#include <cstdio>
using namespace std;

//#bug2:LL
typedef long long LL;
const LL maxn=1e9+5, maxm=3e5+5;
const LL INF=1ll<<62;
//#bug10:INF不够大
LL n, m, op, l2s, cnt;
LL u, v, a, b, x; //注意a，b是一直不变的
LL ll, rr;
//注意值最多可以加到LL外！
struct node{
    LL b1, change1; //max
    LL a1;
    LL a2, b2; //add
    LL lc, rc;
}seg[maxm*31*2];

inline LL abs(LL x) { return x>0?x:-x; }
inline LL max(LL x, LL y) { return x>y?x:y; }

void flag(LL now, LL a1, LL b1, LL a2, LL b2);
//给孩子打上标记
void push_down(LL &now, LL l, LL r, LL a, LL b){
    //#bug4:忘记新建结点
    if (!now) now=++cnt, seg[now].a1=-INF;
    //#bug5:历史遗留问题(话说这个pushdown有点多余)
    //#bug7:b值有变化。。现在更新的b值不与下传的b值相同
    //更新的是目前uvab，下传的是这个结点的ab。(在下面修正)
    flag(now, seg[now].a1, seg[now].a1+(r-l)*seg[now].b1,
         a, a+(r-l)*b);
}
//取max，当然是标记永久化！
void flag(LL now, LL a1, LL b1, LL a2, LL b2){
    //有个新来的数列的公差b，是在外面的
    //如果a1,b1没有值，或者盖住，那就直接赋值
    //bug#6:a1没有值的时候应该是负无穷大
    if (seg[now].a1==-INF||(a1<=a2&&b1<=b2)){
        seg[now].a1=a2, seg[now].b1=b;
        seg[now].change1=1;
        return;
    }
    if (a1>a2&&b1>b2) return;
    //那么现在必定有区间内交点
    LL mid=(ll+rr)>>1;
    LL nowl, nowr;
    if (abs(a1-a2)<abs(b1-b2)){ //交点在左边
        //如果a1右半部分更小，就全部赋值(#bug7:注意下传标记！)
        if (a1>a2) {
            LL tmp=b; b=seg[now].b1;
            //它的孩子替换成自己
            //bug#9:l和r不对
            nowl=ll, nowr=rr; rr=mid;
            push_down(seg[now].lc, ll, mid, seg[now].a1, seg[now].b1);
            rr=nowr; ll=mid+1;
            push_down(seg[now].rc, mid+1, rr,
                      seg[now].a1+(mid+1-nowl)*seg[now].b1, seg[now].b1);
            ll=nowl;
            b=tmp;
            seg[now].a1=a2, seg[now].b1=b, seg[now].change1=1;
        }
        //反之，把新数列的左半边往下传(它的孩子替换成新的)
        //#bug7:忽略了等于的情况(证伪)
        if (a1<=a2) { //#bug8：b不对。就是原来的
            nowr=rr; rr=mid;
            push_down(seg[now].lc, ll, mid, a2, b);
            rr=nowr;
        }
    } else {
        //与之前相同(它的孩子替换成新的)
        if (a1>=a2) { //同bug8
            //#bug9:下面的式子还是要用原来的ll
            nowl=ll; ll=mid+1;
            push_down(seg[now].rc, mid+1, rr, a2+(mid+1-nowl)*b, b);
            ll=nowl;
        }
        //同bug7（证伪）
        if (a1<a2) {
            LL tmp=b; b=seg[now].b1;
            //它的孩子替换成自己(注意下传标记！)
            nowl=ll, nowr=rr; rr=mid;
            push_down(seg[now].lc, ll, mid, seg[now].a1, seg[now].b1);
            rr=nowr; ll=mid+1;
            push_down(seg[now].rc, mid+1, rr,
                      seg[now].a1+(mid+1-nowl)*seg[now].b1, seg[now].b1);
            ll=nowl;
            b=tmp;
            seg[now].a1=a2, seg[now].b1=b, seg[now].change1=1;
        }
    }
}
void modify1(LL &now, LL l, LL r){
    if (!now) now=++cnt, seg[now].a1=-INF; //用引用新建结点，这样空的不会被识别
    l2s=a+(l-u)*b; //l这个x坐标上的l2的值
    ll=l, rr=r;
    LL mid=(l+r)>>1;
    LL nowl, nowr;
    //如果修改过，必须再这里先push一下，不然flag的时候，可能会覆盖
    if (seg[now].change1){
        LL tmp=b; b=seg[now].b1;
        //它的孩子替换成自己
        nowl=ll, nowr=rr; rr=mid;
        push_down(seg[now].lc, l, mid, seg[now].a1, seg[now].b1);
        rr=nowr, ll=mid+1;
        push_down(seg[now].rc, mid+1, r,
                  seg[now].a1+(mid+1-nowl)*seg[now].b1, seg[now].b1);
        ll=nowl;
        b=tmp;
        //#bug3:mid+1全没加 （还是mid！！）
        seg[now].change1=0;
    }
    if (l>=u&&r<=v){
        //给出俩直线开始结束，修改下传结点。只要判断交点位置
        flag(now, seg[now].a1, seg[now].a1+(r-l)*seg[now].b1,
             l2s, l2s+(r-l)*b);
        return;
    }
    if (mid>=u) modify1(seg[now].lc, l, mid);
    if (mid<v) modify1(seg[now].rc, mid+1, r);
}
//这个。。可以差分
void modify2(LL &now, LL l, LL r){
    if (!now) now=++cnt, seg[now].a1=-INF; //这样空的不会被识别
    l2s=a+(l-u)*b;
    if (l>=u&&r<=v){
        seg[now].a2+=l2s, seg[now].b2+=b;
        return;
    }
    LL mid=(l+r)>>1;
    if (mid>=u) modify2(seg[now].lc, l, mid);
    if (mid<v) modify2(seg[now].rc, mid+1, r);
}
LL q1(LL now, LL l, LL r){ //只有当路径上全部都是-INF时，这个东西不存在
    if (!now) return -INF;
    LL mid=(l+r)>>1, v=seg[now].a1+(x-l)*seg[now].b1;
    if (mid>=x) return max(v, q1(seg[now].lc, l, mid));
    else return max(v, q1(seg[now].rc, mid+1, r));
}
LL q2(LL now, LL l, LL r){ //差分。。
    if (!now) return 0;
    LL mid=(l+r)>>1, v=seg[now].a2+(x-l)*seg[now].b2;
    if (mid>=x) return v+q2(seg[now].lc, l, mid); //bug#1，mid>x
    else return v+q2(seg[now].rc, mid+1, r);
}

int main(){
    scanf("%lld%lld", &n, &m);
    LL root=++cnt; seg[root].a1=-INF;
    for (LL i=0; i<m; ++i){
        scanf("%lld", &op);
        //这里把a看成开始，b看成公差！
        if (op<3) {
            scanf("%lld%lld%lld%lld", &u, &v, &a, &b);
            LL t=a; a=b; b=t;
        }
        if (op==1) modify1(root, 1, n);
        if (op==2) modify2(root, 1, n);
        if (op==3){
            scanf("%lld", &x);
            LL query1=q1(1, 1, n), query2=q2(1, 1, n);
            if (query1==-INF) { printf("NA
"); continue; }
            printf("%lld
", query1+query2);
        }
    }
    return 0;
}