平衡二叉树

概念

平衡二叉树是一棵空树,或者是具有以下性质的二叉查找树:

• 它的左子树和右子树都是 AVL树
• 左子树和右子树的高度差的绝对值不超过1

也就是说如果结点N是叶子结点时:

N.Height = 1

否则

N.Height = 1 + max(N.Left.Height, N.Right.Height)

性质

如二叉树的结点N满足AVL树的性质,且h = N.Height,那么N结点的子树的结点树至少等于斐波那契数列Fh.

AVL树的实现

需要保证孩子结点具有相近的高度
AVL树的更新也可能会破坏AVL的性质

平衡二叉树(Balanced binary tree)是由阿德尔森-维尔斯和兰迪斯(Adelson-Velskii and Landis)于1962年首先提出的，所以又称为AVL树。

定义：平衡二叉树或为空树,或为如下性质的二叉排序树:

（1）左右子树深度之差的绝对值不超过1;

（2）左右子树仍然为平衡二叉树.

平衡因子BF=左子树深度－右子树深度.

平衡二叉树每个结点的平衡因子只能是1，0，-1。若其绝对值超过1，则该二叉排序树就是不平衡的。

如图所示为平衡树和非平衡树示意图：

二、平衡二叉树算法思想

若向平衡二叉树中插入一个新结点后破坏了平衡二叉树的平衡性。首先要找出插入新结点后失去平衡的最小子树根结点的指针。然后再调整这个子树中有关结点之间的链接关系，使之成为新的平衡子树。当失去平衡的最小子树被调整为平衡子树后，原有其他所有不平衡子树无需调整，整个二叉排序树就又成为一棵平衡二叉树。

失去平衡的最小子树是指以离插入结点最近，且平衡因子绝对值大于1的结点作为根的子树。假设用A表示失去平衡的最小子树的根结点，则调整该子树的操作可归纳为下列四种情况。

（1）LL型平衡旋转法

由于在A的左孩子B的左子树上插入结点F，使A的平衡因子由1增至2而失去平衡。故需进行一次顺时针旋转操作。即将A的左孩子B向右上旋转代替A作为根结点，A向右下旋转成为B的右子树的根结点。而原来B的右子树则变成A的左子树。

（2）RR型平衡旋转法

由于在A的右孩子C 的右子树上插入结点F，使A的平衡因子由-1减至-2而失去平衡。故需进行一次逆时针旋转操作。即将A的右孩子C向左上旋转代替A作为根结点，A向左下旋转成为C的左子树的根结点。而原来C的左子树则变成A的右子树。

（3）LR型平衡旋转法

由于在A的左孩子B的右子数上插入结点F，使A的平衡因子由1增至2而失去平衡。故需进行两次旋转操作（先逆时针，后顺时针）。即先将A结点的左孩子B的右子树的根结点D向左上旋转提升到B结点的位置，然后再把该D结点向右上旋转提升到A结点的位置。即先使之成为LL型，再按LL型处理。

如图中所示，即先将圆圈部分先调整为平衡树，然后将其以根结点接到A的左子树上，此时成为LL型，再按LL型处理成平衡型。

（4）RL型平衡旋转法

由于在A的右孩子C的左子树上插入结点F，使A的平衡因子由-1减至-2而失去平衡。故需进行两次旋转操作（先顺时针，后逆时针），即先将A结点的右孩子C的左子树的根结点D向右上旋转提升到C结点的位置，然后再把该D结点向左上旋转提升到A结点的位置。即先使之成为RR型，再按RR型处理。

如图中所示，即先将圆圈部分先调整为平衡树，然后将其以根结点接到A的左子树上，此时成为RR型，再按RR型处理成平衡型。

平衡化靠的是旋转。参与旋转的是3个节点（其中一个可能是外部节点NULL），旋转就是把这3个节点转个位置。注意的是，左旋的时候p->right一定不为空，右旋的时候p->left一定不为空，这是显而易见的。

如果从空树开始建立，并时刻保持平衡，那么不平衡只会发生在插入删除操作上，而不平衡的标志就是出现bf == 2或者 bf == -2的节点。

Insert

在插入新元素后,要重新调整二叉树,使其保证AVL树的性质

伪代码实现

AVLInsert(k, R) 
    //插入新元素 
    Insert(x,R)
    //找到插入新元素 结点
    N <--- Find(k, R)
    //调整二叉树结构
    Rebalance(N)

树的旋转:https://en.wikipedia.org/wiki/Tree_rotation)

Rebalance(N)

Rebalance(N)
    p <--- N.parent
    if N.Left.Height > N.Right.Height + 1:
        RebalanceRight(N)
    if N.Left.Height < N.Right.Height + 1:
        RebalanceLeft(N)
     AdjustHeight(N)
     if p != null:
          Rebalance(p)

AdjustHeight(N)

//调整N的高度
AdjustHeight(N)
    N.Height = 1 + max(N.Left.Height, N.Right.Height)

RebalanceRight(N)

RebalanceRight(N)
    M <--- N.Left
    if M.Right.Height > M.Left.Height:
         RotateLeft(M)
    RotateRight(N)
    AdjustHeight(N)

Delete

AVLDelete(N)
    Delete(N)
    M <--- parent of node replacing N
    Rebalalance(M)

应用

返回第7大的元素
返回中间的元素
返回前25%的元素
实现函数:OrderStatistics
输入:树T的根节点R和数字k(结点应该含有size项)
输出:返回树T中第k大的元素

N.size表示的是结点N子树中元素的个数,满足:

N.size = N.Left.size + N.Right.size + 1

伪代码实现

OrderStatistics(R, k)
    s <--- R.Left.size
    if k == s + 1:
        return R
    else if k < s + 1:
        return OrderStatistics(R.Left, k)
    else if k > s + 1
        return OrderStatistics(R.Right, k - s -1)