【数据结构】二叉树的性质

二叉树的性质

性质1： 在二叉树的第i层上至多有 $2^{i-1}$ 个结点（i>=1）;

性质2： 深度为k的二叉树至多有 $2^k-1$ 个结点（k>=1）；

性质3：对任何一棵二叉树T，如果其终端结点（叶子结点）数为 $n_0$ ，度为2的结点数为 $n_2$，则 $n_0=n_2+1$；

性质4：具有 n 个结点的完全二叉树的深度为 $[lo{g}_2^n]+1$（ [x] 表示不大于 x 的最大整数）；

性质5：如果一棵有n个结点的完全二叉树， 它的结点按层序编号（从第 1 层到第 $[lo{g}_2^n]+1$ 层， 每层从左到右），对任一结点（1 <= i <=n），则有：

1. 如果 i =1， 则结点 i 是二叉树的根，无双亲， 如果 i > 1， 则其双亲是结点 $[i/2]$ ;
2. 如果 2i > n，则结点 i 无左孩子（即结点 i 为叶子结点）； 否则其左孩子是结点2i；
3. 如果 2i +1 > n，则结点 i 无左孩子（即结点 i 为叶子结点）； 否则其左孩子是结点2i+1.

性质6：如果完全二叉树的节点数为n， 则叶子结点数为 $n/2$ 或者 $(n-1)/2$。