数据结构——二叉树——特点及性质

数据结构——二叉树——特点及性质

二叉树(Binary Tree）是n(n=0)个结点的有限集合，该集合或者为空集(称为空二叉树),或者由一个根结点和两棵互不相交的、分别称为根结点的左子树和右子树的二叉树组成。

二叉树特点

1.每个结点最多有两棵子树，所以二叉树中不存在度大于2的结点。注意不是只有两棵子树，而是最多有。没有子树或者有一棵子树都是可以的。

2.左子树和右子树是有顺序的，次序不能任意颠倒。就像人是双手、双脚，但显然左手、左脚和右手、右脚是不一样的，右手戴左手套、右脚穿左鞋都会极其别扭和难受。

3.即使树中某结点只有一棵子树，也要区分它是左子树还是右子树。图 6-5-3中，树1和树2是同一棵树，但它们却是不同的二叉树。就好像你一不小心，摔伤了手，伤的是左手还是右手，对你的生活影响度是完全不同的。

二叉树具有五种基本形态:

1．空二叉树。
2．只有一个根结点。
3．根结点只有左子树。
4、根结点只有右子树。
5．根结点既有左子树又有右子树。

二叉树的性质

性质1:
在二叉树的第i层上至多有2-1个结点（i>1)。
第一层是根结点，只有一个，所以21-1=20=1。
第二层有两个，22-1=21=2。
第三层有四个，23—1=22=4。
第四层有八个，24—1=23=8。
通过数据归纳法的论证，可以很容易得出在二叉树的第 i层上至多有2i+1个结点(i>1)的结论。

性质2:
深度为k的二叉树至多有2-1个结点(k≥1)。
注意这里一定要看清楚，是2k后再减去1，而不是2k-1。以前很多同学不能完全理解，这样去记忆,就容易把性质2与性质1给弄混淆了。
深度为k意思就是有k层的二叉树，我们先来看看简单的。
如果有一层，至多1=20一1个结点。
如果有二层，至多1+2=3=22-1个结点。
如果有三层，至多1+2+4=7=23一1个结点。
如果有四层，至多1+2+4+8=15=24一1个结点。
通过数据归纳法的论证，可以得出，如果有k 层，此二叉树至多有2k一1个结点。

性质3:
对任何一棵二叉树T，如果其终端结点数为n，度为2的结点数为n,则no=ng+1.
终端结点数其实就是叶子结点数，而一棵二叉树，除了叶子结点外，剩下的就是度为1或2的结点数了，我们设ni为度是1的结点数。则树T结点总数n=no+n1+n2。
比如图6-6-1的例子，结点总数为10，它是由A、B、C、D等度为⒉结点，F、G、H、I、J等度为0的叶子结点和E这个度为1的结点组成。总和为4+1+5=10。

我们换个角度，再数一数它的连接线数，由于根结点只有分支出去，没有分支进入，所以分支线总数为结点总数减去1。图6-6-1就是9个分支。对于A、B、C、D结点来说，它们都有两个分支线出去，而E结点只有一个分支线出去。所以总分支线为4×2+1×1=9。
用代数表达就是分支线总数=n―1=n1＋2nz。因为刚才我们有等式n=no+n1+nz，所以可推导出no+n+n2—1= ni+2nz。结论就是no=n2+1。

性质4
:具有n个结点的完全二叉树的深度为llogzn]+1 (Lx]表示不大于x的最大整数)。
由满二叉树的定义我们可以知道，深度为k的满二叉树的结点数n一定是2k-1。因为这是最多的结点个数。那么对于n=2k一1倒推得到满二叉树的度数为k=logz(n＋1)，比如结点数为15的满二叉树，度为4。
完全二叉树我们前面已经提到，它是一棵具有n个结点的二叉树，若按层序编号后其编号与同样深度的满二叉树中编号结点在二叉树中位置完全相同，那它就是完全二叉树。也就是说，它的叶子结点只会出现在最下面的两层。
它的结点数一定少于等于同样度数的满二叉树的结点数2k一1，但一定多于2k-1一1。即满足2k-1-12k-1一1，意味着n≥2k-1，所以2k-1≤n<2k，不等式两边取对数，得到k-1≤bg2n

性质5:
如果对一棵有n个结点的完全二叉树(其深度为Lbgan]+1)的结点按层序编号（从第1层到第Llogzn]+1层，每层从左到右)，对任一结点i (1≤i≤n)有:
1．如果i=1，则结点i是二叉树的根，无双亲;如果i>1，则其双亲是结点[i/2]。
2．如果 2i>n，则结点i无左孩子（结点i为叶子结点)﹔否则其左孩子是结点2i。
3．如果2i+1>n，则结点i无右孩子;否则其右孩子是结点2i+1。

我们以图6-6-2为例，来理解这个性质。这是一个完全二叉树，度为4，结点总数是10。

对于第一条来说是很显然的，i=1时就是根结点。i>1时，比如结点7，它的双亲就是[7/2]=3，结点9，它的双亲就是[9/2]=4。

第二条，比如结点6，因为2×6=12超过了结点总数10，所以结点6无左孩子，它是叶子结点。同样，而结点5，因为2×5=10正好是结点总数10，所以它的左孩子是结点10。

第三条，比如结点5，因为2×5+1=11，大于结点总数10，所以它无右孩子。而结点3，因为2×3+1=7小于10，所以它的右孩子是结点7。