什么是AVL树?

目录

AVL树的概念

AVL树的实现

AVL树的插入

插入过程

平衡因子的更新

旋转

旋转的原则

右单旋

左单旋

左右双旋

右左双旋

AVL树的查找

AVL树的平衡检测

全部代码


AVL树的概念

  • AVL树是最先发明的⾃平衡⼆叉查找树AVL是⼀颗空树,或者具备下列性质的⼆叉搜索树:它的 左右⼦树都是AVL树,且左右⼦树的⾼度差的绝对值不超过1。AVL树是⼀颗⾼度平衡搜索⼆叉树, 通过控制⾼度差去控制平衡
  • AVL树实现这⾥我们引⼊⼀个平衡因⼦(balancefactor)的概念,每个结点都有⼀个平衡因⼦,任何 结点的平衡因⼦等于右⼦树的⾼度减去左⼦树的⾼度,也就是说任何结点的平衡因⼦等于0/1/-1, AVL树并不是必须要平衡因⼦,但是有了平衡因⼦可以更⽅便我们去进⾏观察和控制树是否平衡, 就像⼀个⻛向标⼀样。
  • 思考⼀下为什么AVL树是⾼度平衡搜索⼆叉树,要求⾼度差不超过1,⽽不是⾼度差是0呢?0不是更 好的平衡吗?画画图分析我们发现,不是不想这样设计,⽽是有些情况是做不到⾼度差是0的。⽐如⼀棵树是2个结点,4个结点等情况下,⾼度差最好就是1,⽆法做到⾼度差是0
  • AVL树整体结点数量和分布和完全⼆叉树类似,⾼度可以控制在 ,那么增删查改的效率也可 以控制在O(logN),相⽐⼆叉搜索树有了本质的提升.

注意:AVL树它的前提是二叉搜索树(左小右大)!

AVL树的实现

准备工作:

树的节点是一个类,树是一个类。

AVL树的插入

插入过程

  1. 插⼊⼀个值按⼆叉搜索树规则进⾏插⼊。
  2. 新增结点以后,只会影响祖先结点的⾼度,也就是可能会影响部分祖先结点的平衡因⼦,所以更新从新增结点->根结点路径上的平衡因⼦,实际中最坏情况下要更新到根,有些情况更新到中间就可以停⽌了,具体情况我们下⾯再详细分析。
  3. 更新平衡因⼦过程中没有出现问题,则插⼊结束。
  4. 更新平衡因⼦过程中出现不平衡,对不平衡⼦树旋转,旋转后本质调平衡的同时,本质降低了⼦树 的⾼度,不会再影响上⼀层,所以插⼊结束

因为插入一个节点,可能会影响它的祖先节点平衡,所以我们需要一路去调整,可能会出现旋转来使节点平衡!

平衡因子的更新

更新原则

  • 平衡因⼦=右⼦树⾼度-左⼦树⾼度。
  • 只有⼦树⾼度变化才会影响当前结点平衡因⼦。
  • 插⼊结点,会增加⾼度,所以新增结点在parent的右⼦树,parent的平衡因⼦++,新增结点在 parent的左⼦树,parent平衡因⼦--。
  • parent所在⼦树的⾼度是否变化决定了是否会继续往上更新。

更新条件

  1. 更新后parent的平衡因⼦等于0,更新中parent的平衡因⼦变化为-1->0或者1->0,说明更新前 parent⼦树⼀边⾼⼀边低,新增的结点插⼊在低的那边,插⼊后parent所在的⼦树⾼度不变,不会 影响parent的⽗亲结点的平衡因⼦,更新结束。
  2. 更新后parent的平衡因⼦等于1或-1,更新前更新中parent的平衡因⼦变化为0->1或者0->-1,说 明更新前parent⼦树两边⼀样⾼,新增的插⼊结点后,parent所在的⼦树⼀边⾼⼀边低,parent所 在的⼦树符合平衡要求,但是⾼度增加了1,会影响parent的⽗亲结点的平衡因⼦,所以要继续向 上更新。
  3. 更新后parent的平衡因⼦等于2或-2,更新前更新中parent的平衡因⼦变化为1->2或者-1->-2,说明更新前parent⼦树⼀边⾼⼀边低,新增的插⼊结点在⾼的那边,parent所在的⼦树⾼的那边更⾼ 了,破坏了平衡,parent所在的⼦树不符合平衡要求,需要旋转处理,旋转的⽬标有两个:1、把 parent⼦树旋转平衡。2、降低parent⼦树的⾼度,恢复到插⼊结点以前的⾼度。所以旋转后也不 需要继续往上更新,插⼊结束。
  4. 不断更新,更新到根,跟的平衡因⼦是1或-1也停⽌了。

开始写部分代码:

旋转

旋转的原则
  1. 保持搜索树的规则。
  2. 让旋转的树从不满⾜变平衡,其次降低旋转树的⾼度。
  3. 旋转总共分为四种,左单旋/右单旋/左右双旋/右左双旋。
右单旋

这里不过多赘述,直接看图:

实例:

我们不难理解右单旋的判断条件就是:parent平衡因子是-2,subL(cur)平衡因子是-1。

代码实现:

void RotateR(Node* parent)
{
	Node* subL = parent->_left;
	Node* subLR = subL->_right;
	//不要忘了也要链接parent的父亲节点
	Node* pParent = parent->_parent;
	parent->_left = subLR;
	if (subLR)
		subLR->_parent = parent;
	subL->_right = parent;
	parent->_parent = subL;
	//parent可能是根
	if (parent==_root)
	{
		_root = subL;
		subL->_parent = nullptr;
	}
	else //不是根
	{
		if (pParent->_left == parent)
			pParent->_left = subL;
		else
			pParent->_right = subL;
		subL->_parent = pParent;
	}
	subL->_bf = parent->_bf = 0;
}
左单旋

同理,直接上图:

我们不难理解左单旋的判断条件就是:parent平衡因子是2,subR(cur)平衡因子是1。

代码实现:

	void RotateL(Node* parent)
	{
		Node* subR = parent->_right;
		Node* subRL = subR->_left;
		Node* pParent = parent->_parent;
		parent->_right = subRL;
		if (subRL)
			subRL->_parent = parent;
		subR->_left = parent;
		parent->_parent = subR;
		//可能parent就是根了
		if (parent == _root)
		{
			_root = subR;
			subR->_parent = nullptr;
		}
		else //不是根
		{
			if (pParent->_left == parent)
				pParent->_left = subR;
			else
				pParent->_right = subR;
			subR->_parent = pParent;
		}
		subR->_bf = parent->_bf = 0;
	}
左右双旋

左右双选有三种情况,我们直接上图理解:

多看图理解!!!

我们不难理解左右单旋的判断条件就是:parent平衡因子是-2,subL(cur)平衡因子是1。

而分成三种情况的判断条件是subLR的平衡因子(0或-1或1)!

代码实现:

void RotateLR(Node* parent)
{
	Node* subL = parent->_left;
	Node* subLR = subL->_right;
	int bf = subLR->_bf;
	RotateL(subL);
	RotateR(parent);
	if (bf == 0)
	{
		subLR->_bf = subL->_bf = parent->_bf = 0;
	}
	else if (bf == 1)
	{
		subLR->_bf = parent->_bf = 0;
		subL->_bf = -1;
	}
	else if (bf == -1)
	{
		subL->_bf = subLR->_bf = 0;
		parent->_bf = 1;
	}
	else
		assert(false);
}
右左双旋

同理,上图理解:

我们不难理解右左单旋的判断条件就是:parent平衡因子是2,subR(cur)平衡因子是-1。

而分成三种情况的判断条件是subRL的平衡因子(0或-1或1)!

代码实现:

void RotateRL(Node* parent)
{
	Node* subR = parent->_right;
	Node* subRL = subR->_left;
	int bf = subRL->_bf;
	RotateR(subR);
	RotateL(parent);
	if (bf == 0)
	{
		subR->_bf = subRL->_bf = parent->_bf = 0;
	}
	else if (bf == -1)
	{
		subRL->_bf = parent->_bf = 0;
		subR->_bf = 1;
	}
	else if (bf == 1)
	{
		subRL->_bf = subR->_bf = 0;
		parent->_bf = -1;
	}
	else
		assert(false);
}

AVL树的查找

这里的查找和二叉搜索树类似,不过多赘述!

	Node* Find(const K& key)
	{
		Node* cur = _root;
		while (cur)
		{
			if (cur->_kv < key)
				cur = cur->_right;
			else if (cur->_kv > key)
				cur = cur->_left;
			else
				return cur;
		}
		return nullptr;
	}

AVL树的平衡检测

我们知道平衡因子等于右子树高度减去左子树高度,我们可以检测当它们的高度差(正数)大于或者等于2,那么就不平衡,就可以检测我们代码写错了。

同时,当高度差不等于存储的那个平衡因子,我们也错了!

代码:

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 _IsBalanceTree(Node* root)
{
	//空树也是AVL树
	if (root == nullptr)
		return true;
	//计算高度差
	int leftHeight = _Height(root->_left);
	int rightHeight = _Height(root->_right);
	int diff = rightHeight - leftHeight;
	//平衡因子大于或等于2,则不是AVL树
	if (abs(diff) >= 2)
	{
		cout << root->_kv.first << "高度差异常" << endl;
		return false;
	}
	//平衡因子不等于diff,也不是AVL树
	if (diff != root->_bf)
	{
		cout << root->_bf << "平衡因子异常" << endl;
		return false;
	}
	//根的左右子树都是AVL树,才是AVL树
	return _IsBalanceTree(root->_left)
		&& _IsBalanceTree(root->_right);
}

全部代码

template<class K,class V>
struct AVLTreeNode
{
	pair<K, V> _kv;
	AVLTreeNode<K, V>* _left;
	AVLTreeNode<K, V>* _right;
	AVLTreeNode<K, V>* _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* parent = nullptr;
		Node* cur = _root;
		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);
		cur->_parent = parent;
		if (parent->_kv.first < kv.first)
			parent->_right = cur;
		else
			parent->_left = cur;
		//更新平衡因子
		while (parent)
		{
			if (parent->_left == cur)
				parent->_bf--;
			else
				parent->_bf++;
			if (parent->_bf == 0)
			{
				break;//更新结束
			}
			else if (parent->_bf == 1 || parent->_bf == -1)
			{
				//继续往上更新
				cur = parent;
				parent = cur->_parent;
			}
			else if (parent->_bf == 2 || parent->_bf == -2)
			{
				//旋转
				if (parent->_bf == -2 && cur->_bf == -1)
				{
					RotateR(parent);
				}
				else if (parent->_bf == 2 && cur->_bf == 1)
				{
					RotateL(parent);
				}
				else if (parent->_bf == -2 && cur->_bf == 1)
				{
					RotateLR(parent);
				}
				else if (parent->_bf == 2 && cur->_bf == -1)
				{
					RotateRL(parent);
				}
				else
					assert(false);
				break;
			}
			else
				assert(false);
		}
		return true;
	}
	Node* Find(const K& key)
	{
		Node* cur = _root;
		while (cur)
		{
			if (cur->_kv < key)
				cur = cur->_right;
			else if (cur->_kv > key)
				cur = cur->_left;
			else
				return cur;
		}
		return nullptr;
	}
	void Inorder()
	{
		_Inorder(_root);
	}
	bool IsBalanceTree()
	{
		return _IsBalanceTree(_root);
	}
private:
	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 _IsBalanceTree(Node* root)
	{
		//空树也是AVL树
		if (root == nullptr)
			return true;
		//计算高度差
		int leftHeight = _Height(root->_left);
		int rightHeight = _Height(root->_right);
		int diff = rightHeight - leftHeight;
		//平衡因子大于或等于2,则不是AVL树
		if (abs(diff) >= 2)
		{
			cout << root->_kv.first << "高度差异常" << endl;
			return false;
		}
		//平衡因子不等于diff,也不是AVL树
		if (diff != root->_bf)
		{
			cout << root->_bf << "平衡因子异常" << endl;
			return false;
		}
		//根的左右子树都是AVL树,才是AVL树
		return _IsBalanceTree(root->_left)
			&& _IsBalanceTree(root->_right);
	}
	void RotateR(Node* parent)
	{
		Node* subL = parent->_left;
		Node* subLR = subL->_right;
		//不要忘了也要链接parent的父亲节点
		Node* pParent = parent->_parent;
		parent->_left = subLR;
		if (subLR)
			subLR->_parent = parent;
		subL->_right = parent;
		parent->_parent = subL;
		//parent可能是根
		if (parent==_root)
		{
			_root = subL;
			subL->_parent = nullptr;
		}
		else //不是根
		{
			if (pParent->_left == parent)
				pParent->_left = subL;
			else
				pParent->_right = subL;
			subL->_parent = pParent;
		}
		subL->_bf = parent->_bf = 0;
	}
	void RotateL(Node* parent)
	{
		Node* subR = parent->_right;
		Node* subRL = subR->_left;
		Node* pParent = parent->_parent;
		parent->_right = subRL;
		if (subRL)
			subRL->_parent = parent;
		subR->_left = parent;
		parent->_parent = subR;
		//可能parent就是根了
		if (parent == _root)
		{
			_root = subR;
			subR->_parent = nullptr;
		}
		else //不是根
		{
			if (pParent->_left == parent)
				pParent->_left = subR;
			else
				pParent->_right = subR;
			subR->_parent = pParent;
		}
		subR->_bf = parent->_bf = 0;
	}
	void RotateLR(Node* parent)
	{
		Node* subL = parent->_left;
		Node* subLR = subL->_right;
		int bf = subLR->_bf;
		RotateL(subL);
		RotateR(parent);
		if (bf == 0)
		{
			subLR->_bf = subL->_bf = parent->_bf = 0;
		}
		else if (bf == 1)
		{
			subLR->_bf = parent->_bf = 0;
			subL->_bf = -1;
		}
		else if (bf == -1)
		{
			subL->_bf = subLR->_bf = 0;
			parent->_bf = 1;
		}
		else
			assert(false);
	}
	void RotateRL(Node* parent)
	{
		Node* subR = parent->_right;
		Node* subRL = subR->_left;
		int bf = subRL->_bf;
		RotateR(subR);
		RotateL(parent);
		if (bf == 0)
		{
			subR->_bf = subRL->_bf = parent->_bf = 0;
		}
		else if (bf == -1)
		{
			subRL->_bf = parent->_bf = 0;
			subR->_bf = 1;
		}
		else if (bf == 1)
		{
			subRL->_bf = subR->_bf = 0;
			parent->_bf = -1;
		}
		else
			assert(false);
	}
	void _Inorder(Node* root)
	{
		if (root == nullptr)
			return;
		_Inorder(root->_left);
		cout << root->_kv.first << ":" << root->_kv.second << endl;
		_Inorder(root->_right);
	}
private:
	Node* _root = nullptr;
};

好了,我们下期见!

猜你喜欢

转载自blog.csdn.net/Qiwaw/article/details/145732266
今日推荐