树状数组, 又名二叉索引树(Binary Indexed Tree), 利用该结构能够有效地解决区间和查询问题, 并且查询的时间复杂度是O(log N)
前缀和查询
如图所示, 在原始数组的基础上我们引入一个辅助数组c[], c[i]代表的含义是数组i的值以及所有递归的前驱之和,整个辅助数组看上去像一颗树, 因此得名. 举例
-
sum[3] = a[3] + c[2] = a[3] + a[2] + c[1] = a[3] + a[2] + c[1]
sum[13] = a[13] + c[12] + c[8], 通过同样的代入方法递归计算c[12], c[8],可以算得c[13] 就是数组13个数值的和
从上面的计算看出, 本来13个值的和, 这里通过辅助数组只有3个数相加, 这也就是他能够O(log N)查询前缀和的秘密, 所有之前的数据按照倍增的思想,只要达到2的次方的规模即接管和值, c[2], c[4], c[8]均是一个数便计算出和值
现在的问题是如何根据index找出前驱呢
c[7]的前驱是c[6]
c[6]的前驱是c[4]
c[4]的前驱是c[0] (不存在, 即c[4]已经包含前面所有)
c[12]