标签:span term mat 所有结点 变量 二叉树 alt 这一 四种
在说平衡树之前我们得先复习一下二叉搜索树BST的定义:
显然我们如果有一个已经建立好二叉搜索树的序列,那就可以很容易地找出某个数的前驱、排名(或者求第k大的数)等,时间复杂度与树的高度有关,一般为 \(O(log_2n)\)
不过,参考下列的序列,如果建立二叉搜索树,则收效甚微:
这一序列大部分是有序递增的,这就导致我们总是插入右子树,也就使得二叉树变成了“蚯蚓形”,高度大大增加。进而时间复杂度也接近 \(O(n)\),失去了树结构的优势
平衡树要实现的特性比较直接:让每棵二叉搜索树的左右子树高度相差不大,这样就能保持住 \(O(log_2n)\) 的时间优势,AVL算法是实现途径之一
建立一棵AVL树需要在二叉搜索树BST每个节点上加入 平衡因子 这一概念:
记录平衡因子的过程很简单,只需要在插入的时候对经过的父节点进行更新即可
不过我们并不会让这一数字的绝对值大于等于2,因为每次插入之后我们会回溯,如果检查到某一节点的平衡因子绝对值大于等于2,则对此节点进行旋转操作。进而将平衡因子绝对值控制到小于等于1
如何旋转在下面介绍
先表明一下我们在这棵AVL树中用到的变量:
struct avl
{
int fa; //父节点
int ls; //左儿子
int rs; //右儿子
int v; //节点权值
int bt; //平衡因子
}
可知,我们旋转的时候,有可能是bt <= -2或者bt >= 2(即左子树偏高与右子树偏高),之后便涉及到四种旋转:LL,RR,LR,RL,先介绍简单情况下的前两种
我们遇到下面这种树时
显然应该这样做:把6变为4的右儿子,把4设置为根,1不变
这是最为简单的LL旋转
较为完整的表述:对某一节点进行LL旋转,就是让他的左儿子替代它的位置,它成为左儿子的右儿子,然后左儿子的右儿子成为它的左儿子。 下图涵盖了这一情况
经过LL旋转后:
完整地实践了上述加粗的表述
实现函数如下
void ll(int o)
{
int oo = aa[o].ls;
aa[oo].fa = aa[o].fa;
if (aa[oo].fa == 0)
{
ro = oo;
}
if (aa[o].fa)
{
if (aa[aa[o].fa].v < aa[o].v)
{
aa[aa[o].fa].rs = oo;
}
else
{
aa[aa[o].fa].ls = oo;
}
}
aa[o].fa = oo;
aa[o].ls = aa[oo].rs;
if (aa[oo].rs)
{
aa[aa[oo].rs].fa = o;
}
aa[oo].rs = o;
}
这里要说的是,如果理解了LL旋转,则RR旋转也就没有问题了,因为它就是LL旋转的镜像操作:
经过RR旋转后:
实现函数如下
void rr(int o)
{
int oo = aa[o].rs;
aa[oo].fa = aa[o].fa;
if (aa[oo].fa == 0)
{
ro = oo;
}
if (aa[o].fa)
{
if (aa[aa[o].fa].v < aa[o].v)
{
aa[aa[o].fa].rs = oo;
}
else
{
aa[aa[o].fa].ls = oo;
}
}
aa[o].fa = oo;
aa[o].rs = aa[oo].ls;
if (aa[oo].ls)
{
aa[aa[oo].ls].fa = o;
}
aa[oo].ls = o;
}
先看下面这个情况,我们应该如何旋转?
显然由于这棵树的最底部的节点在“左子树的右子树上”,所以即使经过LL旋转,按照规则,我们也不能使其左右子树平衡
正解是先让根的左儿子节点进行一次RR旋转,变为之前的情形:
然后进行LL旋转,这样就可以两次旋转来使其平衡,较复杂情况如下:
先对左儿子节点进行RR旋转:
再对根进行LL旋转后:
如果理解了LR旋转,那其实RL旋转也不需要解释了,因为仍然是LR旋转的镜像操作————先让根的右儿子节点进行一次LL旋转,然后进行RR旋转
我们是以bt的值来判断这一节点是否需要旋转的,但是如何知道用什么旋转?
可以参考之前给出的例子,下面标出了每个节点的bt值:
此时我们进行的是LL旋转
此时我们进行的是LR旋转
1.我们首先发现根节点bt == -2,说明左子树偏高
2.然后去检查左子树
3.在第一个图中发现bt == -1,两个值都是负,说明:这棵树的最底部的点在左子树的左子树上,所以只需要进行一次LL旋转就可以
4.在第二个图中发现bt == 1,前正后负,说明:这棵树的最底部的点在左子树的右子树上,需要进行LR旋转
而像下面对右旋的分析就不再展开,原理也是相似的
标签:span term mat 所有结点 变量 二叉树 alt 这一 四种
原文地址:https://www.cnblogs.com/int-me-X/p/12819276.html