1、§7 树 §7.1 树的概念 【定义】 树(Tree)是n(n>0)个结点的有限集合T,它满足如下两个条件: (1) 有且仅有一个特定的称为根(Root)的结点; (2) 其余的结点可分为m(m≥0)个互不相交的有限集合,其中每一个集合又都是一颗树,并称为根的子树(Sub Tree)。 图7.1.1 【基本术语】k 1. 树的结点包含一个数据元素及若干指向其子树的分支。 结点拥有的子树数称为结点的度(degree)。 如图7.1,A的度为3,C的度为1,F的度为0。 2. 度为0的结点
2、称为叶子(leaf)或终端结点。例如K、L、F、G、M、I、J。 度不为0的结点称为分支结点或非终端结点。 除根结点外,分支结点也称为内部结点。 3. 树的度是树内各结点的度的最大值,如图7.1中树的度为3。 4. 结点的子树的根称为该结点的孩子(Child),该结点称为孩子的双亲(parent)。 如图7.1.1,B为A的子树的根,则B是A的孩子,而A则是B的双亲。 同一个双亲的孩子之间互称为兄弟(sibling),例如B、C、D互为兄弟。 将这些关系进一步推广,可认为D是M的祖父。结点的祖先是从根到该结点所经分支上的所有结点。例如,M的祖先为A、D、H。 反之,结点的子树中
3、的任一结点都称为该结点的子孙,如B的为E、F、K、L。 5. 结点的层次(level)是从根开始定义起,根为第一层,根的孩子为第二层。 若某结点在第x层,则其子树的根就在x+1层。 树中结点的最大层次称为树的高度或深度(depth)。如图7.1的树的深度为4。 图7.1.2 两棵不同的有序树 6. 如果将树中的结点的各子树看成从左到右是有次序的(即不能互换),则称该树为有序树,否则称为无序树。如图7.1.2。 7. 森林(forest)是m(m≥0)棵互不相交的树的集合。 §7.
4、2 二叉树 图7.2.1 §7.2.1 二叉树的定义 二叉树(binary tree)是一种树型结构,它的每个结点至多只有二棵子树(即二叉树中不存在度大于2结点),并且,二叉树的子树有左右之分,其次序不能任意颠倒。 (如图7.2.1) 满二叉树和完全二叉树是两种特殊形态的二叉树。 满二叉树是指深度为k,且有2k-1个结点的二叉树。 完全二叉树是指深度为k,有n个结点,当且仅当每一个结点都与深度为k的满二叉树中编号从1到n的结点一一对应时。
5、 图7.2.4 非完全二叉树 图7.2.3 完全二叉树 图7.2.2 满二叉树 §7.2.2 二叉树的性质 性质1:在二叉树的第i层上至多有 ① 个结点(i≥1)。 性质2:深度为k的二叉树至多有 ② 个结点(k≥1)。 性质3:对任意一棵二叉树,如果度为2的结点数为n2,则其叶子结点数为 ③。 性质4:具有n个结
6、点的完全二叉树的深度为 性质5:如果对一棵有n个结点的完全二叉树的结点按层序编号(每层从左到右),则对任一结点i (1≤i≤n),有: ① 如果i=1,则结点i是二叉树的根;如果i>1,则其双亲结点是i div 2 ② 如果2*i>n,则结点i无左孩子(结点i为叶子结点);否则其左孩子为2*i ③ 如果2*i+1>n,则结点i无右孩子,否则其右孩子为2*i+1 [参考答案及证明]: ① 2i-1 证明:利用归纳法 当i=1时,只有一个根结点,显然,2i-1=20=1 正确; 假设对所有的j,1≤j
7、 由假设,第i-1层上至多有2i-1个结点,由于二叉树中的每个结点的度至多为2,故在第i层上的最大结点数为第i-1层上最大结点数的2倍,即2*2i-2=2i-1 ② 2k-1 证明:深度为K的二叉树的最大结点数为 ③ n2+1 证明:设叶子结点数为n0,度为1的结点数为n1,则该数结点的总数为: n = n0 + n1 + n2 (1) 树中结点之间的连线称为分支。树中除根结点外,其余每个结点都有一个分支进入,设B为二叉树分支的总数,则有: B = n –1
8、 另一方面,这些分支是由度为1或2的结点射出的,所以: B = n1 + 2n2 所以: n – 1 = n1 + 2n2 (2) 由式(1)和(2)得: n0 + n1 + n2 – 1 = n1 + 2n2 即: n0 = n2 + 1 ④ 证明:假设深度为K的完全二叉树的结点数为n,则根据性质2和完全二叉树定义有: 或 于是 ∵ k是整数 ∴ ⑤ 证明略 §7.2.2 二叉树的存储结构 1.
9、顺序存储结构 图7.2.5 将二叉树的所有结点按一定的次序,存储到一片连续的存储单元中。这种结构,较适用于满二叉树或近似满二叉树。 如图7.2.5中完全二叉树的存储结构如下: A B C D E F G H I J K L M 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 图7.2.6 图7.2.6中的二叉树的存储结构如下: A B C D
10、 F G I M 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 可以看出,当二叉树较稀疏时,采用顺序存储将造成浪费。 [练习] 1) 如果完全二叉树最多有n层,那么存储该树的数组最少设________个单元; 2) 某结点存储于S[i],则存在双亲结点的条件: if ______________________ 其双亲结点位于S[ ____ ],其左孩子结点位于S[ ____ ]; 2.链式存储结构 设计不同的结点结构可以构成不同形式的链式存储结构。 由二叉树的定
11、义可知,二叉树的结点由一个数据元素和分别指向其左右子树的两个分支构成,则表示二叉树的链表中的结点至少包含三个域:数据域和左、右指针域,如图7.2.7。 有时为了便于找到结点的双亲,则还可以在结点的结构中增加一个指向其双亲结点的指针域。用这两种结点结构所得的二叉树的存储结构分别称为二叉链表和三叉链表,如图7.2.8。 Lchild Data Rchild 图7.2.7 A B C D E F G A B C D E F G (a) 二叉链表
12、b) 三叉链表 图7.2.8 在具体应用中采用什么存储结构,除根据二叉树的形态之外,还应考虑需进行何种操作。如找结点的双亲,在三叉链表中容易实现,而在二叉链表中则需从根中指针出发巡查。 §7.3 遍历二叉树 遍历二叉树(traversing binary tree)是指按某种搜索路径巡访树中每个结点,使得每个结点均被访问一次,且仅访问一次。 根据二叉树的定义知,二叉树由三个基本单元组成:根结点、左子树和右子树。因此,若能依次遍历这三个部分,则遍历了整棵二叉树。假设以D、L、R分别表示访问根结点、遍历左子树、遍历右子树,则可有DLR、L
13、DR、LRD、DRL、RDL、RLD六种遍历方案。前三种分别称为先(根)序、中(根)序、后(根)序,后三种称为逆先序、逆中序、逆后序。通常只使用前三种。 先序遍历二叉树的操作定义为: 图7.3.1 【例7.3_1】 DLR(先序):ABDICFMG LDR(中序):DIBAFMCG LRD(后序):IDBMFGCA (1)访问根结点; (2)先序遍历左子树; (3)先序遍历右子树; 中序遍历二叉树的操作定义为: (1)中序遍历左子树; (2)访问根结点; (3)中序遍历右子树; 后序遍
14、历二叉树的操作定义为: (1)后序遍历左子树; (2)后序遍历右子树; (3)访问根结点; 遍历算法的描述形式随存储结构的不同而不同,若定义二叉树的存储结构如下: TYPE Pointer = ^ node; node = RECORD data :char; lchild ,rchild :pointer; END; 先序遍历二叉树的递归算法如下: procedure preorder(p :pointer
15、 begin if p<>nil then begin write (p^.data); preorder(p ^ . lchild); preorder(p ^ . rchild); end; end; 请完成中序遍历二叉树的递归算法: procedure inorder(p :pointer); begin
16、 end; 请完成后序遍历二叉树的递归算法: procedure postorder(p :pointer); begin
17、 end; 二叉树的三种遍历递归算法写得非常精妙,只要对它稍加修改(主要在process语句处),就可的各种不同功能、用途的算法。如建立二叉树、查找结点、求每个结点所处的层次、求二叉树的高度、结点个数、复制二叉树等。 §7.4 二叉树
18、的建立 图7.4.1 二叉树的建立可分先序、中序、后序三种方法。先序建立二叉树即输入结点数据的顺序按先序遍历所得的序列输入,输入“*”,表示该子树为空,如输入a b c * * d * * e * * ,得到的二叉树如图7.4.1。 中序、后序类推。 【练习】: 请将前面遍历二叉树的算法稍加改动,分别写出先序、中序、后序建立二叉树的算法。 §7.5 树的存储结构 【思考】 请先不要看下面内容,如果对一棵树(不定支数),你如何设计它的存储结构? 一、 多重链表表示法 每个结点的设m个指针域指向该结点的子数,m为树的度,结点结构如
19、下: Data child1 child2 …… childm 很容易看出,多重链表的缺点是,当树中结点的子树数相差较大,许多结点的度小于m时,链表中有很多空指针域,空间较浪费。 二、 双亲表示法 这种存储结构利用每个结点(除根外)只有唯一的双亲的性质,以一组连续空间存储树的结点,同时在每个结点中附设一个指示器指示其双亲结点在链表中的位置。 data A B C D E F G H I parent 0 1 1 2 2 3 5 5 5 1 2 3 4 5 6
20、 7 8 9 其存储结构说明如下: TYPE tnode=record Data:char; Parent:integer; end; VAR tree:array [1..maxnode] of tnode; 三、 孩子表示法 将每个结点的孩子结点用单链表链接起来,树中n个结点就有n条孩子链(叶子的孩子链为空),而将这n条链的头结点按顺序排列起来,组成一个线性表。 A B C D E F G H I 2 3 4 5 6 7 8 9 1 2 3 4 5 6 7 8 9 (a)孩子
21、链表 2 4 7 8 5 3 6 9 1 2 3 4 5 6 7 8 9 A B C D E F G H I 0 1 1 2 2 3 5 5 5 (b)带双亲的孩子链表 图7.5.1 如图7.5.1(a)孩子链表的存储结构说明如下: TYPE tlink=^tnode; Tnode=RECORD Data : char; Next : tlink;
22、 End; Var tree: array [1..n] of tlink; 这种方法较适用于涉及孩子的操作,但不适用于涉及双亲的操作。我们可以采取改进的存储方法,在每一个孩子链的头结点中加一个域,存储其双亲结点的位置,如图7.5.1(b)。 四、 孩子兄弟表示法 又称二叉链表表示法,链表中结点的两个链接域分别指向该结点的第一个孩子结点和下一个兄弟结点。 2 3 7 8 9 6 1 4 5 结点结构说明如下: TYPE tlink=^tnode; Tnode=RECORD Data : char;
23、 fch , nsib :tlink; END §7.6 森林与二叉树的转换 从上面树的孩子兄弟表示法可以看出,二叉树和树都可用二叉链表作为存储结构,则以二叉链表作为媒介可导出树与二叉树之间的一个对应关系。也就是说,给定一棵树,可以找出唯一的一棵二叉树与之对应。 将一般树或森林转换成二叉树表示,其目的是为了节省存储空间。 §7.6.1 树或森林转换成二叉树 树转换成二叉树的步骤如下: ① 将结点的所有兄弟连接在一起; ② 将所有不是连到最左子结点的子结点链表删除; ③ 将结点的右子树
24、向顺时针方向旋转45°。 (a) -- (b) 【图7.6.1】 (c) (d) (e) 树转换成二叉树的步骤如下: ① 将森林中的各棵树分别转换成二叉树; ② 将所有转换而成的二叉树的树根相连;第
25、二棵树作为第一棵 树的右子树,第三棵树作为第二棵树的右子树……,以第一棵树的树根为根。 算法描述如下: 如果 F={T1 , T2 , …, Tm} 是森林,则可按如下规则转换成一棵二叉树 B={root , LB , RB}。 (1)若F为空,即m=0,则B为空树; (2)若F非空,即m≠0,则B的根root即为森林中第一棵树的根root(T1); B的左子树LB是第一棵树转换而成的二叉树; B的右子树RB是从森林F’={T2 , T3 , …, Tm}转换而成的二叉树。 ★ 转换所得的二叉树,左支是孩子,右支是兄弟。 §7.6.2 二叉树转换成森林或树 二
26、叉树转换成树其实是树转二叉树的逆过程,步骤如下: ① 将每个结点的右子树向逆时针方向旋转45°。 ② 删除与左子树的横向连接; ③ 断开连接后的结点与左子树为兄弟,将其与双亲相连。 如果B={root , LB , RB}是一棵二叉树,则可按如下规则转换成森林F={T1 , T2 , … , Tm}。 (1)若B为空,则F为空; (2)若B非空,则F中第一棵树T1的根 root(T1) 即为二叉树B的根root; T1中根结点的子树森林是由B的左子树LB转换而成的森林; F中其余的树F’={T2 , T3 , … , Tm} 是由B的右子树RB转换而成的
27、森林。 【练习】将下列的树或森林转换成二叉树 (1) (2) 【练习】将下列的二叉树转换成树或森林 (1) (3) (2) (4)
28、 (5) §7.7 树和森林的遍历 一、 先序遍历森林 若森林非空,可按以下规则遍历: (1)访问第一棵树的根; (2)先序遍历第一棵树的子树; 对上图森林进行遍历 先序遍历序列: A B C D E F G H I J 中序遍历序列: B C D A F E H J I G (3)先序遍历余下的其它树; 二、 中序遍历森林 若森林非空,可按以下规则遍历:
29、 (1)中序遍历森林中第一棵树的根结点 (2)访问第一棵树的根结点; (3)中序遍历余下的其它树; §7.8 哈夫曼树及其应用 §7.8.1 扩充二叉树 · 几个基本概念 从树中一个结点到另一个结点之间的分支构成这两个结点之间的路径; 路径上的分支数目称为路径长度; 树的路径长度是从树根到每一结点的路径长度之和; · 扩充二叉树是指将原二叉树中每个凡缺少左、右孩子的结点,均扩充为带左、右两个孩子。 例如图7.8.1(a)中的二叉树变为扩充二叉树后如图7.8.1(b)所示,图中圆形结点是原来的,称为内部结点;方形结点是扩充结点,又称外部结点。
30、 (a)二叉树 (b) 扩充二叉树 【图7.8.1】 内路径长度 I (从根到每一内结点的路径长度之和): I = 1 + 2 + 1 + 2 + 3 + 2 = 11 外路径长度 E (从根到每一外结点的路径长度之和): E = 3 + 3 + 2 + 3 + 4 + 4 + 3 + 3 = 25 · 一些规律: (1) 若扩充二叉树有n个内部结点,则有 个外部结点; (2) 扩充二叉树的内、外路径长度I、E的关系是 E= 。
31、答案: (1)n+1 (2) E=I+2n 证明: (1). n + 1 证明: 根据二叉树性质3 (对任意一棵二叉树,如果度为2的结点数为n2,则其叶子结点数为n2+1) 扩充二叉树的内部结点的度都是2,有n个内部结点,则外部结点(即叶子)有n+1个。 证毕。 (2). E = I + 2n 证明: (数学归纳法) 当n=1时,由于只有一个内部结点, I=0,E=2, 所以 E=I+2n 假设对于所有的k,都有 E k = I k + 2 k 当 k+1时,即添加一个内部结点,设其路径长度为L,
32、 则 I k+1 = I k + L E k+1 = E k -L + 2 ( L + 1 ) = E k + L + 2 = ( I k + 2 k ) + L + 2 = I k + L + 2 k + 2 = I k+1 + 2 ( k+ 1) 证毕。 §7.8.2 最优二叉树(哈夫曼树) 对扩充二叉树的外部结点均赋于一个权值,则称带权二叉树。其带权路径长度是每个外部结点到根的路径长度Lj 乘以权值Wj 的积之和。 (a) (b)
33、 (c) 图7. 8. 2 11 5 4 2 4 5 2 11 11 5 4 2 =W1L1+W2L2+……+WmLm 如图7.8.2中的几种扩充二叉树的带权路径长度分别为: WEa = 11×2+5×2+4×2+2×2 =44 WEb = 4×2+5×3+11×3+2×1 =58 WEc = 11×1+5×2+4×3+2×3 =39 规律:权值越大的外部结点离根结点越近,其带权路径长度最短,如(c)中的树。 假设有n个权值{W1 ,W2 ,……, Wn}, 试构造一棵有n个叶子结点的二叉树,每个叶子
34、结点(外部结点)带权Wi ,则其中带权路径长度最小的二叉树称为最优二叉树或哈夫曼树。 【例】将学生百分制成绩用A、B、C、D、E等级表示,成绩分别规律如下: 分数 0~59 60~69 70~79 80~89 90~100 等级 E D C B A 比例数 0.05 0.15 0.40 0.30 0.10 a<60 a<70 a<80 a<90 A B C D E y y y y n n n n a<80 a<70 a<90 a<60 A B C D E y y y y n n n n
35、a) (b) 若有10000个数据,按图(a)的判定过程进行转换,则有80%的数据至少要进行三次比较,完成10000个数据转换的比较次数为: 10000×(1×5% + 2×15% + 3×40% + 4×(30%+10%)) = 31500 次 按图(b)的判定过程,完成10000个数据转换的比较次数为: 10000×( 2×(10% + 30% + 40%) + 3×(5% + 15%)) = 22000 次 显然,后者的判定过程效率比前者高。图(b)所示的判定过程是最优的,该二叉树称为最优二叉树,又称哈夫曼树。 §7.8.3 哈夫
36、曼树的构造 如何构造哈夫曼树呢?哈夫曼(Huffman)最早给出一个带有一般规律的算法(哈夫曼算法): (1) 根据给定的n个权值 {W1 ,W2 ,……, Wn} 构成 n 棵二叉树的集合 F={T1 ,T2 ,…,Tn},其中每棵二叉树Ti 中只有一个带权为Wi 的根结点,其左右子树均空。 (2) 在F中选取两棵根结点的权值最小的树作为左右子树构造一棵新的二叉树,且置新树的根结点的权值为其左右子树根结点的权值之和。 (3) 在F中删除这两棵树,同时将新树加入F中。 (4) 重复(2)和(3),直到F中只含一棵树为止。 哈夫曼树的构建过程如图7.8.3所示。 【图7.8.3】
37、 8 5 3 4 (a) 6 5 3 4 76 (b) 6 8 (c) 3 4 76 5 6 11 8 8 3 4 7 15 (d) 5 6 11 5 6 11 8 3 4 7 15 26 (d) §7.8.4 哈夫曼树的应用 1. 用于判断过程 利用哈夫曼树可以构成最佳判断过程。例如,要对一批正整数按下表要求分类: 数a 出现概率 属第几类 a≤20 2/18 1 20






