一、原理
源:信息可减性
ex:当已知更大区间和与要求的信息所在区间共同构成全集的信息时可以推出要求的信息
copy大佬的一张图:
我们要维护的变量是一个数组tree_arry[M]
这个tree_arry[M]
代表了长度为lowbit(i)
终止点为i
的所需数据前缀和或差分数据
操作1 lowbit
- 定义:二进制表示的数位里第一位不是0的1表示的数
- 求法:封装起来比较好用
int lowbit(int x) { return x & -x; }
- 涉及二进制的博客正在施工
- 用处:根据二进制的定义,这些2的n次方的数字可以达到设计并确定树状数组的长度并且对所有的10进制整数达到普适性
操作2 单点修改操作
void edit(int x,int y) 这里以单点加法为例
{
while (x<=n) n为点编号的最多,n以上的我们不考虑
{ tree_arry[x]+=y;
x+=lowbit(x); }
}
操作3 取区间和的操作
void getsum (int x) 这里表示闭区间 1--x
{
int sum1 = 0;
while (x>=1) 编号最低是 1 ,注意细节
{
sum1+=tree_arry[x];
x-=lowbit(x);
}
}
二,应用
1, 区间修改并求单点数值
- 结合差分思想,区间 l − r l - r l−r 加 x x x,则等价于在差分数组 B [ l ] + x B[l]+x B[l]+x 同时 B [ r + 1 ] − x B[r+1]-x B[r+1]−x
- 求得单点数据,只需 B [ 1 ] − B [ i ] B[1]- B[i] B[1]−B[i] 的前缀和
2, 区间修改并区间求和
- 由图,只需维护两个树状数组即可
- 一个是差分数组
d[i]
的树状数组tr[i]
,还有一个是i*d[i]
的树状数组tri[i]
- 使用树状数组快速取得差分的前缀和, O ( 2 l o g n ) O(2log n) O(2logn) 的求出答案
3,实时维护01序列的第K个1
- 前缀和获得第i位的01前缀和
- 二分查找第一个 < = k <=k <=k的位置