数据结构（C语言版）第六章 数和二叉树-整理-6.2

6.2 二叉树

6.2.1 二叉树的定义

二叉树是另一种树型结构
特点：

每个结点至多只有两棵子树（即二叉树中不存在度大于2的结点）
二叉树的子树有左右之分，其次序不可任意颠倒

6.2.2 二叉树的性质

性质1：在二叉树的第i层上至多有2^i-1个结点（i>=1）
性质2：深度为k的二叉树至多有2^k-1个 结点（k>=1)
性质3：对任何一棵二叉树T，如果其终端结点数为n₀，度为2的结点数为n₂，则n₀=n₂+1

满二叉树：一棵深度为k且有2^k-1个 结点结点的二叉树为满二叉树
完全二叉树：深度为k的，有n个结点的二叉树，当且仅当其每一个结点都与深度为k的满二叉树中编号从1至n的结点一一对应时，称为完全二叉树。
完全二叉树特点：

叶子结点只可能在层次最大的两层上出现
对任意结点，若其右分支下的子孙最大层次为l，则其左分支下的子孙的最大层次必为l或l+1

性质4：具有n个结点的完全二叉树的深度为[log₂n]+1
性质5：如果对一棵树有n个结点的完全二叉树（其深度为[log₂n]+1）的结点按层序编号（从第1层到第[log₂n]+1层，每层从左到右），则对任一结点i(1<=i<=n)，有

如果i=1，则结点i时二叉树的根，无双亲；如果i>1，则其双亲parent(i)是结点[i/2]
如果i>n，则结点i无左孩子（结点i为叶子结点）；否则其左孩子lchild(i)是结点2i
如果2i+1>n,则结点i无右孩子；否则其右孩子rchild(i)是结点2i+1