k叉树的性质_二叉树的性质是什么？

展开全部

性质1：在二叉树的第i层上至多有2i－1个结点(i≥1)。

证明：假设树非空，e69da5e6ba9062616964757a686964616f31333433616135用数学归纳法证明。

归纳基础：当i＝1时，整棵二叉树只有一个根结点，此时2i－1＝20＝1，结论成立。

归纳假设：假设i＝k时结论成立，即第k层上结点总数最多为2k－1个。

现证明当i＝k＋1时，结论成立。因为二叉树中每个结点的度最大为2，则第k＋1层的结点总数最多为第k层上结点最大数的2倍，即2？2k－1＝2(k＋1)－1，故结论成立。

性质2：深度为k的二叉树上至多含2k－1个结点(k≥1)。

证明：由性质1，第i层至多有2i－1个(1≤i≤k)结点，所以深度为k的二叉树的结点总数至多为20＋21＋…＋2k－1＝2k－1(个)。

性质2：对任意一棵二叉树T，若终端结点数为n0，而其度数为2的结点数为n2，则n0＝n2＋1。

证明：

(1)设二叉树中结点总数为n，n1为二叉树中度为1的结点总数，二叉树的结点总数就等于度为0的结点加上度为1的结点再加上度为2的结点，所以有n＝n0＋n1＋n2。

(2)另一方面，二叉树中一度结点有一个孩子，二度结点有两个孩子，根结点不是任何结点的孩子，因此，结点总数为：n＝n1＋2n2＋1。

(2)将两式相减，整理后得n0＝n2＋1，故结论成立。

性质4：具有n个结点的完全二叉树的深度为"log2n#＋1或$log2(n＋1)%，其中"log2n#表示取小于等于"log2n#的整数部分，$log2(n＋1)%表示取大于等于log2(n＋1)的整数部分。

证明：假设n个结点的完全二叉树的深度为k，根据性质2可知，k－1层满二叉树的结点总数为n1＝2k－1－1，k层满二叉树的结点总数为n2＝2k－1，因此该完全二叉树的结点个数n显然满足n1＜n≤n2，进一步可以推出n1＋1≤n＜n2＋1。

将n1＝2k－1－l和n2＝2k－1代入上式，可得2k－1≤n＜2k，取对数后有，k－1≤log2n＜k。

又因k－1和k是相邻的两个整数，所以k－1＝"log2n#，k＝"log2n#＋1，故结论成立。

性质5：对一棵具有n个结点的完全二叉树从上到下且从左至右按层序编号，则对二叉树中任意一个编号为i(1≤i≤n)的结点有：

(1)如果i＞1，则结点i的双亲结点的序号为"i／2#；如果i＝1，则结点i是根结点，无双亲结点；(2)如果2i≤n，则结点i的左孩子的序号为2i，如果2i＞n，则结点i无左孩子。

(2)如果2i＋1≤n，则结点i的右孩子的序号为2i＋1，如果2i＋1＞n，则结点i无右孩子。

可以从图6－8(b)为例来理解这个性质。这是一棵完全二叉树，深度为4，结点总数是12。对于第一条来说是很显然的，i＝1时就是根结点。i＞1时，比如结点G，序号为7，它的双亲为"7／2#＝2；结点I的序号为9，它的双亲为"9／2#＝4。

第二条，比如结点H，其序号为8，因为2？8＝16超过了结点总数12，所以结点H无左孩子，它是叶子结点。同样，结点F的序号为6，因为2？6＝12正好是结点总数12，所以它的左孩子是结点L。

第三条，比如结点I，其序号为9，因为2？9＋1＝19，大于结点总数12，所以它无右孩子。

而结点E的序号为5，因为2？5＋1＝11小于12，所以它的右孩子是结点K。