树的术语及性质

一、基本术语
若一个结点有子树，那么该结点称为子树根的”双亲”，子树的根是该结点的”孩子”。有相同双亲的结点互为”兄弟”。一个结点的所有子树上的任何结点都是该结点的后裔。从根结点到某个结点的路径上的所有结点都是该结点的祖先。

结点：表示树中的元素。
结点的度：拥有子结点的个数。
叶子：度为0的结点。
树的度：树中结点的最大的度。
结点的层次：根结点是第一层，它的孩子结点是第二层，依次类推。
树的高度：最大层次数。

二叉树：所有结点的度数不超过2的树。
满二叉树：高度为h的二叉树恰好有2^h-1个结点时。
完全二叉树：叶子结点只可能出现在最后一层或倒数第二层，每个非叶子结点要么有两个孩子结点，要么只有左孩子结点。

注意：树不能是空树，却可以有空二叉树。

二、二叉树的性质即推导过程
（一）
性质：在二叉树的第N层上，最多有2^(N-1)个结点。
推导：每个结点的度最多为2，所以下一层最多是上一层的2倍。所以第一层为1，第二层为2，第三层为4，第四层为8，….，第N层最多为2^(N-1)。
（二）
性质：深度为H的二叉树最多有2^H-1个结点。
推导：由性质一可得，第N层上的结点是一个等比函数，首项为a1=1，公比为q=2。所以由等比数列的求和公式得Sn=2^n-1。也就是2^H-1。
（三）
性质：包含n个结点的二叉树的高度至少为log2(n+1)。（2为底）
推导：显然，结合性质二，设n=2^H-1，则可以得到H=log2(n+1)。
（四）
性质：对于任何二叉树，度为0（叶子结点）的结点数为n0,则度为2的结点数为n2=n0-1.
推导：设结点总数为n，度为1的结点数为n1,则根据结点关系有n=n0+n1+n2。同时又因为度的总数D和结点总数n之间有关系式n=D+1（画图易知），且D=n0*0+n1*1+n2*2。
所以由这三个式子就可得出n2=n0-1。
（五）
性质：n个结点的二叉树中共有n-1个指针域非空，总指针域的数目为2n，所以恰有n+1个空指针域。

三、完全二叉树的性质
设一棵有n个结点的完全二叉树的所有结点按层次从左至右编号为从0到n-1，设某个结点的序号为i,0<=i< n,那么有如下性质：
（1）i=0，说明该结点是根结点。
（2）i>0，说明该结点的父结点为(i-1)/2。
（3）若2i+1< n，则该结点的左孩子的序号为2i+1，否则无左孩子。
（4）若2i+2< n，则该结点的右孩子的序号为2i+2，否则无右孩子。