平衡二叉树各种算法详解一：红黑树

平衡二叉树（Balanced Binary Tree）具有以下性质：它是一 棵空树或它的左右两个子树的高度差的绝对值不超过1，并且左右两个子树都是一棵平衡二叉树。平衡二叉树的常用算法有红黑树、AVL、Treap、伸展树、SBT等。最小二叉平衡树的节点的公式如下 F(n)=F(n-1)+F(n-2)+1 这个类似于一个递归的数列，可以参考Fibonacci数列，1是根节点，F(n-1)是左子树的节点数量，F(n-2)是右子树的节点数量。平衡二叉树的时间复杂度为o(h)，h为树高，保持树矮胖的形态有利于提高算法的效率。

平衡二叉树中常见操作有插入，删除，旋转等。

旋转是维持平衡二叉树必要的操作，包括左旋和右旋，二者成镜像对称。

左旋算法如下（T.ROOT表示树根，NIL表示空结点）

def Left-Rotate(x):
    y=x.right
    if(y.left!=NIL):
        y.left.parent=x
        x.right=y.left
    if(x.parent==NIL):
        T.ROOT=y
    else if(x.parent.left==x):
        x.parent.left=y
    else x.parent.right=y
    y.parent=x.parent
    x.parent=y
    y.left=x

右旋与之类似，故不再贴出代码。

插入算法如下：

def Tree-Insert(T,z):
    y=NIL         //use y as the parent of x
    x=T.ROOT
    while(x!=NIL):
        y=x
        if(z.value<x.value):
            x=x.left
        else x=x.right
    z.parent=y
    if(y==NIL):    //tree is empty
        T.ROOT=z
    else if(z.value<y.value):
        y.left=z
    else y.right=z

删除算法需要考虑三种情况：

1. z没有子结点，直接删除，修改z的父结点，再用NIL替代z即可