【模板】树状数组上的差分数组

数据差分化是一个很神仙也很实用的方法。

具体操作就是将一个数化为多个项的和的形式，这些我们产生的项多为g(x)=f(i)-f(i-1)一类形式，这样可以错位相消去，十分巧妙。

数据差分化有以下神仙之处：

• 通过差分数据得到原数据g(x)：十分显然，g(x)=f(1)+f(2)+f(3)+……+f(x) , ( f(0)=0 )。证明略。

• 改变区间[ l , r ]的值，只需要进行g(l)=g(l)+k, g(r+1)=g(r+1)-k这样的操作就行了。原因是中间的项全部通过加减抵消了那个加入的k。

因此，维护一个差分化的数据，需要一种能够高效访问区间[ l , r ]的数据结构，那这种数据结构还有什么呢？当然是

线段树&树状数组

对不起我太弱了导致只知道这两个

附上代码（树状数组（ 2 ） 的）

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
inline ll qr(){
    char c=getchar();
    ll x=0,q=1;
    while(c<48||c>57)
        q=c==45?-1:q,c=getchar();
    while(c>=48&&c<=57)
        x=(x<<1)+(x<<3)+(c^48),c=getchar();
    return q*x;
}
const int maxn=500000+15;
ll data[maxn];
#define lw(x) (x&(-x))
int n,m;
#define RP(t,a,b) for(int t=(a),edd=(b);t<=edd;t++)
inline void add(int pos,int dataq){
    int t=pos;
    while(t<=n){
        data[t]+=dataq;
        t+=lw(t);
    }
    return;
}
inline ll ask(int x){
    ll ret=0;
    int pos=x;
    while(pos){
        ret+=data[pos];
        pos-=lw(pos);
    }
    return ret;
}
int templ,last;
int t1,t2,t3,t4;
int main(){
    //freopen("in.in","r",stdin);
    //freopen("out.out","w",stdout);
    n=qr();
    m=qr();
    RP(t,1,n){
        templ=qr();
        add(t,templ-last);
        last=templ;
    }
    RP(t,1,m){
        t1=qr();
        if(t1==1){
            t2=qr();
            t3=qr();
            t4=qr();
            add(t2,t4);
            add(t3+1,-t4);
        }
        else{
            t2=qr();
            cout<<ask(t2)<<endl;
        }
    }
    return 0;
}

此类数据结构，应灵活应用，来达到一些神仙的十分之一的水平。

再次感叹我真是太弱了