二叉树定义及其性质

1. 二叉树的定义

二叉树（Binary Tree）是n（n>=0）个结点的有限集合，该集合或者为空集（空二叉树），或者由一个根结点和两棵互不相交的、分别称为根结点的左子树和右子树的二叉树组成。

2. 二叉树的五种基本形态：

• 空二叉树
• 只有一个根结点
• 根结点只有左子树
• 根结点只有右子树
• 根结点既有左子树又有右子树

3. 斜树

4. 满二叉树

在一棵二叉树中，如果所有分支结点都存在左子树和右子树，并且所有叶子都在同一层上，这样的二叉树称为满二叉树。

• 满二叉树的特点有：
– 叶子只能出现在最下一层。
– 非叶子结点的度一定是2。
– 在同样深度的二叉树中，满二叉树的结点个数一定最多，同时叶子也是最多。

5. 完全二叉树

对一棵具有n个结点的二叉树按层序编号，如果编号为i(1<=i<=n)的结点与同样深度的满二叉树中编号为i的结点位置完全相同，则这棵二叉树称为完全二叉树。

• 完全二叉树的特点有：
– 叶子结点只能出现在最下两层。
– 最下层的叶子一定集中在左部连续位置。
– 倒数第二层，若有叶子结点，一定都在右部连续位置。
– 如果结点度为1，则该结点只有左孩子。
– 同样结点树的二叉树，完全二叉树的深度最小。

• 注意：满二叉树一定是完全二叉树，但完全二叉树不一定是满二叉树

6. 二叉树性质：

1）

在二叉树的第i层上至多有2^(i-1)个结点(i>=1)；

2）

深度为k的二叉树至多有2^k-1个结点(k>=1)；

3)

对任何一棵二叉树T，如果其叶子结点数为n0，度为2的结点数为n2，则n0=n2+1。
推导：
首先我们再假设度为1的结点数为n1，则二叉树T的结点总数n=n0+n1+n2，
其次我们发现连接数（结点之间的连线）总是等于总结点数n-1，并且等于n1+2 * n2，
所以n-1=n1+2 * n2，
所以n0+n1+n2-1=n1+n2+n2，
最后n0=n2+1。

4）

具有n个结点的完全二叉树的深度为⌊log₂n⌋+1。⌊ ⌋：向下取整。
推导：
• 由满二叉树的定义结合性质二我们知道，深度为k的满二叉树的结点树n一定是2^k-1
• 那么对于满二叉树我们可以通过n=2^k-1倒推得到满二叉树的深度为k=log₂(n+1)
• 那么对于倒数第二层的满二叉树我们同样很容易回推出它的结点数为n=2^(k-1)-1
• 所以完全二叉树的结点数的取值范围是：2^(k-1) < n+1 <= 2^k
• 因为 log₂(n+1)<=k< log₂(n+1)+1
• 所以 log₂(n)<k< log₂(n)+2
• 又因为：k是深度，必须取整，所以log₂(n)<k< = log₂(n)+1
• 所以 k=⌊log₂n⌋+1

5）

• 如果对一棵有n个结点的完全二叉树(其深度为⌊log₂n⌋+1)的结点按层序编号，对任一结点i(1<=i<=n)有以下性质：
• 如果i = 1，则结点 i 是二叉树的根，无双亲；如果i > 1，则其双亲是结点⌊i/2⌋
• 如果2i > n，则结点 i 无左孩子(结点 i 为叶子结点)；否则其左孩子是结点2i
• 如果2i+1 > n，则结点 i 无右孩子；否则其右孩子是结点2i+1