在平衡二叉树中插入一个新结点后,从该结点起向上寻找第一个不平衡的结点(平衡因子df变成了-2或2),以确定该树是否失衡。若找到,则以该结点为根的子树称为最小失衡子树。
如图所示,当新插入结点49后,以55为根结点的子树即为最小失衡子树。
当插入结点导致失衡时,如果将最小失衡子树调整为平衡的子树而且其高度与插入前的高度相同,则整棵树可恢复平衡且无须调整其他结点。对最小失衡子树的调整操作可归纳为下列4种情况。
(1)LL型
LL型指的是在最小失衡子树的左孩子的左子树上插入了新的结点。失衡调整如图所示,先找到最小失衡子树的根A,以其左孩子结点B为轴,对不平衡结点A进行顺时针旋转(也称右旋)。右旋是让B顶替A的位置,并置A为B的右孩子,如果B存在右子树Br,则置Br为A的左子树。
右旋调整算法如下:
void R_Rotate(BBSTree &p) {
BBSTree lc = p->lchild; // lc指向p结点的左孩子
p->lchild = lc->rchild; // lc结点的右子树置为p结点的左子树
lc->rchild = p; // 置p结点为lc结点的右孩子
p = lc; // p指向新的根结点
}
(2)RR型
对于RR型,正好与LL型对称,对以A为根的最小失衡子树进行逆时针旋转(也称左旋),如图所示
左旋调整算法如下:
void L_Rotate(BBSTree &p) {
BBSTree rc = p->rchild; //rc指向p结点的右孩子
p->rchild = rc->lchild; //rc结点的左子树置为p结点的右子树
rc->lchild = p; //置p结点为rc结点的左孩子
p = rc; //p指向新的根结点
}
(3)LR型
LR型指的是最小失衡子树的左孩子的右子树上插入了新的结点。处理办法如图所示,首先找到以A为根的最小失衡子树,以该子树的左孩子结点B为轴,对右子树结点C进行左旋调整,使之变为LL型。再以C为轴,对不平衡结点A进行右旋调整。
算法实现上,先进行左旋处理再进行右旋处理以实现双旋处理。
(4)RL型
RL型和LR型对称,需依次进行右旋处理和左旋处理,如图所示。