AVL树的统一重平衡算法

AVL平衡调整时，涉及到单旋（左、右）、双旋（左、右），逻辑过于复杂。今日读邓俊辉 ，发现有一种算法名叫统一重平衡算法，颇为简单，现简单介绍。

先介绍一下AVL树的基本概念。

一些概念

平衡因子(balance factor)

• 即“左、右子树的高度差”
• balFac(v) := height(lc(v)) - height(rc(v))

平衡树的节点

• 高度为h的AVL树至少包含 fib(h+3) - 1 个节点
• 又有递推式: N_h = 1 + N_h-1 + N_h-2

失衡节点集

• 因节点x的插入或删除而暂时失衡的节点，构成失衡节点集，记作UT(x)

等价变换 -若两棵二叉搜索树的中序遍历序列相同，则称它们彼此等价；反之亦然

节点插入

新引入节点x后，UT(x)中的最深者记为g(x)，在g(x) -> x中，记g(x)的孩子为p,孙子为v

单旋

双旋

节点删除

先按照BST的删除方法删除节点，由此引起的不平衡则用单旋和双旋化解，不过这只能达到局部AVL树平衡，因为局部AVL树高度可能减1，如果该局部AVL树是其父节点的高度较小的孩子，则会引起父节点树的失衡，这就叫做失衡传播。

统一重平衡算法

按中序遍历的顺序命名g(x),p,v为a,b,c; g(x),p,v的孩子（不包括g(x),p,v）为T₀，T₁ ，T₂，T₃；则局部的中序遍历序列为[T₀，a, T₁ , b ，T₂，c , T₃]

由中序遍历序列，对该局部AVL树作等价变换，得

小结

其实在做AVL树的题目时自己自不自觉地已经在用统一重平衡算法，但无法升华成一种算法。聆听大师的教诲，将朴素真理提炼出来，也许这就是读书的重要性吧。

转载于:https://my.oschina.net/u/201720/blog/1550858