《二叉树(同名1604)》由会员分享，可在线阅读，更多相关《二叉树(同名1604)（22页珍藏版）》请在金锄头文库上搜索。
1、数据结构与算法 二叉树Binary Tree二叉树的定义二叉树是一类非常重要的树形结构，它可以递归地定义如下：二叉树T是有限个结点的集合，它或者是空集，或者由一个根结点u以及分别称为左子树和右子树的两棵互不相交的二叉树u(1)和u(2)组成。若用n,n1和n2分别表示T，u(1)和u(2)的结点数，则有n=1+n1+n2 。u(1)和u(2)有时分别称为T的第一和第二子树。因此，二叉树的根可以有空的左子树或空的右子树，或者左、右子树均为空。二叉树有5种基本形态，如图1所示。图1 二叉树的5种基本形态(其中表示空)在二叉树中，每个结点至多有两个儿子，并且有左、右之分。因此任一结点的儿子不外4种情
2、况：没有儿子；只有一个左儿子；只有一个右儿子；有一个左儿子并且有一个右儿子。注意：二叉树与树和有序树的区别二叉树与度数不超过2的树不同，与度数不超过2的有序树也不同。在有序树中，虽然一个结点的儿子之间是有左右次序的，但若该结点只有一个儿子时，就无须区分其左右次序。而在二叉树中，即使是一个儿子也有左右之分。例如图2中(a)和(b)是两棵不同的二叉树。虽然它们与图3中的普通树(作为无序树或有序树)很相似，但它们却不能等同于这棵普通的树。若将这3棵树均看作是有序树，则它们就是相同的了。图2 两棵不同的二叉树图3 一棵普通的树由此可见，尽管二叉树与树有许多相似之处，但二叉树不是树的特殊情形。二叉树的数
3、学性质二叉树具有以下的重要性质：1. 高度为h0的二叉树至少有h+1个结点； 2. 高度不超过h(0)的二叉树至多有2h+1-1个结点； 3. 含有n1个结点的二叉树的高度至多为n-1； 4. 含有n1个结点的二叉树的高度至少为logn，因此其高度为(logn)。 具有n个结点的不同形态的二叉树的数目在一些涉及二叉树的平均情况复杂性分析中是很有用的。设Bn是含有n个结点的不同二叉树的数目。由于二叉树是递归地定义的，所以我们很自然地得到关于Bn的下面的递归方程： (1)即一棵具有n1个结点的二叉树可以看成是由一个根结点、一棵具有i个结点的左子树和一棵具有n-i-1个结点的右子树所组成。(1)式的
4、解是 (2)即所谓的Catalan数。因此，当n=3时,B3=5。于是，含有3个结点的不同的二叉树有5棵，如图4所示。图4 含有3个结点的不同二叉树特殊形态的二叉树满二叉树和近似满二叉树是二叉树的两种特殊情形。一棵高度为h0且有2h+1-1个结点的二叉树称为满二叉树。若一棵二叉树至多只有最下面的两层结点的度数小于2，并且最下面一层结点都集中在该层的最左边，则称这种二叉树为近似满二叉树(有时也称为完全二叉树)。(a) 满二叉树(b) 近似满二叉树(c) 非近似满二叉树图5 特殊形态的二叉树例如图5(a)是一棵高度为3的满二叉树。满二叉树的特点是每一层上的结点数都达到最大值，即对给定的高度，它是具
5、有最多结点数的二叉树。满二叉树中不存在度数为1的结点，每个分枝结点均有两棵高度相同的子树，且叶结点都在最下面一层上。图5(b)是一棵近似满二叉树。显然满二叉树是近似满二叉树，但近似满二叉树不一定是满二叉树。在满二叉树的最下层上，从最右结点开始连续往左删去若干个结点后得到的二叉树是一棵近似满二叉树。因此，在近似满二叉树中，若某个结点没有左儿子，则它一定没有右儿子，即该结点是一个叶结点。图5(c)中，结点F没有左儿子而有右儿子L，故它不是一棵近似满二叉树。二叉树的操作二叉树的常用操作与树的常用操作相似。运算含义Parent(v,T)这是一个求父结点的函数，函数值为树T中结点v的父亲。当v是根结点时
6、，函数值为，表示结点v没有父结点。Left_Child(v,T)这是一个求左儿子结点的函数。函数值为树T中结点v的左儿子。当结点v没有左儿子时，函数值为。Right_Child(v,T)这是一个求右儿子结点的函数。函数值为树T中结点v的右儿子。当结点v没有右儿子时，函数值为。Create(x,Left,Right,T)这是一个建树过程。该函数生成一棵新的二叉树T，T的根结点v的标号为x，v的左右儿子分别为Left和Right。Label(v,T)这时一个求标号的函数，函数值就是结点v的标号。Root(T)这是一个求树根的函数，函数值为树T的根结点。当T是空树时，函数值为。MakeNull(T)
7、这是一个过程，它使T成为一棵空树。二叉树的实现我们已经看到，虽然二叉树与树很相似，但它却不是树的特殊情形。在许多情况下，使用二叉树具有结构简单，操作方便的优点。另外我们也看到，在树的左儿子右兄弟表示法中，实际上已将一棵一般的树转化为一棵二叉树。在更一般的情形，我们还可以将果园或森林转化为一棵等价的二叉树。下面我们来讨论几种二叉树的表示方法。二叉树的顺序存储结构此结构是将二叉树的所有结点，按照一定的次序，存储到一片连续的存储单元中。因此，必须将结点排成一个适当的线性序列，使得结点在这个序列中的相应位置能反映出结点之间的逻辑关系。这种结构特别适用于近似满二叉树。在一棵具有n个结点的近似满二叉树中，
8、我们从树根起，自上层到下层，逐层从左到右给所有结点编号，就能得到一个足以反映整个二叉树结构的线性序列，如图6所示。其中每个结点的编号就作为结点的名称。图6 近似满二叉树的结点编号因此，我们可以对树的类型作如下说明：TPosition=integer;TreeType=record NodeCount:integer; 树的总结点数 NodeList:array 1.MaxNodeCount of LabelType; 存储结点的数组 end;将数组下标作为结点名称(编号)，就可将二叉树中所有结点的标号存储在一维数组中。例如，图6中的二叉树的顺序存储结构如图7所示。图7 近似满二叉树的顺序存储结
9、构在二叉树的这种表示方式下，各结点之间的逻辑关系是隐含表示的。近似满二叉树中，除最下面一层外，各层都充满了结点。可能除最底层外，每一层的结点个数恰好是上一层结点个数的2倍。因此，从一个结点的编号就可推知其父亲，左、右儿子，和兄弟等结点的编号。例如，对于结点i我们有：1. 仅当i=1时，结点i为根结点；2. 当i1时，结点i的父结点为i/2；3. 结点i的左儿子结点为2i；4. 结点i的右儿子结点为2i+1；5. 当i为奇数且不为1时，结点i的左兄弟结点为i-1；6. 当i为偶数时，结点i的右兄弟结点为i+1。由上述关系可知，近似满二叉树中结点的层次关系足以反映结点之间的逻辑关系。因此，对近似满
10、二叉树而言，顺序存储结构既简单又节省存储空间。对于一般的二叉树，采用顺序存储时，为了能用结点在数组中的位置来表示结点之间的逻辑关系，也必须按近似满二叉树的形式来存储树中的结点。显然，这将造成存储空间的浪费。在最坏情况下，一个只有k个结点的右单枝树却需要2k-1个结点的存储空间。例如，只有3个结点的右单枝树，如图8(a)所示，添上一些实际不存在的虚结点后，成为一棵近似满二叉树，相应的顺序存储结构如图8(b)所示。图8 一般二叉树的顺序存储结构下面我们就用这种顺序存储结构来实现二叉树的常用操作。在这种表示法中，整数0表示空结点。对于非近似满二叉树，我们将其补为近似满二叉树，并规定一个特殊的标号&，
11、用来表示补充的结点，&要根据标号的具体类型来确定。顺序存储结构实现ADT二叉树的操作函数 Parent(v,T);功能这是一个求父结点的函数，函数值为树T中结点v的父亲。当v是根结点时，函数值为，表示结点v没有父结点。实现Function Parent(v:TPosition;var T:TreeType):TPosition;beginreturn(v div 2);end;说明根据这种表示法，我们知道，当i1时，结点i的父结点为i/2。复杂性显然为O(1)。函数 Left_Child(v,T);功能这是一个求左儿子结点的函数。函数值为树T中结点v的左儿子。当结点v没有左儿子时，函数值为。实
12、现Function Left_Child(v:TPosition;var T:TreeType):TPosition;beginif (2*vT.NodeCount)or(T.NodeList2*v=&) then return(0) else return(2*v);end;说明如果结点v的左儿子存在，则其下标为2*v。复杂性显然为O(1)。函数 Right_Child(v,T);功能这是一个求右儿子结点的函数。函数值为树T中结点v的右儿子。当结点v没有右儿子时，函数值为。实现Procedure Right_Child(v:TPosition;var T:TreeType):TPositio
13、n;beginif (2*v+1T.NodeCount)or(T.NodeList2*v+1=&) then return(0) else return(2*v+1);end;说明如果结点v的左儿子存在，则其下标为2*v+1。复杂性显然为O(1)。函数 Create(x,Left,Right,T);功能这是一个建树过程。该函数生成一棵新的二叉树T，T的根结点标号为x，左右儿子分别为Left和Right。实现Procedure Create(x:LabelType;var Left,Right,T:TreeType);beginT.NodeList1:=x;T.NodeCount:=Left.N
14、odeCount+Right.NodeCount+1;h_left:=cal(Left.NodeCount);h_right:=cal(Right.NodeCount);分别计算Left和Right的高度if h_lefth_Right then h:=h_left else h:=h_right;新树T的高度为h+1for i:=Left.NodeCount+1 to (1 shl (h+1)-1 do Left.NodeListi:=&；Left.NodeCount:=(1 shl (h+1)-1; 将Left补成高度为h的满二叉树；其中shl是左移位运算，用来计算2的幂if h_righth then begin for i:=Right.NodeCount+1 to (1 shl h)-1 do Right.NodeListi:=&； Right.NodeCount:=(1 shl h)-1; end; 若Right的高度小于h，则将Right补成高度为h-1的满二叉树=对于Left中编号为i的结点v，它在新树T中的编号为2h +i，其中h=log2(i+1)-1 ；对于Right中编号为i的结点v，它在新树T中的编号为2h+1+i，其中h=log2(i+1)-1 。=
