数据结构完全二叉树性质

完全二叉树

若二叉树左子树高度-右子树高度小于等于1且大于等于0则称该二叉树为完全二叉树。
二叉树一般性质：
性质1：二叉树第i层上的结点数目最多为$2^{i-1}(i\ge 1)$

性质2：深度为k的二叉树至多有$2^{k-1}(k\ge 1)$个结点

性质3：包含n个结点的二叉树的高度至少为${\log }_{2}n+1$

性质4：在任意一棵二叉树中，若叶子结点的个数为$n_0$，度为2的结点数为$n_2$，则$n_0=n_2+1$
性质4推导:
易知结点总数$n=n_0+n_1+n_2$，根据二叉树的度之和（边数量）=n-1，可得$n-1=n_0\ast 0+n_1\ast 1+n_2\ast 2$。
联合上面两个公式即可得到性质4
完全二叉树性质：
性质1：度为1的结点仅有1个或0个（叶子节点尽可能往左排）
性质2：叶子结点个数$=\frac{n}{2}$或$=\frac{n+1}{2}$（n为奇数）
利用$n=n_0+n_1+n_2$与$n_0=n_2+1$与性质1容易证明。