数据结构之AVL树详解
投稿：junjie
1. 概述
AVL树是最早提出的自平衡二叉树，在AVL树中任何节点的两个子树的高度最大差别为一，所以它也被称为高度平衡树。AVL树得名于它的发明者G.M. Adelson-Velsky和E.M. Landis。AVL树种查找、插入和删除在平均和最坏情况下都是O（log n），增加和删除可能需要通过一次或多次树旋转来重新平衡这个树。本文介绍了AVL树的设计思想和基本操作。
2. 基本术语
有四种种情况可能导致二叉查找树不平衡，分别为：
（1）LL：插入一个新节点到根节点的左子树（Left）的左子树（Left），导致根节点的平衡因子由1变为2
（2）RR：插入一个新节点到根节点的右子树（Right）的右子树（Right），导致根节点的平衡因子由-1变为-2
（3）LR：插入一个新节点到根节点的左子树（Left）的右子树（Right），导致根节点的平衡因子由1变为2
（4）RL：插入一个新节点到根节点的右子树（Right）的左子树（Left），导致根节点的平衡因子由-1变为-2
针对四种种情况可能导致的不平衡，可以通过旋转使之变平衡。有两种基本的旋转：
（1）左旋转：将根节点旋转到（根节点的）右孩子的左孩子位置
（2）右旋转：将根节点旋转到（根节点的）左孩子的右孩子位置
3. AVL树的旋转操作
AVL树的基本操作是旋转，有四种旋转方式，分别为：左旋转，右旋转，左右旋转（先左后右），右左旋转（先右后左），实际上，这四种旋转操作两两对称，因而也可以说成两类旋转操作。
基本的数据结构：
typedef struct Node* Tree;
typedef struct Node* Node_t;
typedef Type int;
struct Node{
Node_t left;
Node_t right;
int height;
Type data;
};
int Height(Node_t node) {
return node->height;
}
3.1 LL
LL情况需要右旋解决，如下图所示：
代码为：
Node_t RightRotate(Node_t a) {
b = a->left;
a->left = b->right;
b->right = a;
a->height = Max(Height(a->left), Height(a->right));
b->height = Max(Height(b->left), Height(b->right));
return b;
}
3.2 RR
RR情况需要左旋解决，如下图所示：
代码为：
Node_t LeftRotate(Node_t a) {
b = a->right;
a->right = b->left;
b->left = a;
a->height = Max(Height(a->left), Height(a->right));
b->height = Max(Height(b->left), Height(b->right));
return b;
}
3.3 LR
LR情况需要左右（先B左旋转，后A右旋转）旋解决，如下图所示：
代码为：
Node_t LeftRightRotate(Node_t a) {
a->left = LeftRotate(a->left);
return RightRotate(a);
}
3.4 RL
RL情况需要右左旋解决（先B右旋转，后A左旋转），如下图所示：
代码为：
Node_t RightLeftRotate(Node_t a) {
a->right = RightRotate(a->right);
return LeftRotate(a);
}
4. AVL数的插入和删除操作
(1) 插入操作：实际上就是在不同情况下采用不同的旋转方式调整整棵树，具体代码如下：
Node_t Insert(Type x, Tree t) {
if(t == NULL) {
t = NewNode(x);
} else if(x < t->data) {
t->left = Insert(t->left);
if(Height(t->left) - Height(t->right) == 2) {
if(x < t->left->data) {
t = RightRotate(t);
} else {
t = LeftRightRotate(t);
}
}
} else {
t->right = Insert(t->right);
if(Height(t->right) - Height(t->left) == 2) {
if(x > t->right->data) {
t = LeftRotate(t);
} else {
t = RightLeftRotate(t);
}
}
}
t->height = Max(Height(t->left), Height(t->right)) + 1;
return t;
}
(2) 删除操作：首先定位要删除的节点，然后用该节点的右孩子的最左孩子替换该节点，并重新调整以该节点为根的子树为AVL树，具体调整方法跟插入数据类似，代码如下：
Node_t Delete(Type x, Tree t) {
if(t == NULL) return NULL;
if(t->data == x) {
if(t->right == NULL) {
Node_t temp = t;
t = t->left;
free(temp);
} else {
Node_t head = t->right;
while(head->left) {
head = head->left;
}
t->data = head->data; //just copy data
t->right = Delete(t->data, t->right);
t->height = Max(Height(t->left), Height(t->right)) + 1;
}
return t;
} else if(t->data < x) {
Delete(x, t->right);
if(t->right) Rotate(x, t->right);
} else {
Delete(x, t->left);
if(t->left) Rotate(x, t->left);
}
if(t) Rotate(x, t);
}
5. 总结
AVL树是最早的自平衡二叉树，相比于后来出现的平衡二叉树（红黑树，treap，splay树）而言，它现在应用较少，但研究AVL树对于了解后面出现的常用平衡二叉树具有重要意义。
6. 参考资料
（1） 数据结构（C语言版） 严蔚敏，吴伟民著
（2） http://zh.wikipedia.org/wiki/AVL%E6%A0%91