树与二叉树理论(知识基础)

树与二叉树理论

---

1.树的概念与结构

1.树的概念：树是一种非线性的数据结构，它是由n个或0个有限结点组成一个具有层次关系的集合

注意：树形结构中，子树之间不能出现交集，否则不是树形结构，如下图：

2.树的相关名词：核心记忆(度为子树个数，高度为最大层次)

1. 节点的度：一个节点的子树 (子节点) 个数称为该节点的度—如上图：A的度为3
2. 叶子节点 (终端节点)：度为0的节点称为叶子节点—如上图：J、F、K、L、H、I 节点为叶节点
3. 非终端节点 (分支节点)：度不为0的节点—如上图：B、C、D、E、G 节点为分支节点
4. 双亲节点 (父节点)：若一个节点有子节点，则这个节点称为其子节点的父节点—如上图：A是B的父节点
5. 孩子节点 (子节点)：一个节点含有的子树的根节点称为该节点的子节点—如上图：B是A的孩子节点
6. 兄弟节点：具有相同父节点的节点互称为兄弟节点—如上图：B、C、D是兄弟节点
7. 树的度：一棵树中，最大的节点的度称为树的度—如上图：树的度为3
8. 节点的层次：从根开始定义起，根为第1层，根的子节点为第2层，以此类推；
9. 树的高度 (深度)：树中节点的最大层次—如上图：树的高度为4，空树的高度是0，只有根节点的树高度为1
10. 堂兄弟节点：双亲在同一层的节点互为堂兄弟—如上图：F、G互为堂兄弟节点
11. 节点的祖先：从根到该节点所经分支上的所有节点—如上图：A是所有节点的祖先，K的祖先是A、C、G
12. 子孙：以某节点为根的子树中任一节点都称为该节点的子孙—如上图：所有节点都是A的子孙
13. 森林：由 m (m>0) 棵互不相交的树的集合称为森林（并查集就是一个森林）

3.树的结构定义：树结构相对线性表就比较复杂了，要存储表示起来就比较麻烦了，既然保存值域，也要保存结点和结点之间的关系。实际中树有很多种表示方式如：双亲表示法，孩子表示法、孩子双亲表示法、孩子兄弟表示法等。我们这里就简单的了解其中最常用的孩子兄弟表示法

定义树的结构，首先需要说明树的度是多少，否则很难去定义

struct TreeNode
{
    int data; // 数据域
	struct TreeNode* subs[3]; // 此树的度为3
};

如果没有说明树的度是多少，还可以用顺序表去存储

struct TreeNode
{
    int data; // 数据域
    SeqList subs; // 顺序表中存储的是树节点指针
    // C++可以这样写：vector subs;
};

双亲表示法，树的结构中，往下走，孩子节点可能有很多，但往上走，每个节点的双亲结点只有一个

struct TreeNode
{
    int data; // 数据域
    struct TreeNode* parent; // 记录该节点的双亲结点
};

上述方法都不是很实用，最实用的表示方法是孩子兄弟表示法，即左孩子右兄弟

typedef int DataType;
struct Node
{
    DataType _data;             // 结点中的数据域
	struct Node* _firstChild;   // 指向第一个孩子结点（即最左边的孩子节点）
	struct Node* _pNextBrother; // 指向右边的第一个兄弟结点
};

---

2.二叉树的概念与结构

1.二叉树概念：二叉树就是一个度为2的树—由一个根节点加上两棵，分别称为左子树和右子树的树组成

2.二叉树特点：

1. 二叉树不存在度大于2的结点(每个结点最多两个孩子)
2. 二叉树的子树有左右之分，分为左右子树，因此二叉树是有序树

3.特殊二叉树：完全二叉树—(满二叉树是特殊的完全二叉树)

满二叉树概念：一个二叉树，如果每一个层的结点数都达到最大值，则这个二叉树就是满二叉树。也就是说，如果一个二叉树的层数为 K，且结点总数是 2^k- 1 ，则它就是满二叉树

完全二叉树概念：完全二叉树是效率很高的数据结构。一个深度为 K 的，有 n 个结点的二叉树，当且仅当其每一个结点都与深度为 K 的满二叉树中编号从 1 至 n 的结点对应时称之为完全二叉树。注：满二叉树是一种特殊的完全二叉树—完全二叉树度为1的结点只能有一个，如下图2

4.二叉树的性质：

1. 若规定根节点的层数为1，则一棵非空二叉树的第 i 层上最多有 2ⁱ-1 个结点
2. 若规定根节点的层数为1，则高度(深度)为 h 的二叉树的「最大结点数」是 2^h - 1
3. 对任何一棵二叉树，如果度为 0 的叶结点个数为 n0，度为 2 的分支结点个数为 n2，则有 n0＝n2 ＋1（度为 0 的节点比度为 2 的节点多一个）
4. 若规定根节点的层数为 1，具有 n 个结点的「满二叉树」的高度(深度) h = log₂(n+1)
5. 对于具有 n 个结点的完全二叉树，如果按照从上至下从左至右的数组顺序对所有节点从 0 开始编号，则对于序号为 i 的结点有：
   1. 若 i > 0，i 位置节点的双亲序号：(i - 1) / 2
   2. 若 2i + 1 < n，左孩子序号：2i + 1，2i + 1 >= n—否则无左孩子
   3. 若 2i + 2 < n，右孩子序号：2i + 2，2i + 2 >= n—否则无右孩子

---

3.二叉树的存储结构

二叉树一般可以使用两种结构来存储，一种顺序结构，一种链式结构

1.顺序存储结构：顺序存储就是使用数组来存储，而「数组」一般只适合表示「满二叉树」或「完全二叉树」，因为不是完全二叉树会有「空间的浪费」。在实际使用中，只有「堆」才会使用数组来存储。二叉树的顺序存储在物理上是一个数组，在逻辑上是一颗二叉树

2.链式存储结构：链式存储结构是指用链表来表示一棵二叉树，即用链来指示元素间的逻辑关系。通常的方法是链表中每个结点由三个域组成，数据域和左右指针域，左右指针分别用来记录该结点左孩子和右孩子所在的链结点的存储地址。链式结构又分为二叉链和三叉链，目前我们学的一般都是二叉链（红黑树等才会用到三叉链

typedef int BTDataType;
// 二叉链
struct BinaryTreeNode
{
	BTDataType data; // 数据域
	struct BinaryTreeNode* leftchild;  // 指向当前节点的左孩子
	struct BinaryTreeNode* rightchild; // 指向当前节点的右孩子
};

// 三叉链
struct BinaryTreeNode
{
	BTDataType data; // 数据域
	struct BinaryTreeNode* leftchild;  // 指向当前节点的左孩子
	struct BinaryTreeNode* rightchild; // 指向当前节点的右孩子
	struct BinaryTreeNode* parent;     // 指向当前节点的双亲
};