01 故事起源有N个数排列成一排,如何快速进行区间修改与求和呢?
02
分析首先最容易想到的方法就是先求出前缀和sum[i],然后区间[a,b]的和就可以直接通过sum[b]-sum[a-1]得到。
但如果要对数组进行修改,就会有一些问题。比如对a[3]加1,则下面对应的sum[3],sum[4],sum[5]都需要进行修改,这个效率就很低了。
原因在于sum[i]是前面区间[1,i]中所有元素的和,所以修改任何一个元素,则后面的sum[i]都得重新计算。
那能不能找到一种间断式的前缀和呢,只需要统计前面区间中的部分元素。这样在修改某个a[i]的时候就不会影响后面的所有sum[i]。
其实就是要找到这样的一种映射关系,既能统计出前缀和,还可以提高修改的效率。sum[i]以前是统计区间[1,i]所有的i个元素,而现在是统计区间[1,i]中的k个元素。
树状数组其实就是这样的一种映射。
03
定义树状数组是按下面这种对应关系来计算前面若干元素的和,但直接看可能还看不出来规律。
先把元素的下标1、2、3...转成二进制。
再把每个二进制数,从右向左,截取到第一个1的位置。截取的二进制数也会对应一个十进制数。
比如12对应的二进制数为1100,截取的二进制数为100,而100转为十进制为4。所以我们可以定义这样一种运算,lowbit(12)=4。
那这个lowbit要如何快速计算呢?
计算机原理中,首先我们知道有原码,反码,补码。最高位为符号位,0为正数,1为负数。正数的三码相同,负数的反码是符号位不变,其余位取反,而补码则是反码加1。在计算机中负数是以补码的方式存储的。
然后再看下面的12和-12,补码进行位与操作时,就正好是lowbit运算。
代码实现:intlowbit(intx){ returnx&-x; } 把上面的对应位置的lowbit都计算出来再观察,可以发现lowbit的数值正好就是sum[i]统计的元素个数。
总结一般的规律如下: sum[i]等于区间[i-lowbit(i)+1,i]中所有元素的和。也就是从位置i开始,往前数lowbit(i)个元素,加起来就是sum[i]。
04
规律lowbit(i)对应的数一定是1,2,4...,因为截取的二进制为1000...。根据lowbit(i)可以先对sum[i]进行分层。
而sum[i]元素也有一种包含关系,再把包含关系提上来。
sum[i]就是前面连续的lowbit(i)个元素的和,直接展开更清晰。红色矩形就是下面覆盖的蓝色小方块的和。
红色是sum数组,蓝色是a数组,再观察下标之间的关系。
05
单点修改例如修改a[2],因为sum[2],sum[4]都包含了a[2],所以对应都要修改。
如果修改a[3],因为sum[3],sum[4]都包含了a[3],所以对应都要修改。
观察发现,修改一个元素a[i]时,sum[i]是一层一层的向上进行修改,上一层的下标正好是当前层的下标i加上lowbit(i)。
代码实现:voidadd(intindex,intx){ while(index<= n) { sum[index] += x; index += lowbit(index); } } 06 区间查询例如查询区间[1,5],需要统计sum[5],sum[4]。
如果查询区间[1,3],需要统计sum[3],sum[2]。
观察发现,查询区间[1,i]的前缀和时,是一段一段往前查询的,下一段的下标正好是当前段的下标i减去lowbit(i)。
代码实现:intquery(intindex){ intret=0; while(index>0){ ret+=sum[index]; index-=lowbit(index); } returnret; } 如此,就可以轻松搞定单点修改及区间查询了,但最开始的问题是区间修改,这个又该如何实现呢? 07 区间修改首先得引入一个差分数组d[i],d[i]=a[i]-a[i-1]。
对数组d[i]计算前缀和,又可以还原为原数组元素a[i]。
通过公式替换,原数组的前缀和sum[i]也可以通过d[i]来得到。
展开来看就是这样。
通过观察,可以对上面公式作如下变形。其中最关键的是sigma(d[j])和sigma(d[j]*j)。
如果维护d[i]和d[i]*i两个数组的前缀和,就可以快速得到sum[k]。
当对区间[3,5]增加2时,因为d[i]是差分数组,所以只需要对d[3]增加2,对d[6]减去2即可。同理e[i]数组,只需要e[3]增加2*3,对e[6]减去2*6。
一般规律如下:
代码实现:#defineLLlonglong //单个修改 voidadd(LL*sum,LLindex,LLx){ while(index<= n) { sum[index] += x; index += lowbit(index); } } //区间修改 voidrange_add(LLleft,LLright,LLx){ right++; add(sum1,left,x); add(sum1,right,-x); add(sum2,left,x*left); add(sum2,right,-x*right); } 08 区间查询代码实现:
//单个查询 LLquery(constLL*sum,LLindex){ LLret=0; while(index>0){ ret+=sum[index]; index-=lowbit(index); } returnret; } //区间查询 LLrange_query(LLleft,LLright){ left--; LLsumA=(left+1)*query(sum1,left)-query(sum2,left); LLsumB=(right+1)*query(sum1,right)-query(sum2,right); returnsumB-sumA; } 09 总结树状数组主要应用于区间操作,相比起线段树来说,代码实现简单太多了,而且效率也很高,非常值得研究掌握。 审核编辑 :李倩
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。
举报投诉
-
代码
+关注
关注
30文章
4942浏览量
73161 -
数组
+关注
关注
1文章
420浏览量
27115
原文标题:原来树状数组可以这么简单?
文章出处:【微信号:TheAlgorithm,微信公众号:算法与数据结构】欢迎添加关注!文章转载请注明出处。
发布评论请先 登录
相关推荐
热点推荐
数组的初体验
程序中也需要容器,只不过该容器有点特殊,它在程序中是一块连续的,大小固定并且里面的数据类型一致的内存空间,它还有个好听的名字叫数组。可以将数组理解为大小固定,所放物品为同类的一个购物袋,在该购
物
发表于 11-25 08:06
二维数组介绍
大家不要认为二维数组在内存中就是按行、列这样二维存储的,实际上,不管二维、三维数组… 都是编译器的语法糖。
存储上和一维数组没有本质区别,举个例子:
int array[3][3
发表于 11-25 07:42
SGTools--动画控件--屏幕实现动画显示 就是这么简单
详细步骤可以观看视频,
实现动画很简单,提前准备好gif文件和一个张背景图
使用SGTools工具,就可以制作动画界面啦
视频中屏幕型号是7寸 HMT070ATA-9C
发表于 09-16 10:29
大数组程序无法运行怎么解决?
主控是103,程序中定义一个const类型 128k只读数组,放在flash上,程序无法运行,堆栈都初始化不了,在keil编译下正常,在rtthread studio下编译无法运行,求教
是内存管理的问题吗
发表于 09-15 06:21
如何使用闪存来保存 CYBT-343026 中的数组等数据?
您好,我正在尝试使用 CYBT-343026 构建一块电路板。
我想将数据存储在一个简单的数组中。T
即使断电,数据也应该保留。我可以使用EEPROM,但由于数据非常简单,所以我想使用
发表于 06-25 06:33
可以通过并联RGB接口连接TFT屏幕吗?
我正在尝试通过并联 RGB 接口连接 TFT 屏幕,看起来很简单,对吧?
24 位 RGB 的 LPC4088 仅使用 3 个 4 字节的 DMA RAM(浪费 1 个字节)
我找不到
发表于 04-02 06:15
看完这篇,SPI其实也很简单嘛(可下载)
首先我们来简单介绍一下SPI,SPI是串行外设接口(SerialPeripheralInterface)简单来讲就是它一种高速的,全双工,同步的通信总线被各种总线搞的晕头转向的人来说就会问了
发表于 03-26 14:29
•2次下载
Cadence画PCB傻瓜式教程
资料介绍:
很简单的介绍从原理图到PCB的简单设计的步骤,没有繁琐的介绍
纯分享贴,有需要可以直接下载附件获取完整资料!
(如果内容有帮助可以关注、点赞、评论支持一下哦~)
发表于 03-22 17:06
stm32 DMA串口接收到数组,数组元素顺序错乱怎么解决?
配置DMA循环模式,使用HAL_UART_Receive_DMA(&huart1,buffer,4)函数将串口数据循环发送到4个元素的buffer数组内,上位机20ms发送一次
发表于 03-12 08:02
字符串与字符数组的区别
在编程语言中,字符串和字符数组是两种基本的数据结构,它们都用于存储和处理文本数据。尽管它们在功能上有一定的重叠,但在内部表示、操作方式和使用场景上存在显著差异。 1. 内部表示 字符串 字符串在
Labivew 实现鼠标在数组中选中元素时,精准的显示所在位置的行、列值方法
在项目开发中,遇到一个布尔的二维数组输入控件,选中数组元素并索引出行列的操作,试过其他大佬的方法,不是特别精准,,尝试一下还可以,分享给需要的朋友
*附件:选中二维数组元素并索引所在的
发表于 12-21 18:07
数组的下标为什么可以是负数
最近有同学发来这样一段代码,并提出一个问题,数组的下标为什么可以是负数? #include int main(){ const char *s = "helloworld"; const

树状数组可以很简单
评论