HDU 4348 To the moon（主席树区间更新）

题意：有几个操作，区间加个数，查询区间和，查询历史区间和，时间回退到过去某个时间，不能再回来。

做法：此题有很简单的离线做法，先保存每个时间点的询问，再利用一个栈，用普通线段树即可，更新一下就把更新的区间L,R,D放进栈，碰到回退操作的时候，先把所有这个时间点的询问给算出，再通过出栈做减法。因为回到过去后不能回到将来，所以这样做是没问题的。

在线做法就是利用主席树了。区间更新的时候必须要延迟更新，所以就意味着子节点不能建完全，所以查询的时候可能还要根据标记动态建树，这样写必定爆这题的内存。查了下网上的题解，学习了一个新的做法。。

简单的来说，最开始树上的节点是保存区间和的。但是更新的时候就完全不能这样做了，因为pushdown的操作会使得节点非常之多。

我们用add数组保存这个区间整体被加了多少（这样就可以把儿子指向原来的树了），sum每次更新的时候要更新这个区间里被加了多少，要记得sum并不是左子树和右子树的和了，而是还要加上区间长度乘以add。在查询的时候，要累加add与在这个区间长度的乘积，这就要分好几个情况了，讨论下[L,R]与[l,r]的相交情况即可。

AC代码：

#pragma comment(linker, "/STACK:102400000,102400000")
#include<cstdio>
#include<ctype.h>
#include<algorithm>
#include<iostream>
#include<cstring>
#include<vector>
#include<cstdlib>
#include<stack>
#include<queue>
#include<set>
#include<map>
#include<cmath>
#include<ctime>
#include<string.h>
#include<string>
#include<sstream>
#include<bitset>
using namespace std;
#define ll __int64
#define ull unsigned long long
#define eps 1e-8
#define NMAX 1000000000
#define MOD 51123987
//#define lson l,mid,rt<<1
//#define rson mid+1,r,rt<<1|1
#define PI acos(-1)
#define ALL(x) x.begin(), x.end()
#define INS(x) inserter(x, x.end())
template<class T>
inline void scan_d(T &ret)
{
    char c;
    int flag = 0;
    ret=0;
    while(((c=getchar())<'0'||c>'9')&&c!='-');
    if(c == '-')
    {
        flag = 1;
        c = getchar();
    }
    while(c>='0'&&c<='9') ret=ret*10+(c-'0'),c=getchar();
    if(flag) ret = -ret;
}
template<class T> inline T Max(T a, T b){ return a > b ? a : b; }
template<class T> inline T Min(T a, T b){ return a < b ? a : b; }
const int maxn = 4*1000000+10;
int lson[maxn],rson[maxn],T[maxn];
ll sum[maxn],add[maxn];
int tot;
int build(int l, int r)
{
    int rt = tot++;
    add[rt] = 0;
    if(l == r)
    {
        scanf("%I64d",&sum[rt]);
//        lson[rt] = rson[rt] = 0;
        return rt;
    }
    int mid = (l+r)>>1;
    lson[rt] = build(l,mid);
    rson[rt] = build(mid+1,r);
    sum[rt] = sum[lson[rt]]+sum[rson[rt]];
    return rt;
}

void copyit(int a, int b)
{
    sum[a] = sum[b];
    add[a] = add[b];
    lson[a] = lson[b];
    rson[a] = rson[b];
}

int update(int L, int R, ll d, int l, int r, int rt)
{
    int newrt = tot++;
//    cout<<newrt<<" "<<lson[rt]<<" "<<rson[rt]<<endl;
    copyit(newrt,rt);
    if(L <= l && R >= r)
    {
        add[newrt] += d;
        sum[newrt] += (ll)(r-l+1)*d;
        return newrt;
    }
    int mid = (l+r)>>1;
    if(L <= mid) lson[newrt] = update(L,R,d,l,mid,lson[rt]);
    if(R > mid) rson[newrt] = update(L,R,d,mid+1,r,rson[rt]);
    sum[newrt] = sum[lson[newrt]]+sum[rson[newrt]]+(ll)(r-l+1)*add[newrt];
    return newrt;
}

ll query(int L, int R, int l, int r, int rt)
{
    if(L <= l && R >= r) return sum[rt];
    ll ret = 0;
    if(l <= L)
    {
        if(r >= R) ret += (ll)(R-L+1)*add[rt];
        else ret += (ll)(r-L+1)*add[rt];
    }
    else ret += (ll)(R-l+1)*add[rt];
    int mid = (l+r)>>1;
    if(L <= mid) ret += query(L,R,l,mid,lson[rt]);
    if(R > mid) ret += query(L,R,mid+1,r,rson[rt]);
    return ret;
}


int main()
{
#ifdef GLQ
    freopen("input.txt","r",stdin);
//    freopen("o.txt","w",stdout);
#endif
    int n,m,now;
    char ch[10];
    while(~scanf("%d%d",&n,&m))
    {
        tot = now = 1;
        T[now] = build(1,n);
        while(m--)
        {
            scanf("%s",ch);
            if(ch[0] == 'C')
            {
                int l,r; ll d;
                scanf("%d%d%I64d",&l,&r,&d);
                T[now+1] = update(l,r,d,1,n,T[now]);
                now++;
            }
            else if(ch[0] == 'Q')
            {
                int l,r;
                scanf("%d%d",&l,&r);
                printf("%I64d\n",query(l,r,1,n,T[now]));
            }
            else if(ch[0] == 'H')
            {
                int l,r,t;
                scanf("%d%d%d",&l,&r,&t);
                printf("%I64d\n",query(l,r,1,n,T[t+1]));
            }
            else
            {
                scanf("%d",&now);
                now++;
            }
        }
    }
    return 0;
}