二叉树

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

二叉树的特点

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

左子树和右子树是有顺序的，次序不能颠倒。

即使树中某结点只有一棵子树，也要区分它是左子树还是右子树，下面是完全不同的二叉树：

 

二叉树的五种基本形态： 

空二叉树

只有一个根结点

根结点只有左子树

根结点只有右子树

根结点既有左子树又有右子树 

满二叉树 

在一棵二叉树中，如果所有分支结点都存在左子树和右子树，并且所有叶子都在同一层上，这样的二叉树称为满二叉树。 

满二叉树的特点有：

a.叶子只能出现在最下一层。

b.非叶子结点的度一定是2。

c.在同样深度的二叉树中，满二叉树的结点个数一定最多，同时叶子也是最多。

完全二叉树

对一棵具有n个结点的二叉树按层序编号，如果编号为i(1<=i<=n)的结点与同样深度的满二叉树中编号为i的结点位置完全相同，则这棵二叉树称为完全二叉树。 

完全二叉树的特点有：

叶子结点只能出现在最下两层。

最下层的叶子一定集中在左部连续位置。

倒数第二层，若有叶子结点，一定都在右部连续位置。

如果结点度为1，则该结点只有左孩子。

同样结点树的二叉树，完全二叉树的深度最小。 

注意：满二叉树一定是完全二叉树，但完全二叉树不一定是满二叉树。 

满二叉树和完全二叉树的区别：

满二叉树就是每一层的叶子节点都是满的，而完全二叉树则是一棵这样的树：如何把它的所有n个节点从上到下，从左到右依次编号，那么与对应的完全二叉树是相同的。也就是说，完全二叉树像是把满二叉树的最后若干的元素去掉。这类二叉树有一个特点：就是按照节点序号可以确定节点之间的父子关系：编号为i的节点的两个子节点序号是2*i和2*i+1；而编号为i的节点的父节点序号是i/2（整除）。所以可以通过数组来保存这类二叉树，这样它的操作会很方便。对于其他的二叉树，可以通过给那些缺失的节点补一个特殊的值来转化成完全二叉树。当然，如果补的节点太多，就得不偿失了。

二叉树的性质

二叉树的性质一：在二叉树的第i层上至多有2^(i-1)个结点(i>=1)

二叉树的性质二：深度为k的二叉树至多有(2^k)-1个结点(k>=1) 

二叉树的性质三：对任何一棵二叉树T，如果其终端结点数为n0，度为2的结点数为n2，则n0=n2+1

首先我们再假设度为1的结点数为n1，则二叉树T的结点总数n=n0+n1+n2

其次我们发现连接数总是等于总结点数n-1，并且等于n1+2*n2

所以n-1=n1+2*n2

所以n0+n1+n2-1=n1+n2+n2

最后n0=n2+1 

二叉树的性质四：具有n个结点的完全二叉树的深度为：

⌊log₂n⌋+1 (⌊log₂n⌋取log₂n的下限)

证明：由满二叉树的定义结合性质二我们知道，深度为k的满二叉树的结点树n一定是2^k-1

那么对于满二叉树我们可以通过n=2^k-1倒推得到满二叉树的深度为：

k=log₂(n+1)

由于完全二叉树前边我们已经提到，它的叶子结点只会出现在最下面的两层，我们可以同样如下推导

那么对于倒数第二层的满二叉树我们同样很容易回推出它的结点数为n=2^(k-1)-1

所以完全二叉树的结点数的取值范围是：2^(k-1)-1 < n <= 2^k-1

由于n是整数，n <= 2^k-1可以看成n < 2^k

同理2^(k-1)-1 < n可以看成2^(k-1) <= n

所以2^(k-1) <= n < 2^k

不等式两边同时取对数，得到k-1<=log₂n<k

由于k是深度，必须取整，所以k=⌊log₂n⌋+1 

二叉树的性质五：如果对一棵有n个结点的完全二叉树(其深度为⌊log₂n⌋+1)的结点按层序编号，对任一结点i(1<=i<=n)有以下性质：

如果i = 1，则结点 i 是二叉树的根，无双亲；

如果i > 1，则其双亲是结点⌊i/2⌋

如果2i > n，则结点 i 无左孩子(结点 i 为叶子结点)；否则其左孩子是结点2i

如果2i+1 > n，则结点 i 无右孩子；否则其右孩子是结点2i+1