AVL Tree(平衡二叉树)

本文详细介绍了AVL树的平衡调整方法,包括单向右旋、单向左旋及双向旋转处理,通过具体函数实现左平衡和右平衡,确保树的高度平衡。

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

//AVL_Tree.c

#include <stdio.h>
#include <stdlib.h>

/*-------------------------------------------------------------------------------------
此间的过程阅读一定结合课本(严蔚敏数据结构)中的图示演示!!
--------------------------------------------------------------------------------------*/
#define LH +1   //左高
#define EH 0    //等高
#define RH -1   //右高
typedef int Boolean;
#define TRUE 1
#define FALSE 0

typedef char KeyType;//定义关键字类型
typedef struct{
    KeyType key;
}ElemType;//定义元素类型
typedef struct BSTNode{//定义树的结点类型
    ElemType data;
    int bf;//结点的平衡因子
    struct BSTNode *lchild, *rchild;
}BSTNode, *BSTree;


//data field
BSTree lc,rc,ld,rd;

//此函数用于单向右旋平衡处理
void R_Rotate(BSTree p){
    //对以*p为根的二叉排序树作右旋处理,处理之后*p指向新的树根结点
    //(即旋转处理之前的左子树的根结点)
    lc = p->lchild;//lc指向的*p的左子树根结点
    p->lchild = lc->rchild;//lc的右子树挂接为*p的左子树
    lc->rchild = p;
    p = lc;//p指向新的根结点
}

//此函数用于单向左旋平衡处理
void L_Rotate(BSTree p){
    //对以*p为根的二叉排序树作左旋处理,处理之后p指向新的树根结点
    //(即旋转处理之前的右子树的根结点)
    rc = p->rchild;//rc指向的*p的右子树根结点
    p->rchild = rc->lchild;//rc的左子树挂接为*p的右子树
    rc->lchild = p;
    p = rc;//p指向新的根结点
}

//此函数用于左平衡处理(包括LL,LR型二叉排序树平衡的调整)
void LeftBalance(BSTree T){
    //对以指针T所指结点为根的二叉树作左平衡旋转处理,本算法结束后,指针T指向新的根结点
    lc = T->lchild;//lc指向*T的左子树根结点
    switch (lc->bf){//检查*T的左子树的平衡度,并作相应平衡处理
        case LH:    //新结点插入在*T的左孩子的左子树上,要作单向右旋处理
            T->bf = lc->bf = EH;
            R_Rotate(T);
            break;
        case RH:    //新结点插入在*T的左孩子的右子树上,要作双向旋转处理
            rd = lc->rchild;    //rd指向*T的左孩子的右子树根

            switch (rd->bf){//修改*T及其左孩子的平衡因子
                case LH:
                    T->bf = RH;
                    lc->bf = EH;
                    break;
                case EH:
                    T->bf = lc->bf = EH;
                    break;
                case RH:
                    T->bf = EH;
                    lc->bf = LH;
                    break;
            }
            rd->bf = EH;
            L_Rotate(T->lchild);//对*T的左子树作左旋平衡处理
            R_Rotate(T);//对*T作右旋平衡处理
    }
}


//此函数用于右平衡处理(包括RR,RL型二叉排序树平衡的调整)
void RightBalance(BSTree T){
    //对以指针T所指结点为根的二叉树作右平衡旋转处理,本算法结束后,指针T指向新的根结点
    rc = T->rchild;//rc指向*T的右子树根结点
    switch (rc->bf){//检查*T的右子树的平衡度,并作相应平衡处理
    case LH:    //新结点插入在*T的右孩子的左子树上,要作双向旋转处理
        rd = rc->rchild;    //rd指向*T的右孩子的左子树根

        switch (rd->bf){//修改*T及其右孩子的平衡因子
        case LH:
            T->bf = EH;
            rc->bf = RH;
            break;
        case EH:
            T->bf = rc->bf = EH;
            break;
        case RH:
            T->bf = LH;
            rc->bf = EH;
            break;
        }
        rd->bf = EH;
        R_Rotate(T->rchild);//对*T的右子树作右旋平衡处理
        L_Rotate(T);//对*T作左旋平衡处理

    case RH:    //新结点插入在*T的右孩子的右子树上,要作单向左旋处理
        T->bf = rc->bf = EH;
        L_Rotate(T);
        break;
    }
}


//此函数用于在平衡二叉树中插入一个结点(若出现不平衡,则调整)
int InsertAVL(BSTree T, ElemType e, Boolean taller){
    //若在平衡的二叉排序树T中不存在和e有相同关键字的结点,则插入一个数据元素为e的新结点,并返回1,否则返回0
    //若因插入而使二叉排序树失去平衡,则作平衡旋转处理。布尔变量taller反映T长高与否。

    if (!T){//插入新结点,树“长高”,置taller为TRUE
        T = (BSTree)malloc(sizeof(BSTNode));
        T->data = e;
        T->lchild = T->rchild = NULL;
        T->bf = EH;
        taller = TRUE;
    }
    else{
        if (e.key == T->data.key){//树中已存在和e有相同关键字的结点则不插入
            taller = FALSE;
            return 0;
        }
        if (e.key < T->data.key){//应继续在*T的左子树中搜索
            if (!InsertAVL(T->lchild, e, taller))   return 0;//未插入
            if (taller){
                switch (T->bf){//检查*T的平衡度
                    case LH:    //原本左子树比右子树高,需要作左平衡处理
                        LeftBalance(T);
                        taller = FALSE;
                        break;
                    case EH:    //原本左右子树等高,现因左子树增高而使树增高
                        T->bf = LH;
                        taller = TRUE;
                        break;
                    case RH:    //原本右子树比左子树高,现在左右子树等高
                        T->bf = EH;
                        taller = FALSE;
                        break;
                }
            }
        }
        else{       //应继续在*T的右子树中进行搜索
            if (!InsertAVL(T->rchild, e, taller)) return 0;//未插入
            if (taller){
                switch (T->bf){//检查*T的平衡度
                    case LH:    //原本左子树比右子树高,现左右子树等高
                        T->bf = EH;
                        taller = FALSE;
                        break;
                    case EH:    //原本左右子树等高,现因右子树增高而使树增高
                        T->bf = RH;
                        taller = TRUE;
                        break;
                    case RH:    //原本右子树比左子树高,需要作右平衡处理
                        RightBalance(T);
                        taller = TRUE;
                        break;
                }
            }
        }
    }

    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)$,需遍历所有节点。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值