数据结构之AVL树

红太狼 2022-01-27 08:05 270阅读 0赞

AVL树相关学习与实现：

## 简介 ##

**AVL树**是最早被发明的`自平衡二叉查找树`。在AVL树中，任一节点对应的两棵子树的最大高度差为1，因此它也被称为**高度平衡树**。查找、插入和删除在平均和最坏情况下的时间复杂度(都是$O(\\log n)$。增加和删除元素的操作则可能需要借由一次或多次`树旋转`，以实现树的重新平衡。AVL树得名于它的发明者**G. M. Adelson-Velsky**和**Evgenii Landis**，他们在1962年的论文《An algorithm for the organization of information》中公开了这一数据结构。

节点的**平衡因子**是它的左子树的高度减去它的右子树的高度（有时相反）。带有平衡因子1、0或 -1的节点被认为是平衡的。带有平衡因子 -2或2的节点被认为是不平衡的，并需要重新平衡这个树。平衡因子可以直接存储在每个节点中，或从可能存储在节点中的子树高度计算出来。

![20190522123959.png][]

## 删除 ##

从AVL树中删除，可以通过把要删除的节点向下旋转成一个叶子节点，接着直接移除这个叶子节点来完成。因为在旋转成叶子节点期间最多有个节点被旋转，而每次AVL旋转耗费固定的时间，所以删除处理在整体上耗费$\\mathrm\{O\}(\\log n)$时间。

## 搜索 ##

可以像普通二叉查找树一样的进行，所以耗费时间$O(\\log n)$，因为AVL树总是保持平衡的。不需要特殊的准备，树的结构不会由于查找而改变。

## 平衡操作 ##

假设平衡因子是左子树的高度减去右子树的高度所得到的值，又假设由于在二叉排序树上插入节点而失去平衡的最小子树根节点的指针为a（即a是离插入点最近，且平衡因子绝对值超过1的祖先节点），则失去平衡后进行的规律可归纳为下列四种情况：

1.  单向右旋平衡处理LL：由于在*a的左子树根节点的左子树上插入节点，*a的平衡因子由1增至2，致使以\*a为根的子树失去平衡，则需进行一次右旋转操作；
2.  单向左旋平衡处理RR：由于在*a的右子树根节点的右子树上插入节点，*a的平衡因子由-1变为-2，致使以\*a为根的子树失去平衡，则需进行一次左旋转操作；
3.  双向旋转（先左后右）平衡处理LR：由于在*a的左子树根节点的右子树上插入节点，*a的平衡因子由1增至2，致使以\*a为根的子树失去平衡，则需进行两次旋转（先左旋后右旋）操作。
4.  双向旋转（先右后左）平衡处理RL：由于在*a的右子树根节点的左子树上插入节点，*a的平衡因子由-1变为-2，致使以\*a为根的子树失去平衡，则需进行两次旋转（先右旋后左旋）操作。

![20190522115224.png][]

在平衡的二叉排序树BBST (Balancing Binary Search Tree)上插入一个新的数据元素e的递归算法可描述如下：

1.  若BBST为空树，则插入一个数据元素为e的新节点作为BBST的根节点，树的深度增1；
2.  若e的关键字和BBST的根节点的关键字相等，则不进行；
3.  若e的关键字小于BBST的根节点的关键字，而且在BBST的左子树中不存在和e有相同关键字的节点，则将e插入在BBST的左子树上，并且当插入之后的左子树深度增加（+1）时，分别就下列不同情况处理之：
    
    1.  BBST的根节点的平衡因子为-1（右子树的深度大于左子树的深度，则将根节点的平衡因子更改为0，BBST的深度不变；
    2.  BBST的根节点的平衡因子为0（左、右子树的深度相等）：则将根节点的平衡因子更改为1，BBST的深度增1；
    3.  BBST的根节点的平衡因子为1（左子树的深度大于右子树的深度）：则若BBST的左子树根节点的平衡因子为1：则需进行单向右旋平衡处理，并且在右旋处理之后，将根节点和其右子树根节点的平衡因子更改为0，树的深度不变；
4.  若e的关键字大于BBST的根节点的关键字，而且在BBST的右子树中不存在和e有相同关键字的节点，则将e插入在BBST的右子树上，并且当插入之后的右子树深度增加（+1）时，分别就不同情况处理之。

## Java实现 ##

### 节点 ###

### 高度 ###

### 比较大小 ###

<table> 
 <tbody> 
 <tr> 
 <td><pre>1 2 3 4 5 6 </pre></td> 
 <td><pre>/* * 比较两个值的大小 */ private int max(int a, int b) {
 return a&gt;b ? a : b; } </pre></td> 
 </tr> 
 </tbody> 
</table>

### 旋转 ###

#### LL的旋转 ####

![20190522122401.png][]

#### RR的旋转 ####

![20190522122726.png][]

#### LR的旋转 ####

![20190522122838.png][]

#### RL的旋转 ####

![20190522123047.png][]

#### 删除 ####

<table> 
 <tbody> 
 <tr> 
 <td><pre>1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 </pre></td> 
 <td><pre>/* * 删除结点(z)，返回根节点 * * 参数说明： * tree AVL树的根结点 * z 待删除的结点 * 返回值： * 根节点 */ private AVLTreeNode&lt;T&gt; remove(AVLTreeNode&lt;T&gt; tree, AVLTreeNode&lt;T&gt; z) {
 // 根为空 或者 没有要删除的节点，直接返回null。 if (tree==null || z==null) return null; int cmp = z.key.compareTo(tree.key); if (cmp &lt; 0) { // 待删除的节点在"tree的左子树"中 tree.left = remove(tree.left, z); // 删除节点后，若AVL树失去平衡，则进行相应的调节。 if (height(tree.right) - height(tree.left) == 2) {
 AVLTreeNode&lt;T&gt; r = tree.right; if (height(r.left) &gt; height(r.right)) tree = rightLeftRotation(tree); else tree = rightRightRotation(tree); } } else if (cmp &gt; 0) { // 待删除的节点在"tree的右子树"中 tree.right = remove(tree.right, z); // 删除节点后，若AVL树失去平衡，则进行相应的调节。 if (height(tree.left) - height(tree.right) == 2) {
 AVLTreeNode&lt;T&gt; l = tree.left; if (height(l.right) &gt; height(l.left)) tree = leftRightRotation(tree); else tree = leftLeftRotation(tree); } } else { // tree是对应要删除的节点。 // tree的左右孩子都非空 if ((tree.left!=null) &amp;&amp; (tree.right!=null)) {
 if (height(tree.left) &gt; height(tree.right)) {
 // 如果tree的左子树比右子树高； // 则(01)找出tree的左子树中的最大节点 // (02)将该最大节点的值赋值给tree。 // (03)删除该最大节点。 // 这类似于用"tree的左子树中最大节点"做"tree"的替身； // 采用这种方式的好处是：删除"tree的左子树中最大节点"之后，AVL树仍然是平衡的。 AVLTreeNode&lt;T&gt; max = maximum(tree.left); tree.key = max.key; tree.left = remove(tree.left, max); } else {
 // 如果tree的左子树不比右子树高(即它们相等，或右子树比左子树高1) // 则(01)找出tree的右子树中的最小节点 // (02)将该最小节点的值赋值给tree。 // (03)删除该最小节点。 // 这类似于用"tree的右子树中最小节点"做"tree"的替身； // 采用这种方式的好处是：删除"tree的右子树中最小节点"之后，AVL树仍然是平衡的。 AVLTreeNode&lt;T&gt; min = maximum(tree.right); tree.key = min.key; tree.right = remove(tree.right, min); } } else {
 AVLTreeNode&lt;T&gt; tmp = tree; tree = (tree.left!=null) ? tree.left : tree.right; tmp = null; } } return tree; } public void remove(T key) {
 AVLTreeNode&lt;T&gt; z; if ((z = search(mRoot, key)) != null) mRoot = remove(mRoot, z); } </pre></td> 
 </tr> 
 </tbody> 
</table>

### 测试 ###

![20190522123616.png][]

![20190522123633.png][]

## 参考资料 ##

《维基百科》

[https://www.cnblogs.com/skywang12345/p/3577479.html][https_www.cnblogs.com_skywang12345_p_3577479.html]

[20190522123959.png]: /images/20220127/70c27c5011b64c80a908dfef6eb8212c.png
[20190522115224.png]: /images/20220127/863ebdbfc2e94c8db96cc3460045f520.png
[20190522122401.png]: /images/20220127/f79e766bc0a24201abb00fb698d2dea9.png
[20190522122726.png]: /images/20220127/7cc452991fbb41a88c4254bb6886515a.png
[20190522122838.png]: /images/20220127/63a2cec04143495ebd7811440b1563ad.png
[20190522123047.png]: /images/20220127/33b35be246694b349c2a6e097537a5f2.png
[20190522123616.png]: /images/20220127/3f858c7b9568424a9382945ec3e1fc44.png
[20190522123633.png]: /images/20220127/575a36dce54242e480429d84b9934d8d.png
[https_www.cnblogs.com_skywang12345_p_3577479.html]: https://www.cnblogs.com/skywang12345/p/3577479.html