线段树的树状数组大小为什么是4*maxn

以下方建树代码为例，r数组表述原始数据，t表述tree也就是树状数组

void make(int left,int right,int num)//创建线段树
{
    t[num].l=left;
    t[num].r=right;
    if(left==right)
        t[num].sum=r[left];
    else
    {
        make(left,(left+right)/2,num+num);
        make((left+right)/2+1,right,num+num+1);
        t[num].sum=t[num+num].sum+t[num+num+1].sum;
    }
}

下界：树状数组占用空间为2*maxn-1

最理想的情况maxn=2^x（x为正整数）

int r[10]={1,1,1,1};
make(1,4,1);

这种情况是占用空间最小的情况，只有2*maxn-1

上界：树状数组占用空间为4*maxn

在这里举一个特例，maxn=3*2^x

用公式证明：占用空间应该是2^(logmaxn+1+1)------（第一个加一是向上取整）