2020-12-16

树和二叉树

树的定义及基本术语：

树的定义：

树是n（n大于等于0）个结点的有限集T，T为空时称为空树，否则它满足以下条件：

• T中有且只有一个结点K0，没有前驱，称K0为树的根结点
• 除了根结点外，其余结点有且只有一个直接前驱。
• T中的每一个结点可以有0或者n个后继。
• 当n大于等于1时，根结点下有可以有m个子树，这些子树是互不相交的有限集合。

树是一种十分重要的非线性数据结构，有明显的层次关系，数据元素之间的关系是一对多或者多对1。

树的表示：

嵌套集合表示法、广义表表示法、凹入表示法

图：

树的基本术语：

• 结点：数据元素及指向子树的分支
• 结点的度：结点下树的个数
• 叶子或终端：结点下树的个数为0
• 树的度：所有结点下树的个数的最大值（或者分支的最大值）
• 孩子、双亲：结点下子树的根为孩子，该结点为双亲。
• 兄弟：有同一双亲
• 祖先：从根到该结点途径的分支上的结点
• 子孙：该结点下的子树里的所有结点
• 堂兄弟：同一层除同一双亲外的结点互为堂兄弟
• 深度：最大层数
• 有、无序树：从左到右有次序就是有序树，反之为无序树
• 森林：m（m大于等于0）棵互不相交的树的集合；对树中的每个结点而言，其子树的集合也为森林。

二叉树

二叉树的定义：

• 每个节点至多有两个子树
• 子树有左右之分，顺序不能颠倒

满二叉树和完全二叉树：
图略

二叉树的性质

1. 在二叉树的第i层上至多有2^i-1个结点（i>=1)
   根据数学归纳法，按照每一层都是满的，第一层有一个1个结点，第二层有2个，第三层有4个，推理出第i层满的时候有2^i-1个结点。当第i层全满时结点最多，多一个就会变成第i+1层。
2. 深度为k的二叉树至多有2^k-1个结点（k>=1）
   同1，用等比数列的和可算出至多有2^k-1个结点
3. 对于任意一颗二叉树T，如果其终端结点数为n₀，度为2的结点数为n₂，则n₀=n₂+1
   从结点来看，有度为0、1、2的结点：总的结点数n=n₀+n₁+n₂；从分支看n=分支数+1，分支数=结点度之和=n₁+2n₂,上面三个式子整理后可得出上述结果。
4. 具有n个结点的完全二叉树的深度为log₂ⁿ向下取整后+1
   结点数n大于倒数第二层满了的结点数目，小于等于倒数第一层的结点数目。再取对数可得出。
5. 如果对一颗有n个节点的完全二叉树的结点按连续层序编号，则对任一结点i（1<=i<=n）,有:

（1）如果i=1,则结点i是二叉树的根节点，无双亲；若i>1,则双亲为编号为i/2的结点（i/2向下取整）
（2） 如果2i>n,则编号为i的结点无左孩子
（3）如果2i+1>n,则编号为i的结点无右孩子