二叉树的性质

性质1 在二叉树的第i层上至多有$2^{i-1}$个结点$(i\ge1)$。
性质2 深度为k的二叉树至多有$2^k-1$个结点，$(k\ge1)$。
性质3 对任何一个二叉树T，如果它的终端的结点数为$n_0$，度为2的结点数为$n_2$,则$n_0=n_2+1$。

定义：一颗深度为k的且有$2^k-1$个结点的二叉树成为满二叉树。与它类似却又不同的是完全二叉树。

性质4 具有n个结点的完全二叉树的深度为$\lfloor\log_2n\rfloor+1$。
性质5 如果对一棵有n 个结点的完全二叉树，则对任一结点$i(1\ge i \le n)$,有
(1) 如果i=1，则结点i为二叉树的根，无双亲；如果$i>1$，则其双亲的PARENT(i)是结点$\lfloor i/2\rfloor$。
(2)如果$2i>n$，则结点i无左孩子(结点i为叶子结点)；否则其左孩子LCHILD(i)是结点 2i。
(3)如果$2i+1>n$，则结点i 无右孩子；否则其右孩子RCHILD(i)是结点 2i+1。