---------注：本文所用的术语定义均来自国外大学和计算机文献使用的定义，非国内教材。层次编号从1开始-------------
二叉树简介
二叉树也是一种树，它特殊在：
1、每个结点的孩子最多只能是2，即二叉树中不存在度大于2的结点。
2、每个结点的孩子结点区分左孩子和又孩子，即便是只有1个孩子结点，也分左孩子和右孩子。
提示：
1、二叉树是 rooted tree。即若二叉树非空，则必须指定，且固定有一个唯一的root结点。这话听起来很奇怪：只要树不为空，肯定有root结点啊？可是，一般情况下的树，他的每一个结点都可以当做root去看待，只不过我们脑袋里总把一棵树的图形固定去理解而已。但是二叉树的root结点必须是固定唯一，明确指出的。
2、二叉树是有序树(ordered tree)。这点对于啃过国内大学教材的朋友来说就很有争议。我的理解是：二叉树中的孩子是区分左右的，左右不应该和次序混为一谈，只不过二叉树在实现时，都是通过按有序的方式去完成的，即左孩子在右孩子的前面。
二叉树的性质
1、二叉树的许多性质都和2有关，确切的说是以2为公比，首项为1的等比数列有关。
2、二叉树的第i层上的节点数最多为 2i-1 个 （i>=1） （类比数列的第i项）
3、k层的二叉树至多有2k - 1个结点(k≥1) （当每层都达到做多结点时，达到最大值 。类比数列的前k项和）
4、在任意一棵二叉树中，若外部（叶子）结点的个数为n0，度为2的结点数为n2，则有：n0=n2+1。
要证明这个性质，就要从点和线的方面去分析。
设：度为2的结点个数有n2个，度为1的结点有n1个，度为0 的叶子结点有n0个，树的总结点为N个。
树的总的 边 的个数为E。
① N = n2 + n1 + n0
② E= N - 1 # 除了root结点，其他结点都是由头顶上的一条边引出来的。
③ E= 2 * n2 + n1 # 度为2的结点，必顶会向下引出2条边， 同理，度为1的结点会引出1条。
结合3个式子消元得：n0 = n2 + 1
5、结点数固定时，层次数的范围：一个有n个结点的二叉树，其层次数L 满足不等式
解释：当这个二叉树是完全二叉树时，其层次数最小，当每一层仅有1个结点时，层次数最大。
6、 层次固定时为K时，结点数N的范围：
K<= N <= 2k + 1
解释：当每一层仅有1个结点时，结点数最少为K，当它为一个完美二叉树时，结点数最多为 2k + 1
7、当 层次固定时为K时，叶子结点数N0的范围：
1<= N0 <=2(k-1)
解释：当每层只有1个结点时，叶子只有一个。当每层都满时，叶子数最多，如k层的完美二叉树，则叶子都在最后一层，有2(k-1) 个。
8、当 层次固定时为K时，内部结点数Ni的范围：
k-1<= Ni <=2(k-1) - 1
一般二叉树的存储实现
1、使用数组作为内部存储。
这种存储方法只适合完全二叉树，如果是一般二叉树，会造成空间浪费。首先我们需要了解一下当对完全二叉树使用顺序存储时的细节。
若给完全二叉树的结点，从上到下，从左到右依次从0开始编号作为这个结点的索引，索引为i的结点，存储在数组下标为i的地方。则：
如果i==0，则它是root结点。
如果i >0 ，则他的父结点的索引为:
如果 2*(i+1) > n ，则它无左孩子。
2*(i+1) <=n , 则他的左孩子的索引为 2i +1
如果 2*(i+1)+1 > n，则他无右孩子。
2*(i+1)+1 <= n，则它的右孩子的索引为 2i+2
可以发现，使用数组存储完全二叉树是非常高效的，因为结点之间的关系都暗含在索引之中了，无需额外的指针，且数组的随机访问速度也很快。
但是如一个一般二叉树要使用这种方法存储，就必须先填补“无效结点”使之成为为一个完全二叉树。
上图可以看出，填充浪费一大半的数组空间，最坏空间复杂度为O(n2)。所以，一般二叉树不会使用顺序存储结构，除非是完全二叉树。
2、链式存储结构：适合用于存储一般形态的二叉树。链式存储更加通用。缺点是指针域占用的额外空间较多，存储率不高。
题目：采用这种设计时，若总结点数为N，则会有多少个空指针域？ 答：N+2个。
因为N个结点的树，会有N-1个边，3N个指针域，而每一条边会“消灭”2个空指针域。则空指针域 = 3N-2(N-1) = N+2
有时候我们无需知道一个结点的父结点，则结点的设计可以去掉parent域。
题目：采用这种设计时，若总结点数为N，则会有多少个空指针域？答：N+1
因为N个结点的树，会有N-1个边，2N个指针域，而每一条边会“消灭”1个空指针域。则空指针域 = 2N-(N-1) = N+1
