一,树的概念与结构
树是⼀种非线性的数据结构,它是由 n(n>=0) 个有限结点组成⼀个具有层次关系的集合。把它叫做树是因为它看起来像⼀棵倒挂的树,也就是说它是根朝上,而叶朝下的。
1.有⼀个特殊的结点,称为根结点,根结点没有前驱结点。
2.除根结点外,其余结点被分成 M(M>0) 个互不相交的集合 T1、T2、……、Tm ,其中每⼀个集合Ti(1 <= i <= m) ⼜是⼀棵结构与树类似的⼦树。每棵⼦树的根结点有且只有⼀个前驱,可以有 0 个或多个后继。因此,树是递归定义的。
但是树形结构中,子结点之间不能有交集否则就不是树形结构(子结点相交之后为图不为树),同时对于树形结构,除了根结点外,每个结点有且仅有⼀个父结点。
二,树的相关特性术语表示
1.父结点/双亲结点:
若⼀个结点含有子结点,则这个结点称为其子结点的父结点; 如上图:A是B的父结点(也称为双亲结点的原因些许有一些性别因素)。
2.子结点/孩子结点:
⼀个结点含有的子树的根结点称为该结点的⼦结点; 如上图:B是A的孩子结点。
3.结点的度:
一个结点有几个孩子,他的度就是多少;比如A的度为6,F的度为2,K的度为0。
4.树的度:⼀棵树中,最大的结点的度称为树的度; 如上图:树的度为 6。
5.叶子结点/终端结点:
度为 0 的结点称为叶结点; 如上图: B、C、H、I... 等结点为叶结点。
6.分支结点/非终端结点:
度不为 0 的结点; 如上图: D、E、F、G... 等结点为分支结点。
7.兄弟结点:
具有相同父结点的结点互称为兄弟结点(亲兄弟); 如上图: B、C 是兄弟结点。
8.结点的层次:
从根开始定义起,根为第 1 层,根的子结点为第 2 层,以此类推。
9.树的高度或深度:
树中结点的最大层次; 如上图:树的高度为4。
10.结点的祖先:
从根到该结点所经分支上的所有结点;如上图: A 是所有结点的祖先。
11.路径:⼀条从树中任意节点出发,沿父节点-子节点连接,达到任意节点的序列;比如A到Q的路径为: A-E-J-Q;H到Q的路径H-D-A-E-J-Q。
12.子孙:
以某结点为根的子树中任⼀结点都称为该结点的子孙。如上图:所有结点都是A的子孙。
13.森林:由 m(m>0) 棵互不相交的树的集合称为森林。
三,树的常用表示法
孩子兄弟表示法:
struct TreeNode
{struct Node* child; // 左边开始的第⼀个孩⼦结点struct Node* brother; // 指向其右边的下⼀个兄弟结点int data; // 结点中的数据域
}
树结构相对线性表就⽐较复杂了,要存储表示起来就比较麻烦了,既然保存值域,也要保存结点和结点之间的关系,实际中树有很多种表示方式如:双亲表示法,孩子表示法、孩子双亲表示法以及孩子兄弟表示法等。我们这里就简单的了解其中最常用的孩子兄弟表示法。
四,二叉树的概念与结构
2.1概念
在树形结构中,我们最常用的就是二叉树,⼀棵二叉树是结点的⼀个有限集合,该集合由⼀个根结点加上两棵别称为左子树和右子树的二叉树组成或者为空。
2.2特殊的二叉树
2.2.1满二叉树
⼀个二叉树,如果每⼀个层的结点数都达到最大值,则这个二叉树就是满二叉树。也就是说,如果⼀个二叉树的层数为 K ,且结点总数是 2k(K是次方) - 1 ,则它就是满二叉树。
2.2.2完全二叉树
完全二叉树是效率很高的数据结构,完全二叉树是由满二叉树而引出来的。对于深度为 K 的,有 n 个结点的二叉树,当且仅当其每⼀个结点都与深度为K的满二叉树中编号从1至n的结点⼀⼀对应时称之为完全二叉树。要注意的是满二叉树是⼀种特殊的完全二叉树。
2.2.3二叉树的性质
1.若规定根结点的层数为 1 ,则⼀棵非空⼆叉树的第i层上最多有 2i(次方)-1 个结点。
2.若规定根结点的层数为 1 ,则深度为 h 的⼆叉树的最大结点数是2h(次方) - 1。
3.若规定根结点的层数为 1 ,具有 n 个结点的满二叉树的深度 ( log以2为底, n+1 为对数)。
五,二叉树的存储结构
二叉树⼀般可以使用两种结构存储,⼀种顺序结构,⼀种链式结构。
5.1顺序结构:
顺序结构存储就是使用数组来存储,⼀般使用数组只适合表示完全二叉树,因为不是完全二叉树会有空间的浪费,完全⼆叉树更适合使用顺序结构存储。
5.2链式结构
二叉树的链式存储结构是指,用链表来表示一棵二叉树,即用链来指示元素的逻辑关系。 通常的方法是链表中每个结点由三个域组成,数据域和左右指针域,左右指针分别用来给出该结点左孩⼦和右孩子所在的链结点的存储地址 。链式结构又分为二叉链和三叉链,当前我们当前⼀般都是二叉链,在红黑树阶段才会使用到三叉链。
⼀般堆使用顺序结构的数组来存储数据,堆是⼀种特殊的二叉树,具有二叉树的特性的同时,还具备其他的特性。考虑到篇幅问题,由于涉及到其向上及向下调整法的复杂度推导,所以篇幅过长解释也会显得冗乱,我们下篇文章介绍堆的实现(也就是实现顺式结构的二叉树)。