计算机二级 公共基础知识 二叉树的性质

性质简述

（二叉树）有四个性质要记：（推导文章附有，可点击文章目录进入查看）

①在二叉树的第k层上，至多有2^(k-1)个节点。

②层数为m的二叉树最多有2^(m)-1个结点。

③在任意一颗二叉树中，度为2的结点（即叶子结点）总是比度为0的结点少一个（即 度为0的结点总是比度为2的结点多一个）。

④具有n个结点的二叉树，其层数至少是[log2 n]+1 （[log2 n]表示log2 n对数运算结果取整数的部分（即“去尾”））。

①性质 推导：

满二叉树能以最少的层，容纳尽可能多的结点。

而满二叉树

第一层2^0,第二层2^1，第三层2^2......第k层2^(k-1)

②性质 推导：

满二叉树能以最少的层，容纳尽可能多的结点。

而满二叉树

第一层2^0,第二层2^1，第三层2^2......第m层2^(m-1)

是一个等比数列

根据等比数列前m项和的公式：（此推导文章也附有，可点击文章目录进入查看）

Sm=[a1(1-q^m)]/(1-q)

∵q=2

∴2^(m)-1

③性质 推导：

设度为0、1、2的结点的数量分别为n0、n1、n2

二叉树的结点总数必然为T=n0+n1+n2......⑴

二叉树发出的分支必然等于n1+2*n2......⑵

∵除了根节点，每个节点必然是由一个分支进入

∴进入的分支数=结点总数-1=发出的分支数

∴T=n1+2*n2+1......⑶

联立⑴⑶得：

n1+2*n2+1=n0+n1+n2

n2=n0-1

n0=n2+1

④性质 推导：

∵②性质：层数为m的二叉树最多有2^(m)-1个结点。

∴具有n=2^(m)-1个结点的二叉树，其层数至少是m

推算用n作单一未知数表示的层数：

n+1=2^(m)

log2 (n+1)=m

m=log2 (n+1)

∵log2 (n+1)必然>=log2 n，log2 (n+1)为整数

∴当log2 n略小于log2 (n+1)进一整数，log2 n取整+1符合

等比数列前m项和 推导：

Sm=    a1+a1*q+a1*q^2...a1*q^(m-1)

Sm*q=       a1*q+a1*q^2...a1*q^(m-1)+a1*q^m

∴Sm-Sm*q=a1-a1*q^m

∴Sm=[a1(1-q^m)]/(1-q)