目录

一. 树(非线性结构）

1.1 树的概念与结构

1.2 树的表示

二. 二叉树

2.1 二叉树的概念与结构

2.2 特殊的二叉树

2.3 二叉树的存储结构

三. 实现顺序结构的二叉树

3.1 堆的概念与结构

---

一. 树(非线性结构）

1.1 树的概念与结构

概念：属于非线性的数据结构，它是由n(n>=0)个有限结点组成一个具有层次关系的集合。把它叫做树是因为它看起来像一棵倒挂的树，也就是说它是根朝上，而叶朝下的。

• 有一个特殊的结点，称为根结点，根结点没有前驱结点。

• 除根结点外，其余结点被分成 M(M>0) 个互不相交的集合 T1、T2、……、Tm ，其中每一  个集合Ti(1 <= i <= m) 又是一棵结构与树类似的子树。每棵子树的根结点有且只有一个前驱结点，可以有 0 个或多个后继。因此，树是递归定义的。

 上面那个就是一个树的结构，A就是那个特殊的结点，叫做根结点。而且每一个子树的根节点有且只有一个前驱，可以有0个或者多个后继。需要注意的是，树形结构中，子树之间不能有交集，否则就不是树形结构；子树是不相交的（如果存在相交就是图了，图以后得课程会有讲解）；除了根结点外，每个结点有且仅有一个父结点，一棵N个结点的树有N-1条边。

1.2 树的表示

树的相关术语：

1. 父结点/双亲结点：若一个结点含有子结点，则这个结点称为其子结点的父结点； 
2. 子结点/孩子结点：一个结点含有的子树的根结点称为该结点的子结点； 
3. 结点的度：一个结点有几个孩子，他的度就是多少；
4. 叶子结点/终端结点：度为 0 的结点称为叶结点；
5. 分支结点/非终端结点：度不为 0 的结点；
6. 兄弟结点：具有相同父结点的结点互称为兄弟结点(亲兄弟)； 
7. 结点的层次：从根开始定义起，根为第 1 层，根的子结点为第 2 层，以此类推；
8. 树的高度或深度：树中结点的最大层次； 
9. 结点的祖先：从根到该结点所经分支上的所有结点；
10. 路径：一从树中任意节点出发，沿父节点-子节点连接，达到任意节点的序列；
11. 子孙：以某结点为根的子树中任⼀结点都称为该结点的⼦孙；
12. 森林：由 m（m>0） 棵互不相交的树的集合称为森林；

树的表示：

树的基本形式我们已经知道了，相对于线性结构树的结构确实会复杂很多，我们要如何去表示树？要用什么方法去表示？对于树的表示方法我们其实有很多，比如双亲表示法、孩子表示法、孩子兄弟表示法等，但其实我们最常用的还是孩子兄弟表示法。

struct TreeNode
{
struct Node* child; // 左边开始的第⼀个孩⼦结点
struct Node* brother; // 指向其右边的下⼀个兄弟结点
int data; // 结点中的数据域
};

上面的是我们利用结构体写出的树的结构，利用了孩子兄弟表示法，具体是什么思路，下面我会给大家详细解释，如图：

上面通过图片的形式表示出来，大家可能会更清楚一点，首先树中的每一个结点都是一样的结构，有孩子和兄弟，就拿上图来说，首先A的孩子结点指向B，同时B的兄弟结点指向C，这样就可以满足B和C的父节点是A，与树的形状一致，同理B的孩子结点指向D，D的兄弟结点再指向E，E的兄弟结点再指向F，以此类推，我们就可以利用这个方法完成数的结构了。其实也是很好理解的。

数的实际应用场景：对于数的结构，虽然有些许复杂，但是在实际生活中还是有很多用处的，比如我们最常见的电脑磁盘，每一个文件下可能有多个文件，在这些子文件中可能还有很多文件，这样的结构其实就是和数的结构基本是一致的。

二. 二叉树

2.1 二叉树的概念与结构

数的结构是有些许复杂的，可能每一个结点可能会有不一样数量的孩子结点等，可能数量会非常多，所以我们来介绍一种比较常用的类型，叫做二叉树。

从上图可以看出二叉树具备以下特点：

1. 二叉树不存在度大于 2 的结点；

2. 二叉树的子树有左右之分，次序不能颠倒，因此 二叉树是有序树 ；

对于任何的二叉树都是由下面几种复合而成的：

2.2 特殊的二叉树

满二叉树：

完全二叉树：

💡 二叉树性质

根据满二叉树的特点可知：

1）若规定根结点的层数为 1 ，则一棵非空二叉树的第i层上最多有 2^( i−1 )^个结点；

2）若规定根结点的层数为 1 ，则深度为 h 的二叉树的最大结点数是 2^h − 1；

3）若规定根结点的层数为 1 ，具有 n 个结点的满二叉树的深度 h = log2 (n + 1) ( log

以2为底， n+1 为对数)；

2.3 二叉树的存储结构

三. 实现顺序结构的二叉树

3.1 堆的概念与结构

现实中我们通常把堆（一种二叉树）使用顺序结构的数组来存储，需要注意的是这里的堆和操作系统虚拟进程地址空间中的堆是两回事，一个是数据结构，一个是操作系统中管理内存的一块区域分段。堆是一种特殊的二叉树，具备二叉树的性质以为，还有一些其他的性质。

堆其实结构上与二叉树是相同的，但是堆有小堆和大堆之分，当孩子结点始终要大于或等于父结点的时候，我们称之为小堆；相反，当父结点始终大于或等于孩子结点的时候，我们称之为大堆；

 堆具有以下性质

• 堆中某个结点的值总是不大于或不小于其父结点的值；

• 堆总是一棵完全二叉树；

💡 二叉树性质

• 对于具有 n 个结点的完全二叉树，如果按照从上至下从左至右的数组顺序对所有结点从

   0 开始编号，则对于序号为 i 的结点有：

1. 若 i>0 ， i 位置结点的双亲序号： (i-1)/2 ； i=0 ， i 为根结点编号，无双亲结点；

2. 若 2i+1<n ，左孩子序号： 2i+1 ， 2i+1>=n 否则无左孩子；

3. 若 2i+2<n ，右孩子序号： 2i+2 ， 2i+2>=n 否则无右孩子；

 本篇主要详细的讲了关于数的概念和结构，只有我们清楚了数的结构，是通过什么方法来实现的，我们在后续的学习中才会更加得心应手，后面一篇我会给大家详细讲解堆的实现，以及堆的向上调整法和向下调整法。