二叉树的定义和性质

定义：

二叉树：是n（n>=0)个结点所构成的集合,它或是空树或是非空树；

非空树特点：

1. 有且仅有一个称为根的结点；
2. 除根节点之外的其余结点分为两个互不相交的子集，称为左子树和右子树，两者本身都是二叉树；
3. 二叉树每个结点最多有两棵子树（即结点的度最大为2）；
4. 二叉树也是有序树，有左右之分，不可颠倒顺序；

性质：

1. 二叉树的第i层至多有2^(i-1)(i>=1)个结点；
2. 深度为k的二叉树至多有2^(k)-1个结点（k>=1)；
3. 对于任何一棵二叉树T，如果其终端结点数为n0,度为2的结点数为n2，则n0=n2+1;