判断一棵二叉树是否是平衡二叉树

本文详细解释了平衡二叉树的概念及其验证方法。首先定义了平衡二叉树的两个核心特征,随后通过两种不同的算法实现对平衡二叉树的判断,包括简单的递归检查和优化后的高度同步返回算法。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

我们先来整理一下什么是平衡二叉树?
满足以下两点的就是平衡二叉树:
1.左右子树的高度差不能超过1
2.左右子树也是平衡二叉树

需要注意的是空树也是平衡二叉树
例如下面这棵树就不是平衡二叉树
在这里插入图片描述

因为对于B来说左右子树高度超过了1,所以它不是平衡二叉树。

方法一:

这样的话,如果是空树则是平衡二叉树,如果不是空树,我们就去判断左子树是不是平衡二叉树,判断的依据就是左右子树高度差不超过1,代码如下:

int IsBalance(BNode *root)
{
	if (root == NULL)
	{
		return 1;
	}
	int isBalance = IsBalance(root->left);
	if (isBalance == 0)
	{
		return 0;
	}
	int leftHight = GetHeight(root->left);
	int rightHight = GetHeight(root->right);
	int diff = leftHight - rightHight;
	if (diff < -1 && diff>1)
	{
		return 0;
	}
	else {
		return 1;
	}
}

方法二:

通过上面的代码我们可以看出,递归的时候要遍历看是不是平衡,并且又要遍历高度,这样的话效率并不是很高,那么这时候就想,每次遍历的时候能不能直接将高度也返回呢?如下面的代码:

int IsBalance(BNode *root,int *pHeight)
{
	if (root == NULL)
	{
		*pHeight = 0;
		return 1;
	}
	int leftHeight;
	int rightHeight;
	int leftBalance = IsBalance(root->left, &leftHeight);
	int rightBalance = IsBalance(root->right, &leftHeight);
	*pHeight = MAX(leftHeight, rightHeight) + 1;
	if (leftBalance == 0 || rightBalance == 0)
	{
		return 0;
	}
	int diff = leftHeight - rightHeight;
	if (diff < -1 || diff>1)
	{
		return 0;
	}
	else {
		return 1;
	}
}
<think>好的,我需要回答如何检查AVL树是否平衡的问题。首先,AVL树的平衡条件是每个节点的左右子树高度差不超过1。所以,检查平衡的方法应该围绕这一点展开。 我应该先回忆AVL树的定义。根据引用[4],AVL树要求每个节点的左右子树高度差的绝对值不超过1。这意味着算法需要遍历每个节点,计算左右子树的高度差,并确认是否满足这个条件。 接下来,具体的实现步骤可能包括递归遍历每个节点。对于每个节点,首先检查其左右子树的高度差是否超过1。如果超过,则树不平衡。同时,还需要递归检查左右子树是否各自平衡。 然后,我需要考虑如何计算节点的高度。高度计算通常也是递归的,节点的高度等于其左右子树高度的最大值加1。这样,在遍历时,可以同时计算高度和检查平衡。 需要注意的是,递归过程中可能会出现重复计算高度的问题,但在这个检查平衡的场景下,可能可以接受,因为主要目的是验证整个树是否平衡,而不是优化性能。不过,如果树很大,可能需要优化,比如将高度缓存起来,不过根据引用的资料,AVL树的实现通常已经维护了平衡因子,所以或许可以直接使用节点的平衡因子进行检查。但引用[1]提到AVL节点包含平衡因子,所以检查时可以直接比较平衡因子是否在-1到1之间,而不必每次都重新计算高度。不过,用户的问题可能更偏向于如何从零开始检查一个给定的树是否是平衡的,而不依赖节点中存储的平衡因子,因此可能需要手动计算高度。 接下来,我需要组织步骤:首先,递归检查每个节点的左右子树高度差是否<=1,同时递归检查左右子树是否也满足这个条件。如果所有节点都满足,则树平衡。否则,不平衡。 然后,代码实现方面,可能需要一个辅助函数来计算节点的高度,另一个函数来递归检查每个节点是否满足平衡条件。例如,在Python中,可以定义两个函数:height(node)返回节点的高度,is_balanced(node)检查该节点是否平衡,并递归检查左右子树。 可能的边界情况是空树,此时高度为0,且视为平衡。如果某个节点的左右子树高度差为2,则立即返回不平衡。 现在,结合引用的资料,引用[4]提到插入或删除后需要旋转维护平衡,所以检查是否平衡应该在每次插入或删除后进行,但用户的问题是独立检查现有树是否平衡的方法。 最后,我需要确保回答的结构清晰,分步骤说明算法,给出代码示例,并回答相关问题。同时,引用相关的引用来源,比如引用[4]提到的平衡条件。</think>### 如何检查AVL树是否平衡 AVL树的平衡性检查需满足以下条件:**每个节点的左右子树高度差绝对值不超过1**,且左右子树本身也是平衡的[^4]。实现算法需递归遍历所有节点,同时验证高度差和子树平衡性。 --- #### 检查算法步骤 1. **计算子树高度** - 空节点高度为$-1$或$0$(根据实现定义) - 非空节点高度为$1 + \max(左子树高度, 右子树高度)$ 2. **递归验证平衡性** - 若当前节点为空,视为平衡 - 计算左右子树高度差$\Delta h = |h_{left} - h_{right}|$ - 若$\Delta h > 1$,则树不平衡 - 递归检查左子树和右子树是否均平衡 --- #### Python实现代码 ```python class AVLNode: def __init__(self, key): self.key = key self.left = None self.right = None self.height = 0 # 节点高度 def is_avl_balanced(root): def check_balance(node): if not node: return True, -1 # 空节点高度为-1 # 递归检查左右子树 left_balanced, left_height = check_balance(node.left) right_balanced, right_height = check_balance(node.right) # 更新当前节点高度 current_height = 1 + max(left_height, right_height) # 检查高度差 if abs(left_height - right_height) > 1: return False, current_height # 返回当前子树是否平衡及高度 return (left_balanced and right_balanced), current_height balanced, _ = check_balance(root) return balanced ``` --- #### 关键逻辑说明 1. **高度计算**:通过后序遍历获取子树高度,避免重复计算[^1]。 2. **平衡判断**:若任意节点的左右子树高度差超过1,或子树不平衡,则整体不平衡。 3. **时间复杂度**:$O(n)$,需遍历所有节点。 ---
评论 9
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值