一.AVL树的概念
我们知道,二叉搜索树的效率很高,如果数据有序或接近有序二叉搜索树将退化为单支树,查 找元素相当于在顺序表中搜索元素,效率低下,为了解决这个问题,AVL树(平衡二叉树)就出现了。
AVL树的性质:
- 它的左右子树都是AVL树
- 左右子树高度之差(简称平衡因子)的绝对值不超过1(-1/0/1)(右子树-左子树)
上图就是一个AVL树,每个节点上的数字为这个节点的平衡因子,绝对值不超过1 ;
如果一棵二叉搜索树是高度平衡的,它就是AVL树。如果它有n个结点,其高度可保持在 O(log N),搜索时间复杂度O(logN)。
接下来让我们来模拟实现AVL树。
有两种方法可以模拟实现AVL树:
- 使用平衡因子控制高度
- 使用高度函数控制高度
本文将采用平衡因子的方法控制高度。
二.AVL树的模拟实现
AVL树的节点
这里我们使用三叉链的结构,便于找到父节点
- 左指针(_left)
- 右指针(_right)
- 父指针(_parent)
- 平衡因子(balance factor,简写 _bf)
代码语言:javascript
复制
template <class K,class V> //这里我们采用KV模型 | |
struct AVLTreeNode | |
{ | |
pair<K,V> _kv; | |
AVLTreeNode* _left; | |
AVLTreeNode* _right; | |
AVLTreeNode* _parent; | |
int _bf; | |
AVLTreeNode(const pair<K,V>& kv) | |
:_kv(kv) | |
,_left(nullptr) | |
,_right(nullptr) | |
,_parent(nullptr) | |
,_bf(0) | |
{} | |
}; |
AVL树的插入 Insert
首先就是找到新插入节点的位置,这和二叉搜索树的操作是一样的,插入完成后,不要忘记更新cur的parent指针。
插入完成后要更新平衡因子,下图说明了如何更新平衡因子
接下来将会详细说明如何旋转。
旋转一共分为四种情况:
- 左单旋
- 右单旋
- 左右双旋
- 右左双旋
左单旋
左单旋的条件是:cur的平衡因子为1并且parent的平衡因子为2,也就是单纯的右边高;
具体看下图:
代码语言:javascript
复制
void RotateL(Node*parent) //左旋 | |
{ | |
Node* cur = parent->_right; | |
Node* curleft = cur->_left; | |
Node* ppnode = parent->_parent; //提前保存parent的父节点,便于后续cur父指针的更新 | |
parent->_right = curleft; //核心操作1 | |
cur->_left = parent; //核心操作2 | |
if (curleft) //当curleft不为nullptr时 | |
{ | |
curleft->_parent = parent; | |
} | |
parent->_parent = cur; //parent的父指针指向cur | |
//链接ppnode和cur | |
if (ppnode == nullptr) //当ppnode为nullptr时,即parent是根节点,旋转的是整个子树 | |
{ | |
_root = cur; | |
cur->_parent = nullptr; | |
} | |
else | |
{ | |
//当ppnode不为nullptr时,即parent不是根节点,旋转的是局部子树,此时要链接ppnode和子树 | |
if (ppnode->_left == parent) | |
{ | |
ppnode->_left = cur; | |
} | |
else | |
{ | |
ppnode->_right = cur; | |
} | |
cur->_parent = ppnode; | |
} | |
parent->_bf = cur->_bf = 0; //调整平衡因子 | |
} |
右单旋
右单旋的条件是:cur的平衡因子为-1并且parent的平衡因子为-2,也就是单纯的左边高
代码语言:javascript
复制
void RotateR(Node* parent) | |
{ | |
Node* cur = parent->_left; | |
Node* curright = cur->_right; | |
Node* ppnode = parent->_parent; //提前保存好parent得父节点,便于后续cur父指针的更新 | |
parent->_left = curright; //核心操作1 | |
cur->_right = parent; //核心操作2 | |
if (curright) //更新curright的父指针,注意要判断是否为空 | |
{ | |
curright->_parent = parent; | |
} | |
parent->_parent = cur; //更新parent的父指针 | |
//链接cur与ppnode | |
if (ppnode == nullptr) | |
{ | |
_root = cur; | |
cur->_parent = nullptr; | |
} | |
else | |
{ | |
if (ppnode->_left == parent) | |
{ | |
ppnode->_left = cur; | |
} | |
else | |
ppnode->_right = cur; | |
cur->_parent = ppnode; | |
} | |
parent->_bf = cur->_bf = 0; //调整平衡因子 | |
} |
左右双旋
左右双旋的条件为:cur的平衡因子为1并且parent的平衡因子为-2
此时可以复用前面的左单旋和右单旋,但是要特别注意curleft(或是curright),parent,cur的平衡因子的更新。
代码语言:javascript
复制
void RotateLR(Node* parent) | |
{ | |
Node* cur = parent->_left; | |
Node* curright = cur->_right; | |
RotateL(parent->_left); | |
RotateR(parent); | |
//调整平衡因子 | |
if (curright->_bf == 0) | |
{ | |
parent->_bf = 0; | |
cur->_bf = 0; | |
curright->_bf = 0; | |
} | |
else if (curright->_bf == 1) | |
{ | |
parent->_bf = 0; | |
cur->_bf = -1; | |
curright->_bf = 0; | |
} | |
else if (curright->_bf == -1) | |
{ | |
parent->_bf = 1; | |
cur->_bf = 0; | |
curright->_bf = 0; | |
} | |
else | |
assert(false); | |
} |
右左双旋
右左双旋的条件为:cur的平衡因子为-1并且parent的平衡因子为2
代码语言:javascript
复制
void RotateRL(Node* parent) | |
{ | |
Node* cur = parent->_right; | |
Node* curleft = cur->_left; | |
RotateR(parent->_right); | |
RotateL(parent); | |
//调整平衡因子 | |
if (curleft->_bf == 0) | |
{ | |
parent->_bf = 0; | |
cur->_bf = 0; | |
curleft->_bf = 0; | |
} | |
else if (curleft->_bf == 1) | |
{ | |
parent->_bf = -1; | |
cur->_bf = 0; | |
curleft->_bf = 0; | |
} | |
else if (curleft->_bf == -1) | |
{ | |
parent->_bf = 0; | |
cur->_bf = 1; | |
curleft->_bf = 0; | |
} | |
else | |
assert(false); | |
} |
三.AVL树的验证
- 首先验证是否是二叉搜索树,即中序遍历一趟是否是有序序列
- 检查平衡因子是否正确
代码语言:javascript
复制
int Height(Node* root) | |
{ | |
if (root == nullptr) | |
return 0; | |
int leftHeight = Height(root->_left); | |
int rightHeight = Height(root->_right); | |
return leftHeight > rightHeight ? leftHeight + 1 : rightHeight + 1; | |
} | |
bool isBlance() | |
{ | |
return isBlance(_root); | |
} | |
bool isBlance(Node* root) | |
{ | |
if (root == nullptr) //空树也是AVL树 | |
return true; | |
int leftHeight = Height(root->_left); | |
int rightHeight = Height(root->_right); | |
if (abs(rightHeight - leftHeight) > 1) //检查平衡因子是否正确 | |
return false; | |
return isBlance(root->_left) && isBlance(root->_right); | |
} |
四.AVL树的性能
- AVL树是一棵绝对平衡的二叉搜索树,其要求每个节点的左右子树高度差的绝对值都不超过1,这样可以保证查询时高效的时间复杂度,即logN
- 但是如果要对AVL树做一些结构修改的操作,性能非常低下,比如:插入时要维护其绝对平衡,旋转的次数比较多,更差的是在删除时,有可能一直要让旋转持续到根的位置。
- 因此:如果需要一种查询高效且有序的数据结构,而且数据的个数为静态的(即不会改变),可以考虑AVL树,但一个结构经常修改,就不太适合。
五.源码
AVLTree.h
代码语言:javascript
复制
template <class K,class V> | |
struct AVLTreeNode | |
{ | |
pair<K,V> _kv; | |
AVLTreeNode* _left; | |
AVLTreeNode* _right; | |
AVLTreeNode* _parent; | |
int _bf; | |
AVLTreeNode(const pair<K,V>& kv) | |
:_kv(kv) | |
,_left(nullptr) | |
,_right(nullptr) | |
,_parent(nullptr) | |
,_bf(0) | |
{} | |
}; | |
template<class K,class V> | |
class AVLTree | |
{ | |
typedef AVLTreeNode<K, V> Node; | |
public: | |
bool Insert(const pair<K, V>& kv) | |
{ | |
if (_root == nullptr) | |
{ | |
_root = new Node(kv); | |
return true; | |
} | |
Node* cur = _root; | |
Node* parent = nullptr; | |
while (cur) | |
{ | |
if (cur->_kv.first < kv.first) | |
{ | |
parent = cur; | |
cur = cur->_right; | |
} | |
else if (cur->_kv.first > kv.first) | |
{ | |
parent = cur; | |
cur = cur->_left; | |
} | |
else | |
return false; | |
} | |
cur = new Node(kv); | |
if (parent->_kv.first > kv.first) | |
parent->_left = cur; | |
else | |
parent->_right = cur; | |
cur->_parent = parent; | |
//调平衡因子 | |
while (parent) | |
{ | |
if (cur == parent->_left) //左子树增高,平衡因子-- | |
parent->_bf--; | |
else if (cur == parent->_right) //右子树增高,平衡因子++ | |
parent->_bf++; | |
if (parent->_bf == 0) //平衡因子==0时,结束 | |
break; | |
else if (parent->_bf == 1 || parent->_bf == -1) | |
{ | |
cur = parent; | |
parent = parent->_parent; | |
} | |
else if (parent->_bf == 2 || parent->_bf == -2) | |
{ | |
if (parent->_bf == 2 && cur->_bf == 1) //左旋 | |
{ | |
RotateL(parent); | |
} | |
else if (parent->_bf == -2 && cur->_bf == -1) //右旋 | |
{ | |
RotateR(parent); | |
} | |
else if (parent->_bf == 2 && cur->_bf == -1) //右左双旋 | |
{ | |
RotateRL(parent); | |
} | |
else if (parent->_bf == -2 && cur->_bf == 1) //左右双旋 | |
{ | |
RotateLR(parent); | |
} | |
else | |
assert(false); | |
} | |
else | |
assert(false); | |
} | |
return true; | |
} | |
void RotateL(Node*parent) //左旋 | |
{ | |
Node* cur = parent->_right; | |
Node* curleft = cur->_left; | |
parent->_right = curleft; //核心操作1 | |
if (curleft) //当curleft不为nullptr时 | |
{ | |
curleft->_parent = parent; | |
} | |
cur->_left = parent; //核心操作2 | |
Node* ppnode = parent->_parent; | |
parent->_parent = cur; | |
if (ppnode == nullptr) //当ppnode为nullptr时,即parent是根节点,旋转的是整个子树 | |
{ | |
_root = cur; | |
cur->_parent = nullptr; | |
} | |
else | |
{ | |
//当ppnode不为nullptr时,即parent不是根节点,旋转的是局部子树,此时要链接ppnode和子树 | |
if (ppnode->_left == parent) | |
{ | |
ppnode->_left = cur; | |
} | |
else | |
{ | |
ppnode->_right = cur; | |
} | |
cur->_parent = ppnode; | |
} | |
parent->_bf = cur->_bf = 0; //调整平衡因子 | |
} | |
void RotateR(Node* parent) | |
{ | |
Node* cur = parent->_left; | |
Node* curright = cur->_right; | |
parent->_left = curright; | |
if (curright) | |
{ | |
curright->_parent = parent; | |
} | |
cur->_right = parent; | |
Node* ppnode = parent->_parent; | |
parent->_parent = cur; | |
if (ppnode == nullptr) | |
{ | |
_root = cur; | |
cur->_parent = nullptr; | |
} | |
else | |
{ | |
if (ppnode->_left == parent) | |
{ | |
ppnode->_left = cur; | |
} | |
else | |
ppnode->_right = cur; | |
cur->_parent = ppnode; | |
} | |
parent->_bf = cur->_bf = 0; | |
} | |
void RotateRL(Node* parent) | |
{ | |
Node* cur = parent->_right; | |
Node* curleft = cur->_left; | |
RotateR(parent->_right); | |
RotateL(parent); | |
//调整平衡因子 | |
if (curleft->_bf == 0) | |
{ | |
parent->_bf = 0; | |
cur->_bf = 0; | |
curleft->_bf = 0; | |
} | |
else if (curleft->_bf == 1) | |
{ | |
parent->_bf = -1; | |
cur->_bf = 0; | |
curleft->_bf = 0; | |
} | |
else if (curleft->_bf == -1) | |
{ | |
parent->_bf = 0; | |
cur->_bf = 1; | |
curleft->_bf = 0; | |
} | |
else | |
assert(false); | |
} | |
void RotateLR(Node* parent) | |
{ | |
Node* cur = parent->_left; | |
Node* curright = cur->_right; | |
RotateL(parent->_left); | |
RotateR(parent); | |
//调整平衡因子 | |
if (curright->_bf == 0) | |
{ | |
parent->_bf = 0; | |
cur->_bf = 0; | |
curright->_bf = 0; | |
} | |
else if (curright->_bf == 1) | |
{ | |
parent->_bf = 0; | |
cur->_bf = -1; | |
curright->_bf = 0; | |
} | |
else if (curright->_bf == -1) | |
{ | |
parent->_bf = 1; | |
cur->_bf = 0; | |
curright->_bf = 0; | |
} | |
else | |
assert(false); | |
} | |
private: | |
Node* _root=nullptr; | |
}; |