大家都知道完全二叉树的总结点数是： 2^h-1，而均衡二叉树是完全二叉树再加上几个叶结点，所以它的总结点数就是：2^（h-1）-1+m，其中h是树的深度，m是第h层叶结点个数。

1

/ \

2 3

\ /

4 5 是均衡二叉树，因为它去掉叶结点及相应的树枝后，

变成了：

1

/ \

2 3 ，这是一个二叉树。

1

/ \

2 3

而 \ / \ 则不是，因为它去掉叶结点及相应的树枝后，

4 5 6

/

7

变成了：

1

/ \

2 3

\

4

很显然，这并不是一个完全二叉树。

完全二叉树(Complete Binary Tree)

若设二叉树的深度为h，除第 h 层外，其它各层 (1~h-1) 的结点数都达到最大个数，第 h 层所有的结点都连续集中在最左边，这就是完全二叉树。

完全二叉树是由满二叉树而引出来的。对于深度为K的，有n个结点的二叉树，当且仅当其每一个结点都与深度为K的满二叉树中编号从1至n的结点一一对应时称之为完全二叉树。

一棵二叉树至多只有最下面的一层上的结点的度数可以小于2，并且最下层上的结点都集中在该层最左边的若干位置上，则此二叉树成为完全二叉树。

是程序算法中的一种算法模式。

在二叉树中出现空的子树（包括树叶）上增加空的树叶，使其成为满二叉树的二叉树称之为扩充二叉树。

二叉树是一类非常重要的树形结构，它可以递归地定义如下:

二叉树T是有限个结点的集合，它或者是空集，或者由一个根结点u以及分别称为左子树和右子树的两棵互不相交的二叉树u(1)和u(2)组成。若用n,n1和n2分别表示T，u(1)和u(2)的结点数，则有n=1+n1+n2 。u(1)和u(2)有时分别称为T的第一和第二子树。

因此，二叉树的根可以有空的左子树或空的右子树，或者左、右子树均为空。

二叉树具有以下的重要性质:

高度为h≥0的二叉树至少有h+1个结点; 高度不超过h(≥0)的二叉树至多有2h+1-1个结点; 含有n≥1个结点的二叉树的高度至多为n-1; 含有n≥1个结点的二叉树的高度至少为 logn ，因此其高度为Ω(logn)。 详见二叉树词条。