【C++进阶】AVL树的模拟实现(附源码)

C/C++
188
0
0
2024-05-03

一.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指针。

插入完成后要更新平衡因子,下图说明了如何更新平衡因子

接下来将会详细说明如何旋转。

旋转一共分为四种情况:

  1. 左单旋
  2. 右单旋
  3. 左右双旋
  4. 右左双旋
左单旋

左单旋的条件是: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;
};