数据结构篇之二叉树

一、树的定义

树型结构是一类非线性的数据结构，树是以分支关系定义的层次结构，如下图所示：

树是n(n >= 0)个节点的有限集，在任意一颗非空树中：

1. 有且仅有一个特定的称为根的节点；
2. 当n > 1时，其余节点可分为m(m > 0)个互不相交有限集，其中每一个集合本身又是一棵树，并且称为根的子树；

树的结点包含一个数据元素以及若干指向其子树的分支，节点拥有的子树数称为结点的度，度为0的称为叶子或终端结点，上图中G、H、I、J、F都是树的叶子。度不为0的结点称为非终端结点或分支结点，上图树的度为2。

除根节点之外，分支节点也称为内部结点。树的度是树内各结点的的度的最大值。结点的子树的根称为该结点的孩子，相应地，该结点称为孩子的双亲。

如果将树中结点的各子树看成从左至右是有次序的，则称该树为有序树，否则称为无序树。在有序树中最左边的子树的根称为第一个孩子，最右边的称为最后一个孩子。

二、二叉树

1、定义及性质

二叉树是另一种树型结构，它的每个结点至多只有两个子树(即二叉树中不存在度大于2的结点)，并且二叉树的子树有左右之分，其次序不能随意颠倒。

二叉树具有以下性质：

• 性质一：在二叉树的第i层至多有 2^i-1 个结点(i >= 1)；

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

• 性质三：对任何一棵二叉树T，如果其终端结点数为n₀，度为2的结点数为n₂，则n₀ = n₂ + 1；

• 性质四：具有n个结点的完全二叉树的深度为 k - 1 <= log₂ⁿ < k;

• 性质五：如果对一棵有n个结点的完全二叉树，则对任一结点，有：

  ​ (1) 如果 i = 1，则结点 i 是二叉树的根，无双亲；如果 i > 1，则其双亲PARET(i)是结点不大于 i/2；

  ​ (2) 如果 2i > n，则结点 i 无左孩子；否则其左孩子LCHILD(i) 是结点 2i；

  ​ (3) 如果 2i + 1 > n，则结点 i 无右孩子；否则其右孩子RCHILD(i) 是结点 2i + 1。

二叉树的深度：深度是从上到下数的，指根结点到该结点的最长简单路径边的条数；

二叉树的高度：高度是从下往上数的，高度是从叶子结点到它的根结点的最长简单路径的条数。

2、遍历二叉树

按某条搜索路径巡访树中的每个结点，使得每个结点均被访问一次，而且仅被访问一次，即为遍历二叉树。二叉树是由3个基本单元组成：根节点、左子树和右子树，因此，遍历二叉树有三种递归算法。

对于非空的二叉树有以下3中遍历方法：

1. 先序遍历二叉树：访问根节点 > 先序遍历左子树 > 先序遍历右子树；
2. 中序遍历二叉树：中序遍历左子树 > 访问根节点 > 中序遍历右子树；
3. 后序遍历二叉树：后序遍历左子树 > 后序遍历右子树 > 访问根节点；

3、满二叉树

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

4、完全二叉树

完全二叉树是由满二叉树而引出来的。对于深度为K的，有n个结点的二叉树，当且仅当其每一个结点都与深度为K的满二叉树中编号从1至n的结点一一对应时称之为完全二叉树。

(1)所有的叶结点都出现在第k层或k-l层（层次最大的两层）

(2)对任一结点，如果其右子树的最大层次为L，则其左子树的最大层次为L或L+l。

一棵二叉树至多只有最下面的两层上的结点的度数可以小于2，并且最下层上的结点都集中在该层最左边的若干位置上，则此二叉树成为完全二叉树，并且最下层上的结点都集中在该层最左边的若干位置上，而在最后一层上，右边的若干结点缺失的二叉树，则此二叉树成为完全二叉树。

5、平衡二叉树

平衡二叉树又被称为AVL树，它具有以下性质：

• 它的左子树和右子树都是平衡二叉树，且左子树和右子树的深度之差的绝对值不超过1；
• 若将二叉树节点的平衡因子BF定义为该节点的左子树的深度减去它的右子树的深度，则平衡二叉树上所有节点的平衡因子只可能为-1,0,1；
• 只要二叉树上有一个节点的平衡因子的绝对值大于1，那么这颗平衡二叉树就失去了平衡。