这是一种实用并且代码极短的高级数据结构。
能在O(lgn)内完成修改,和询问。解决了普通数组的询问长,前缀和的修改长的问题。
它提供两种操作:
- 将A[i]叫上D;
- 求出A[i]的前缀和。
那么怎么实现呢?
我们新增一个数组c[],其中c[i]=A[i-2^k+1]+……+A[i](k为i在二进制形式下末尾0的个数)。
那怎么求出2^k呢,我们就可以用lowbit(i),lowbit(i)=i&(-i);
首先是修改操作,将所有包含它的数都加上要加的数。
1 void add(int x){ 2 for (int i=x;i<=N;i+=lowbit(i)) c[i]++; 3 }
求和就是把它未包含的数加上。
1 long long sum(int x){ 2 long long Sum=0; 3 for (int i=x;i>0;i-=lowbit(i)) Sum+=c[i]; 4 return Sum; 5 }
这就是基本的树状数组了。
接下来是一些基本的求和模型。
1.改点求段:
修改操作:将A[x]的值加上v;
求和操作:求此时A[l..r]的和。
十分简单:
1 void add(int x){ 2 for (int i=x;i<=N;i+=lowbit(i)) c[i]++; 3 } 4 long long sum(int x){ 5 long long Sum=0; 6 for (int i=x;i>0;i-=lowbit(i)) Sum+=c[i]; 7 return Sum; 8 }
修改操作:add(x,v);
求和操作:sum(r)-sum(l-1);
s2.改段求点:
修改操作:将A[l..r]之间的全部元素值加上v;
求和操作:求此时A[x]的值。
这回就用差分法A[i]表示原意义一下的A[i]-A[i-1];
1 void add(int x){ 2 for (int i=x;i<=N;i+=lowbit(i)) c[i]++; 3 } 4 long long sum(int x){ 5 long long Sum=0; 6 for (int i=x;i>0;i-=lowbit(i)) Sum+=c[i]; 7 return Sum; 8 }
修改操作:add(l,v),add(r+1,-v);
求和操作:sum(x);
3.改段求段:
修改操作:将A[l..r]之间的全部元素值加上v;
求和操作:求此时A[l..r]的和。
关于这种模型需要一个辅助数组:存(当前位置-1)*v的值。
因为Sum(1,x)在差分意义下是(Sigma(i<=x)(A[i]*(x-(i-1))))
做出A[i]*(i-1)的辅助数组就可以了。
1 void Add(ll *T,int x,ll v){ 2 for (int i=x;i<=n;i+=lowbit(i)) T[i]+=v; 3 } 4 void Update(ll a,ll b,ll c){ 5 Add(T1,a,c); Add(T1,b+1,-c); 6 Add(T2,a,(a-1)*c); Add(T2,b+1,b*(-c)); 7 } 8 ll Sum_(ll *T,int x){ 9 ll ans=0; 10 for (int i=x;i>0;i-=lowbit(i)) ans+=T[i]; 11 return ans; 12 } 13 ll Sum(int a,int b){ 14 ll tot=(a-1)*(Sum_(T1,a-1))-Sum_(T2,a-1); 15 ll tot_=(b)*(Sum_(T1,b))-Sum_(T2,b); 16 return tot_-tot; 17 }
修改操作:模板内Update;
求和操作:模板内Sum;
还有二维树状数组的使用,
1 int sum(int x,int y) 2 { 3 int Sum=0; 4 for(int i=x;i>0;i-=(i&(-i))) { 5 for(int j=y;j>0;j-=(j&(-j))) { 6 Sum+=c[i][j]; 7 } 8 } 9 return Sum; 10 } 11 12 void add(int x,int y,int d) 13 { 14 for(int i=x;i<=n;i+=(i&(-i))) { 15 for(int j=y;j<=n;j+=(j&(-j))) { 16 c[i][j]+=d; 17 } 18 } 19 }
通过考试考挂的教训,我就在这重推,二维改段求段。A是差分意义下。
sum(x,y)=Sigma(i<=x)Sigma(j<=y)(A[i][i]*(x-(i-1))*(y-(j-1)))
=Sigma(i<=x)Sigma(j<=y)(A[i][j]*x*y-A[i][j]*x*(j-1)-A[i][j]*y*(i-1)+A[i][j]*x*y);
1 void add(int x,int y,int v_1,int v_2,int v_3,int v_4){ 2 for (int i=x;i<=n;i+=lowbit(i)) 3 for (int j=y;j<=m;j+=lowbit(j)) t_1[i][j]+=v_1,t_2[i][j]+=v_2,t_3[i][j]+=v_3,t_4[i][j]+=v_4; 4 } 5 int sum(int x,int y){ 6 int Sum1=0,Sum2=0,Sum3=0,Sum4=0; 7 for (int i=x;i>0;i-=lowbit(i)) 8 for (int j=y;j>0;j-=lowbit(j)) Sum1+=t_1[i][j],Sum2+=t_2[i][j],Sum3+=t_3[i][j],Sum4+=t_4[i][j]; 9 return Sum1*x*y-Sum2*x-Sum3*y+Sum4; 10 }
修改操作:
add(a,b,v,v*(b-1),v*(a-1),v*(a-1)*(b-1)); add(a,d+1,-v,(-v)*d,(-v)*(a-1),(-v)*d*(a-1)); add(c+1,b,-v,(-v)*(b-1),(-v)*c,(-v)*c*(b-1));add(c+1,d+1,v,v*d,v*c,v*d*c);
求和操作:
sum(c,d)-sum(a-1,d)-sum(c,b-1)+sum(a-1,b-1)
均摊logn的清零。
struct Bit{ int ts,b[SZ],t[SZ]; void clr() {++ts;} Bit() {ts=0; memset(t,0,sizeof t);} void edt(int x,int y) { for(;x<=n;x+=x&-x) {if(t[x]!=ts) t[x]=ts,b[x]=0; (b[x]+=y)%=MOD;} } int sum(int x) { int s=0; for(;x>=1;x-=x&-x) {if(t[x]!=ts) t[x]=ts,b[x]=0; (s+=b[x])%=MOD;} return s; } }ba,bb;