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