树状数组

树状数组是一个查询（某一区间元素和）和修改（某一元素值），时间复杂度都为log(n)的数据结构（普通数组查询和修改的复杂度分别为O(n)和O(1),当数据量非常大时，且需要频繁求和，树状数组就能凸显其高效性），假设数组a[1...n]，那么查询a[1] + …… + a[i]　的时间是log级别的，而且是一个在线的数据结构，支持随时修改某个元素的值，复杂度也为log级别。

来观察一下这个图：

令这棵树的结点编号为C1，C2……Cn。令每个结点的值为这棵树的值的总和，那么容易发现：

C1 = A1

C2 = A1 + A2

C3 = A3

C4 = A1 + A2 + A3 + A4

C5 = A5

C6 = A5 + A6

C7 = A7

C8 = A1 + A2 + A3 + A4 + A5 + A6 + A7 + A8

……

C16 = A1 + A2 + A3 + A4 + A5 + A6 + A7 + A8 + A9 + A10 + A11 + A12 + A13 + A14 + A15 + A16

 

这里有一个有趣的性质，下午推了一下发现：

设节点编号为x，那么这个节点管辖的区间为2^k（其中k为x二进制末尾0的个数）个元素。因为这个区间最后一个元素必然为Ax，所以很明显：

Cn = A(n – 2^k + 1) + …… + An

算这个2^k有一个快捷的办法，定义一个函数如下即可：

    
    

     
     
     
     int lowbit(int x)
{ 　　
       return x & (x ^ (x – 1));
} 

    
    

当想要查询一个SUM(n)时，可以依据如下算法即可：

step1:　令sum = 0，转第二步；

step2:　假如n <= 0，算法结束，返回sum值，否则sum = sum + Cn，转第三步；

step3:  令n = n – lowbit(n)，转第二步。

可以看出，这个算法就是将这一个个区间的和全部加起来，为什么是效率是log(n)的呢？以下给出证明：

n = n – lowbit(n)这一步实际上等价于将n的二进制的最后一个1减去。而n的二进制里最多有log(n)个1，所以查询效率是log(n)的。

 

那么修改呢，修改一个节点，必须修改其所有祖先，最坏情况下为修改第一个元素，最多有log(n)的祖先。所以修改算法如下（给某个结点i加上x）：

step1: 当i > n时，算法结束，否则转第二步；

step2: Ci = Ci + x， i = i + lowbit(i)转第一步。

i = i +lowbit(i)这个过程实际上也只是一个把末尾1补为0的过程。

 

int lowbit(int t) { return t&(-t); } void change(int pos , int num,int n) //修改 { while (pos<=n) { tree[pos] += num; pos += lowbit(pos); } } int ask(int end)//查询 { int sum = 0; while(end > 0) { sum += tree[end]; end -= lowbit(end); } return sum; }

 

 

 

 

树状数组(Binary Indexed Tree)是又一种静态的树结构。它的首要用途是用于维护前缀和，也即：一数组a[1..n]，随时会改变其中某a[i]，还会询问s[i]=a[1]+a[2]+…+a[i]，树状数组可完美解决这一问题。

定义数组c[0..n]，其中c[i]=a[i-2^k+1]+a[i-a^k+2]+…+a[i]，其中k为i在二进制下末尾0的个数。当我们改变一个a[i]时，会有很多c[i]随之改变；若需查询某个s[i]，需要累加多个c[i]。好在确定需要改变或累加的元素都可以用比较简便的方法得出，这方法的核心就是lowbit值。

定义lowbit(x)=x&(x^(x-1))，它相当于将最右边的1左边的东西全部去掉。若需改变a[i]，则c[i]、c[i+lowbit(i)]、c[i+lowbit(i)+lowbit(i+lowbit(i)]……就是需要改变的c数组中的元素。若需查询s[i]，则c[i]、c[i-lowbit(i)]、c[i-lowbit(i)-lowbit(i-lowbit(i))]……就是需要累加的c数组中的元素。这看上去有些玄妙，我觉得其实也可以不用透彻理解。

一维的树状数组的每个操作的复杂度都是O(logn)的，非常高效。它可以扩充为n维，这样每个操作的复杂度就变成了O((logn)^n)，在n不大的时候仍然完全可以接受。扩充的方法就是将原来改变和查询的函数中的一个循环改成嵌套的n个循环在n维的c数组中操作。

要注意树状树组能处理的是下标为1..n的数组，绝对不能出现下标为0的情况。因为lowbit(0)=0，这样会陷入死循环。对于我这个从来都用C语言思考的家伙来说，这一点格外需要注意。

似乎树状数组也可以用来解决一些与前缀和关联不大的问题，例如NOI2004的cashier，但我还不太会（那题我只会用平衡树或线段树或虚二叉树解）。

 

 

示例程序：

 

#include <cstdio> #include <cstring> using namespace std; const int maxn=130; int s[maxn][maxn][maxn]; int N; inline int lowbit(int x){ return x&(x^(x-1)); } void change(int a,int b,int c,int delta){ for(int x=a;x<=N;x+=lowbit(x)) for(int y=b;y<=N;y+=lowbit(y)) for(int z=c;z<=N;z+=lowbit(z)) s[x][y][z]+=delta; } int sum(int a,int b,int c){ int res=0; for(int x=a;x>0;x-=lowbit(x)) for(int y=b;y>0;y-=lowbit(y)) for(int z=c;z>0;z-=lowbit(z)) res+=s[x][y][z]; return res; } int main(){ memset(s,0,sizeof(s)); scanf("%d",&N); for(;;){ int a; scanf("%d",&a); if(a==1){ int x,y,z,k; scanf("%d%d%d%d",&x,&y,&z,&k); ++x;++y;++z; change(x,y,z,k); } else if(a==2){ int x1,y1,z1,x2,y2,z2; scanf("%d%d%d%d%d%d",&x1,&y1,&z1,&x2,&y2,&z2); ++x2;++y2;++z2; printf("%d/n", sum(x2,y2,z2) -(sum(x1,y2,z2)+sum(x2,y1,z2)+sum(x2,y2,z1)) +(sum(x1,y1,z2)+sum(x1,y2,z1)+sum(x2,y1,z1)) -sum(x1,y1,z1) ); } else break; } }