线段树相关概念证明

一、线段树是平衡二叉树

引理1：根结点区间长度相差1的两棵线段树的高度相差小于等于1

证明：使用数学归纳法
记$h(x)$表示根结点区间长度为x的线段树的高度，即证明：
对任正整数x，都有$h(x+1)-h(x)\le 1$

1. 易知$h(1)=1，h(2)=2，h(3)=2$ 。
2. 考虑$k\ge 3$时的情况。已知当$x<k$时，$h(x+1)-h(x)\le 1$，证明当$x=k$时，满足$h(k+1)-h(k)\le 1$
   根结点区间长度为k，左孩子区间长度$xl=\lceil \frac{k}{2}\rceil$， 右孩子区间长度$xr=\lfloor \frac{k}{2}\rfloor$，一定有$xl\ge xr$，因此左子树的高度$h(xl)$大于等于右子树的高度$h(xr)$，整棵树的高度为两棵子树中更高的子树高度加1，即$h(k)=h(\lceil \frac{k}{2}\rceil )+1$
   已知当$k\ge 3$时，一定有$\frac{k}{2}<k$
   • 如果k为偶数，k+1为奇数，
     则$h(k+1)=h(\lceil \frac{k+1}{2}\rceil )+1$=$h(\frac{k}{2}+1)+1$
     $h(k)=h(\frac{k}{2})+1$
     $h(k+1)-h(k)=h(\frac{k}{2}+1)-h(\frac{k}{2})$，
     已知当$x<k$时，$h(x+1)-h(x)\le 1$，而当k为正偶数时一定有$\frac{k}{2}<k$
     所以有：$h(k+1)-h(k)=h(\frac{k}{2}+1)-h(\frac{k}{2})\le 1$。
   • 如果k为奇数，k+1为偶数，
     则$h(k+1)=h(\lceil \frac{k+1}{2}\rceil )+1$=$h(\frac{k+1}{2}+1)+1$
     $h(k)=h(\lceil \frac{k}{2}\rceil )+1=h(\frac{k+1}{2})+1$
     $h(k+1)-h(k)=h(\frac{k+1}{2}+1)-h(\frac{k+1}{2})$，
     已知当$x<k$时，$h(x+1)-h(x)\le 1$，而当k>1且为正奇数时一定有$\frac{k+1}{2}<k$
     所以有：$h(k+1)-h(k)=h(\frac{k+1}{2}+1)-h(\frac{k+1}{2})\le 1$。
     综上：根结点区间长度相差1的两棵线段树的高度相差小于等于1

证明：线段树是平衡二叉树

对于线段树中任何分支结点

• 如果该结点表示的区间长度为偶数，则其左右孩子表示的区间长度相等，其左右子树的高度相等。
• 如果该结点表示的区间长度为奇数，则其左孩子表示的区间长度比右孩子表示的区间长度大1，根据引理1，其左右子树的高度相差不大于1。

线段树中任何分支结点的左右子树高度相差不大于1，线段树是平衡二叉树。

二、区间长度为n的线段树的高度为$\lceil lo{g}_{2}n\rceil +1$

证明：区间长度为n的线段树的高度为$\lceil lo{g}_{2}n\rceil +1$

使用数学归纳法

1. 易知当n为1时线段树高度为1、n为2时线段树高度为2，该式成立。
2. 已知$k\ge 3$，当n<k时区间长度为n的线段树的高度为$\lceil lo{g}_{2}n\rceil +1$，当区间长度n=k时
   • 如果k为偶数，该结点的两个孩子表示的区间长度为$\frac{k}{2}$，已知当$k\ge 3$时满足$\frac{k}{2}<k$，所以子树的高度为$\lceil lo{g}_2\frac{k}{2}\rceil +1=\lceil lo{g}_{2}k-1\rceil +1=\lceil lo{g}_{2}k\rceil$。根结点区间长度为n的线段树的高度为子树高度最大值加1，即$\lceil lo{g}_{2}k\rceil +1$
   • 如果k为奇数，该结点左孩子表示的区间长度为$\frac{k+1}{2}$，左孩子区间长度大于等于右孩子区间，因此左子树高度大于等于右子树高度，整棵树的高度为左子树高度+1。
     已知当$k\ge 3$时满足$\frac{k+1}{2}<k$，所以子树高度为$\lceil lo{g}_2\frac{k+1}{2}\rceil +1=\lceil lo{g}_2(k+1)-1\rceil +1=\lceil lo{g}_2(k+1)\rceil$
     因为$k\ge 3$，且是奇数，一定存在x满足：$2^{x-1}<k<k+1\le 2^x$
     因此$x-1<lo{g}_{2}k<lo{g}_2(k+1)\le x$
     所以$\lceil lo{g}_{2}k\rceil =\lceil lo{g}_2(k+1)\rceil =x$
     所以左子树高度为$\lceil lo{g}_2(k+1)\rceil =\lceil lo{g}_{2}k\rceil$，树高度为$\lceil lo{g}_{2}k\rceil +1$

综上，区间长度为n的线段树的高度为$\lceil lo{g}_{2}n\rceil +1$

三、线段树去掉最下面一层的结点后，是满二叉树。

引理2：当线段树中某结点左子树高度比右子树高度大1时，右子树是满二叉树。

证明：
设该线段树根结点表示区间长度为k，左右子树高度不同时k一定是奇数，左子树区间长度$\frac{k+1}{2}$，右子树区间长度$\frac{k-1}{2}$，高度差$\lceil lo{g}_2\frac{k+1}{2}\rceil +1-\lceil lo{g}_2\frac{k-1}{2}\rceil -1=\lceil lo{g}_2(k+1)\rceil -\lceil lo{g}_2(k-1)\rceil =1$
记：$x=\lceil lo{g}_2(k-1)\rceil$，则$x+1=\lceil lo{g}_2(k+1)\rceil$
因此有$x-1<lo{g}_2(k-1)\le x<lo{g}_2(k+1)\le x+1$
即$2^{x-1}<k-1\le 2^x<k+1\le 2^{x+1}$
由于k是奇数，如果$k<2^x$，则$k+1\le 2^x$，这与上述情况相悖。
由于k是奇数，不能是2的幂，所以$k\ne 2^x$
所以一定有$k>2^x$，同时$k-1\le 2^x$，此时只能是$k-1=2^x$
右子树区间长度$\frac{k-1}{2}=2^{x-1}$，是2的幂。
区间长度为2的幂的线段树一定是满二叉树，因此右子树是满二叉树。

证明：线段树去掉最下面一层的结点后，是满二叉树。

使用数学归纳法证明

• 易知，当根结点区间长度为1、2时，满足该定理。
• 已知k>=3，假设当根结点区间长度小于k时，线段树去掉最下面一层的结点后，是满二叉树。
  当根结点区间长度等于k时，整棵树高度为h，其左右子树表示的区间长度小于k。
  • 如果k是偶数，其左右子树区间长度相同，左右子树结构相同。左右子树区间长度小于k，分别去掉最下面一层结点后，左右子树都是满二叉树，加上表示区间长度为k的根结点后，仍然是满二叉树。
  • 如果k是奇数，其左子树区间长度为$\lceil \frac{k}{2}\rceil$， 右子树区间长度为$\lfloor \frac{k}{2}\rfloor$，左右子树区间长度都小于k。
    如果两子树高度相同，去掉最下面一层结点后，左右子树都是满二叉树，加上表示区间长度为k的根结点后，仍然是满二叉树。
    如果两子树高度不同，根据线段树是平衡二叉树，以及左孩子表示的区间长度$\lceil \frac{k}{2}\rceil$大于等于右孩子表示的区间长度$\lfloor \frac{k}{2}\rfloor$，只能是左子树高度比右子树高度大1。左子树高度小于k，去掉最下面一层后是满二叉树。根据引理2，右子树是满二叉树。加上表示区间长度为k的根结点后，仍然是满二叉树。

四、用顺序存储结构保存区间长为n的线段树，需要位置数最多为4n-1。

该线段树数的高度为$h=\lceil lo{g}_{2}n\rceil +1$，线段树结点最多时为高度为$h$的满二叉树，顺序存储结构需要的空间为高度为$h$的满二叉树的结点数。
高为h的满二叉树的结点数为$2^h-1=2^{\lceil lo{g}_{2}n\rceil +1}-1$
设$x=\lceil lo{g}_{2}n\rceil$，则$x-1<lo{g}_{2}n\le x$，
左侧1移到右边，有$x<lo{g}_{2}n+1$，即$\lceil lo{g}_{2}n\rceil <lo{g}_{2}n+1$
所以高为h的满二叉树的结点数为$2^{\lceil lo{g}_{2}n\rceil +1}-1<2^{lo{g}_{2}n+1+1}-1=2^{lo{g}_{2}n+2}-1=4\ast 2^{lo{g}_{2}n}-1=4n-1$
因此若已知$n\le N$，表示线段树的数组长度一般设为4N。

五、区间长度为n的线段树中结点数量为2n-1

引理3：二叉树度为0的结点数为$n_0$，度为2的结点数为$n_2$，满足$n_0=n_2+1$

证明：二叉树度为0的结点数为$n_0$，度为1的结点数为$n_1$，度为2的结点数为$n_2$，总结点数为$n_0+n_1+n_2$
结点也可以根据父结点的度数分类。
父结点度为0的结点不存在。
父结点度为1的结点数，为度为1的结点数的孩子数量，为$n_1$。
父结点度为2的结点数，为度为2的结点数的孩子数量，为$2n_2$
还有没有父结点的根结点，数量为1。总结点数为$2n_2+n_1+1$。
所以$n_0+n_1+n_2=2n_2+n_1+1$
化简得：$n_0=n_2+1$

证明：区间长度为n的线段树中结点数量为2n-1

已知，区间长度为n的线段树的叶子结点数量为n。而且线段树中没有度为1的结点。
根据引理3：$n_0=n_2+1$，得：$n_2=n_0-1$
线段树中$n_0=n$，$n_1=0$，$n_2=n_0-1=n-1$
总结点数$n_0+n_1+n_2=2n-1$

六、区间长度为n的线段树把任意长为L的子区间划分为不超过$2lo{g}_{2}L$个由线段树中结点表示的区间。

引理4：区间长度为n的线段树把任意长为r的前缀区间划分为不超过$lo{g}_{2}r$个由线段树中结点表示的区间。

解释：如果整个区间为[1, n]，长为r的前缀区间为[1, r]
证明：使用数学归纳法

1. 易知，当n为1、n为2时成立
2. $k\ge 3$，已知当n<k时，定理成立。证明当n=k时，定理成立。
   整体区间为$[1,k]$，$m=\lfloor \frac{k+1}{2}\rfloor =\lceil \frac{k}{2}\rceil$，左孩子区间$[1,m]$，长度为$\lceil \frac{k}{2}\rceil$，右孩子区间$[m+1,k]$，长度为$\lfloor \frac{k}{2}\rfloor$。
   • 如果前缀区间$[1,r]$的右端点$r\le m$，则$[1,r]$是左子树表示区间的前缀区间，可以完全由表示区间长度为$\lceil \frac{k}{2}\rceil$的左子树来划分区间。
     已知当n<k时，定理成立。左子树的区间长度$\lceil \frac{k}{2}\rceil <k$。所以当$[1,r]$是左子树表示区间的前缀区间时，定理成立。
   • 如果前缀区间$[1,r]$的右端点$r>m$，则将该区间划分为$[1,m],[m+1,r]$。
     由于$r\le k$，所以$\frac{r}{2}\le \frac{k}{2}\le \lceil \frac{k}{2}\rceil$
     $-\frac{r}{2}\ge -\lceil \frac{k}{2}\rceil$
     $r-\frac{r}{2}=\frac{r}{2}\ge r-\lceil \frac{k}{2}\rceil$
     $[m+1,r]$区间长度为$r-\lceil \frac{k}{2}\rceil$，由表示区间为$[m+1,k]$的右子树来划分区间，是右子树表示区间的前缀区间。
     $r-\lceil \frac{k}{2}\rceil \le \frac{r}{2}$
     已知右子树区间长度$\lfloor \frac{k}{2}\rfloor <k$。满足当n<k时定理成立。
     即区间长度为$\lfloor \frac{k}{2}\rfloor$的线段树可以把长为$r-\lceil \frac{k}{2}\rceil$的前缀区间划分为不超过$lo{g}_2(r-\lceil \frac{k}{2}\rceil )$个由线段树中结点表示的区间。
     $lo{g}_2(r-\lceil \frac{k}{2}\rceil )\le lo{g}_2\frac{r}{2}=lo{g}_{2}r-1$。
     因此区间$[m+1,r]$被右子树划分成的最大区间数为$lo{g}_{2}r-1$，加上先前划出的一个区间$[1,m]$，前缀区间$[1,r]$被表示区间$[1,k]$的线段树划分成的区间数不多于$lo{g}_{2}r$

综上：区间长度为n的线段树把任意长为r的前缀区间划分为不超过$lo{g}_{2}r$个由线段树中结点表示的区间

引理5：区间长度为n的线段树把任意长为r的后缀区间划分为不超过$lo{g}_{2}r$个由线段树中结点表示的区间。

解释：如果整个区间为[1, n]，长为r的后缀区间为[n-r+1, n]
证明：使用数学归纳法

1. 易知，当n为1、n为2时成立
2. $k\ge 3$，已知当n<k时，定理成立。证明当n=k时，定理成立。
   整体区间为$[1,k]$，$m=\lfloor \frac{k+1}{2}\rfloor =\lceil \frac{k}{2}\rceil$，左孩子区间$[1,m]$，长度为$\lceil \frac{k}{2}\rceil$，右孩子区间$[m+1,k]$，长度为$\lfloor \frac{k}{2}\rfloor$。
   考察后缀区间$[l,k]$，该区间长为r，即$r=k-l+1$
   当$l=1$时，区间$[l,k]$长度为k，可以由划分为1个线段树中的区间$[1,k]$，当$k\ge 3$时一定满足$1\le lo{g}_{2}k$，是满足定理的。
   因此以下讨论中，假定$l>1$，也就是区间$[l,k]$的长度$r<k$
   • 如果后缀区间$[l,k]$的左端点$l\ge m+1$，则$[l,k]$是右子树表示区间的后缀区间，可以完全由表示区间长度为$\lfloor \frac{k}{2}\rfloor$的右子树来划分区间。
     已知当n<k时，定理成立。右子树的区间长度$\lfloor \frac{k}{2}\rfloor <k$。所以当$[l,k]$是右子树表示区间的后缀区间时，定理成立。
   • 如果后缀区间$[l,k]$的左端点$l\le m$，则将该区间划分为$[l,m],[m+1,k]$。
     由于区间$[l,k]$的长度$r<k$，所以$r+1\le k$
     $\frac{r+1}{2}\le \frac{k}{2}$
     $\frac{r}{2}\le \lfloor \frac{r+1}{2}\rfloor \le \lfloor \frac{k}{2}\rfloor$
     $-\frac{r}{2}\ge -\lfloor \frac{k}{2}\rfloor$
     $r-\frac{r}{2}=\frac{r}{2}\ge r-\lfloor \frac{k}{2}\rfloor$
     $[l,m]$区间长度为$r-\lfloor \frac{k}{2}\rfloor$，由表示区间为$[1,m]$的左子树来划分区间，是左子树表示区间的后缀区间。
     $r-\lfloor \frac{k}{2}\rfloor \le \frac{r}{2}$
     左子树区间长度$\lceil \frac{k}{2}\rceil <k$。已知当n<k时定理成立。
     即区间长度为$\lceil \frac{k}{2}\rceil$的线段树可以把长为$r-\lfloor \frac{k}{2}\rfloor$的前缀区间划分为不超过$lo{g}_2(r-\lfloor \frac{k}{2}\rfloor )$个由线段树中结点表示的区间。
     $lo{g}_2(r-\lfloor \frac{k}{2}\rfloor )\le lo{g}_2\frac{r}{2}=lo{g}_{2}r-1$。
     因此区间$[l,m]$被左子树划分成的最大区间数为$lo{g}_{2}r-1$，加上先前划出的一个区间$[m+1,k]$，后缀区间$[l,k]$被表示区间$[1,k]$的线段树划分成的区间数不多于$lo{g}_{2}r$

综上：区间长度为n的线段树把任意长为r的后缀区间划分为不超过$lo{g}_{2}r$个由线段树中结点表示的区间

证明：区间长度为n的线段树把任意长为L的子区间划分为不超过$2lo{g}_{2}L$个由线段树中结点表示的区间。

使用数学归纳法

1. 易知，当n=1， n=2时成立
2. $k\ge 3$，已知$n<k$时定理成立，证明$n=k$时定理成立
   记长为L的区间为$[l,r]$，有3种情况：
   线段树表示的整体区间为$[1,k]$，$m=\lfloor \frac{k+1}{2}\rfloor =\lceil \frac{k}{2}\rceil$，左孩子区间$[1,m]$，长度为$\lceil \frac{k}{2}\rceil$，右孩子区间$[m+1,k]$，长度为$\lfloor \frac{k}{2}\rfloor$。

• 如果$r\le m$，则区间$[l,r]$完全可以由左子树来划分区间，由于左子树表示的区间长度$\lceil \frac{k}{2}\rceil \le k$，满足$n<k$，定理成立。
• 如果$l\ge m+1$，则区间$[l,r]$完全可以由右子树来划分区间，由于右子树表示的区间长度$\lfloor \frac{k}{2}\rfloor \le k$，满足$n<k$，定理成立。
• 如果$l\le m\le r$，则可以把$[l,r]$区间分为$[l,m],[m+1,r]$两个区间。
  $[l,m]$是表示区间$[1,m]$的左子树的后缀区间，长度为$m-l+1$根据引理5，区间$[l,m]$可以被线段树划分为不超过$lo{g}_2(m-l+1)$个区间。
  $[m+1,r]$是表示区间$[m+1,k]$的右子树的前缀区间，长度为$r-m$，根据引理4，区间$[m+1,r]$可以被线段树划分为不超过$lo{g}_2(r-m)$个区间。
  $lo{g}_2(m-l+1)\le lo{g}_2(r-l+1)=lo{g}_{2}L$
  $lo{g}_2(r-m)\le lo{g}_2(r-l+1)=lo{g}_{2}L$
  划分出的总区间数为$lo{g}_2(m-l+1)+lo{g}_2(r-m)\le 2lo{g}_{2}L$，定理成立。

综上：区间长度为n的线段树把任意长为L的子区间划分为不超过$2lo{g}_{2}L$个由线段树中结点表示的区间。