5.4 二叉树的性质和存储结构

 

5.4 二叉树的性质和存储结构

二叉树，作为一种基础且重要的数据结构，不仅在理论研究中占有一席之地，也在实际应用中发挥着重要作用。本节将深入探讨二叉树的基本性质及其存储结构，以便更好地理解和应用二叉树。

5.4.1 二叉树的性质

性质1：层级节点数量

在二叉树的第i层上，至多有2i−1个节点（i≥1）。这一性质的证明基于归纳法，很容易验证。例如，当i=1时，只有一个根节点，符合21−1=121−1=1。

性质2：最大节点数

深度为k的二叉树至多有2k−1个节点。这是因为深度为k的二叉树的节点数最大值等于从第1层到第k层的节点数之和。

性质3：终端节点与度为2的节点关系

对任何一棵二叉树T，如果其终端节点（叶子节点）数为n0​，度为2的节点数为n2​，则有n0​=n2​+1。这一性质说明了二叉树中终端节点与度为2的节点之间存在固定的数学关系。

满二叉树与完全二叉树

• 满二叉树：深度为k且含有2k−1个节点的二叉树，每一层的节点数都达到最大值。
• 完全二叉树：深度为k的、有n个节点的二叉树，其节点排列方式与深度为k的满二叉树中编号从1至n的节点一一对应。

性质4：完全二叉树的深度

具有n个节点的完全二叉树的深度为⌈log2​n⌉+1。这表明完全二叉树的深度与节点总数有着直接的对数关系。

性质5：节点编号与位置关系

在一棵有n个节点的完全二叉树中，对节点按层序编号（从1至n），对于任一节点i，有：

1. 如果i=1，则节点是二叉树的根；如果i>1，则其双亲是节点⌊i/2⌋。
2. 如果2i>n，则节点i无左孩子；否则其左孩子是节点2i。
3. 如果2i+1>n，则节点i无右孩子；否则其右孩子是节点2i+1。

这些性质为理解和操作二叉树提供了重要的理论基础，特别是在算法设计和数据结构的选择上。

二叉树的存储结构

二叉树的存储结构主要有两种：顺序存储和链式存储。

• 顺序存储：将二叉树的节点按层序编号，然后依次存储在数组中。这种方式适用于完全二叉树，可以有效地利用空间，但对于非完全二叉树会造成空间的浪费。
• 链式存储：每个节点由三部分组成：数据域、指向左子节点的指针和指向右子节点的指针。链式存储结构灵活，能有效地表示任何形态的二叉树，是二叉树实现的常用方法。

通过深入理解二叉树的性质和存储结构，我们可以更加高效和准确地处理与二叉树相关的算法和问题。

5.4.2 二叉树的存储结构

二叉树的存储结构是其逻辑结构在计算机中的物理表示。类似线性表，二叉树的存储结构主要有两种形式：顺序存储结构和链式存储结构。了解这两种存储方式对于二叉树的有效操作和实现至关重要。

1. 顺序存储结构

顺序存储结构使用一组地址连续的存储单元来保存二叉树的节点元素。这种方法通过将二叉树中的节点按照一定的规律（通常是层序）安排在一个数组中，从而反映出节点之间的逻辑关系。

对于完全二叉树，顺序存储结构特别适用，因为可以直接从根节点开始，按层序依次自上而下、自左至右存储节点元素。每个节点的位置与其在二叉树中的逻辑位置一一对应，从而节省存储空间并便于访问。

然而，对于一般二叉树，顺序存储结构可能会导致存储空间的浪费，尤其是在表示具有深度k且节点数少的二叉树时，需要的数组长度可能远大于节点数。

2. 链式存储结构

链式存储结构通过节点的方式来表示二叉树，每个节点包含数据元素及指向其左、右子树的指针。这种存储结构能够有效表示任何形状的二叉树，并且存储空间的利用率高。

二叉链表

二叉链表是二叉树的链式存储结构的基本形式，每个节点由三部分构成：数据域、左孩子指针域和右孩子指针域。这种结构可以方便地实现对二叉树节点的动态操作，如插入、删除节点等。

三叉链表

三叉链表在二叉链表的基础上增加了一个指向父节点的指针域，使得在某些情况下（例如，查找节点的双亲）操作更加便捷。然而，这种增加的便利性也带来了额外的空间开销。

存储结构的选择

在实际应用中，选择哪种存储结构取决于二叉树的形态和需要进行的操作。顺序存储结构适用于完全二叉树或近似完全二叉树的情况，因为它可以高效利用存储空间并简化节点访问操作。而链式存储结构由于其灵活性和对任意形态二叉树的适用性，更适合表示一般二叉树，特别是在需要频繁进行插入和删除等动态操作时。

在二叉树的算法实现中，如二叉树的遍历和搜索等，链式存储结构（尤其是二叉链表）因其操作的灵活性和直观性而被广泛采用。例如，以下是二叉链表存储结构的一个C语言类型定义示例：

typedef struct BiTNode {
    TElemType data; // 节点数据域
    struct BiTNode *lchild, *rchild; // 左、右孩子指针
} BiTNode, *BiTree;

这种链式存储结构不仅可以高效地表示二叉树，还可以作为实现二叉树相关算法的基础。