树状数组知识点详解

树状数组

树状数组是一种数据结构,它的作用就是优化查询和修改的操作。试想,我们假如在做一道题的时候使用裸的一维数组来存储数据,那每次区间修改需要O(1)的时间,但查询却需要O(n)的时间,针对于某些题目,数据量奇大无比,必然会TLE。所以我们使用树状数组来优化这两个操作,使得修改和查询均可以在O(logn)的时间内完成,提升效率。

(这是百度百科上树状数组的图)

可以直观地看出树状数组是个什么模式,是的,这就是一棵树,而这棵树上每个节点存储的数据就是它所有儿子节点的数据和。所以我们就可以在树上做修改和区间查询(节点减节点),来做到树状数组这种优化方式。

树状数组的实现需要三个特别重要的函数,我一般把它们写成fix()(向上修改),getsum()(向下查询),和lowbit()(这个函数是理解树状数组运行过程的关键)。

lowbit()函数

首先从最关键的lowbit函数入手。

它长这个样子:

int lowbit(int x)
{
    return x+=x&-x;
}

这里还涉及到了位运算的相关知识,所谓x&-x,是在二进制上的运算操作,它的实现也很简单,把x按位取反,最后同时上移最后的那个1。比如lowbit(34)最终的结果就是36。那么这个lowbit函数是干什么用的呢?

关于lowbit运算,有不太了解的小伙伴可以参考本蒟蒻的这篇博客:

浅谈lowbit运算

我们可以把它理解成对树状数组的遍历方式。

根据树状数组的示意图可以发现,我们如果想对原数组进行元素修改,会牵连到于之关联的树状数组整个链。所以我们必须层层向上修改,每一层都要修改,才能保证树状数组存储的元素的正确性。

那么这个层层向上(向下),就需要lowbit这个函数,或者是说这个功能,来实现。

fix()函数

void fix(int x)
{
    for(int i=x;i<=n;i+=i&-i)
        c[i]++;
}
void fix(int x,int y)//表示在x元素处修改y个单位
{
    for(int i=x;i<=n;i+=i&i)
        c[i]+=y;
}

通过刚才学习lowbit函数,我们应该可以理解这个循环的含义。

其实就是层层向上修改树状数组的对应元素。

getsum()函数

int getsum(int x)
{
    int ret=0;
    for(int i=x;i;i-=i&-i)
        ret+=c[i];
    return ret;
}

这里注意,查询的时候要从上往下查询,这里默认查询的区间是1-->x,如果不是1到x,需要另外加参数。

树状数组的相关知识就介绍到这里,小伙伴们可以参考我树状数组的博客来进行例题训练。

原文地址:https://www.cnblogs.com/fusiwei/p/11275978.html