有关线段树的一些性质探讨（完全、平衡）

问题

1. 线段树含有度为1的结点吗？

   答：线段树没有度为1的结点。
   从递归的角度来看，区间长度为1时，度为0；区间长度为2时，度为2和0；而对于任意区间长度大于2的区间来说，总可以将其分解成更小的左右区间，对于被分的结点，它的度为2，不存在度为1的结点
   从另外一方面考虑，假设树中存在度为1的结点A，由于线段树的父结点区间等于左右儿子区间之和，那么A的区间长度等于其儿子的区间长度，又由于线段树中的区间长度至少是1（叶结点），那么A的区间最小也为1。A的区间为1是不被允许的，因为A就是叶结点，不能再分；如果A的结点大于1，那么一定可以分成左右两个结点，所以A不可能度为1

2. 如果数组元素个数为N，那么创建一颗线段树总共构成（需要）多少个结点?

   答：2N-1
   对于线段树，由于1的论证，不存在度为1的结点，由于线段树的叶结点的 值和数组值是等价的，它们的个数相同，
   也就是$n_0=N$，同时，我们有：

   $$n_0+n_1+n_2=2n_2+n_1+1$$
   把$n_1=0$带入， $$n_2=N-1$$

3. 线段树是完全二叉树吗？

   答：某些情况下，不是完全二叉树，例如区间[1,6]

4. 用数组储存线段树，1为根结点，2N个树结点大小的空间够了吗？

   答：某些情况下，不够，因为可能不是完全二叉树，这意味着中间空了结点，大于2N，例如区间[1, 6]不是完全二叉树，需要14个树结点空间，而不是2×6=12个

5. 叶结点和树结点区间长度有怎样的关系

   答：某个树结点的区间长度等于该结点构成的子树的所有叶结点个数之和

6. 树结点的左右子树有怎样的关系？
   左子树和右子树区间长度之差总是小于等于1，即叶结点个数之差总是小于等于1

7. 线段树是平衡二叉树吗？
   答：是平衡二叉树
   假设结点A为某失衡结点，那么，它一定有左儿子和右儿子，线段树每增加一层，子树叶结点增加1，失衡时，左右高度之差为2，这意味着失衡结点的左右子树叶结点之差为2，这是不可能的（即使是放在同一层也不可能）

8. 待续