AVL树

本文介绍了AVL树的基本概念,作为自平衡二叉查找树的一种,AVL树通过保持树的平衡来确保高效的查找、插入和删除操作。文章还详细解释了如何通过旋转操作来维持AVL树的平衡,并提供了具体的实现代码。

AVL树是最先发明的自平衡二叉查找树。在AVL树中任何节点的两个子树的高度最大差别为1,所以它也被称为高度平衡树。

这里写图片描述

AVL树中进行插入或删除节点后,可能导致AVL树失去平衡。这种失去平衡的可以概括为4种姿态:LL(左左),LR(左右),RR(右右)和RL(右左)。

LL : 左侧深度高
RR : 右侧深度高
LR : 根的左子树的高度比根的右子树的高度深
RL : 根的右子树的高度比根的左子树的高度深

struct AVL;
typedef struct AVL *T;
typedef int Instead_Int;

struct AVL
{
    Instead_Int Instead;
    int hight;
    T Left;
    T Right;
    AVL() : hight(0), Left(NULL), Right(NULL) {}
};

这里写图片描述

这是RR的可能

将节点 v1 右侧的节点保存为 v2, 将 v1 插入到 v2 的左侧, 实现平衡

T Right_One(T avl)
{
    T cpy_avl = avl->Right;
    avl->Right = cpy_avl->Left;
    cpy_avl->Left = avl;

    cpy_avl->hight = Max(Hight(cpy_avl->Right), Max(Hight(avl->Right), Hight(avl->Left)) + 1) + 1;

    return cpy_avl;
}

同理LL

T Left_One(T avl)
{
    T cpy_avl = avl->Left;
    avl->Left = cpy_avl->Right;
    cpy_avl->Right = avl;

    avl->hight = Max(Hight(avl->Right), Hight(avl->Left)) + 1;
    cpy_avl->hight = Max(Hight(cpy_avl->Left), avl->hight) + 1;

    return cpy_avl;
}

这里写图片描述
这里写图片描述

LR的旋转, 只需要将其先RR 的方式旋转, 在LL方式旋转即可

这里写图片描述

T Left_Two(T avl)
{
    avl->Left = Right_One(avl->Left);

    return Left_One(avl);
}

RL也同理

T Right_Two(T avl)
{
    avl->Right = Left_One(avl->Right);

    return Right_One(avl);
}

在插入与删除,都与查询二叉树是一样的, 只有在部分上有点区别, 这是为了保证二叉树的平衡, 即AVL树

//插入
T Insert(T avl, Instead_Int insert)
{
    if (avl == NULL)
    {
        avl = new AVL;
        avl->Instead = insert;
    }

    else
        if (avl->Instead > insert)
        {
            avl->Left = Insert(avl->Left, insert);
            //当不保持平衡时, 进入
            if (Hight(avl->Left) - Hight(avl->Right) >= 2)
            //LL还是LR进行判断
                if (avl->Left->Instead > insert)
                    avl = Left_One(avl);
                else
                    avl = Left_Two(avl);
        }
        else if (avl->Instead < insert)
        {
            avl->Right = Insert(avl->Right, insert);
            if (Hight(avl->Right) - Hight(avl->Left) >= 2)
            //RR还是RL进行判断
                if (avl->Right->Instead < insert)
                    avl = Right_One(avl);
                else
                    avl = Right_Two(avl);
        }

    avl->hight = Max(Hight(avl->Right), Hight(avl->Left)) + 1;
    return avl;
}

源代码

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

struct AVL;
typedef struct AVL *T;
typedef int Instead_Int;

struct AVL
{
    Instead_Int Instead;
    int hight;
    T Left;
    T Right;
    AVL() : hight(0), Left(NULL), Right(NULL) {}
};

#define Max(a, b) (a > b ? a : b)

T Insert(T avl, Instead_Int inset);
T Dele(T avl, Instead_Int dele);
T Left_One(T avl);
T Right_One(T avl);
T Left_Two(T avl);
T Right_Two(T avl);
T Find_Max(T avl);
T Find_Min(T avl);
T Find(T avl, Instead_Int find);
void Print(T avl);
int Hight(T avl);

int main()
{
    T avl = NULL;
    for (int i = 0; i < 10; i++)
        avl = Insert(avl, i + 1);

    avl = Dele(avl, 5);
    Print(avl);

    system("pause");
    return 0;
}

T Find_Min(T avl)
{
    if (avl == NULL)
        return NULL;

    if (avl->Left == NULL)
        return avl;
    else
        Find_Min(avl->Left);
}

T Find_Max(T avl)
{
    if (avl == NULL)
        return NULL;
    while (avl->Right != NULL)
        Find_Max(avl->Right);

    return avl;
}

int Hight(T avl)
{
    if (avl == NULL)
        return -1;
    else
        return avl->hight;
}

//LL
T Left_One(T avl)
{
    T cpy_avl = avl->Left;
    avl->Left = cpy_avl->Right;
    cpy_avl->Right = avl;

    avl->hight = Max(Hight(avl->Right), Hight(avl->Left)) + 1;
    cpy_avl->hight = Max(Hight(cpy_avl->Left), avl->hight) + 1;

    return cpy_avl;
}

//RR
T Right_One(T avl)
{
    T cpy_avl = avl->Right;
    avl->Right = cpy_avl->Left;
    cpy_avl->Left = avl;

    cpy_avl->hight = Max(Hight(cpy_avl->Right), Max(Hight(avl->Right), Hight(avl->Left)) + 1) + 1;

    return cpy_avl;
}

//LR
T Left_Two(T avl)
{
    avl->Left = Right_One(avl->Left);

    return Left_One(avl);
}

//RL
T Right_Two(T avl)
{
    avl->Right = Left_One(avl->Right);

    return Right_One(avl);
}

//插入
T Insert(T avl, Instead_Int insert)
{
    if (avl == NULL)
    {
        avl = new AVL;
        avl->Instead = insert;
    }

    else
        if (avl->Instead > insert)
        {
            avl->Left = Insert(avl->Left, insert);
            if (Hight(avl->Left) - Hight(avl->Right) >= 2)
                if (avl->Left->Instead > insert)
                    avl = Left_One(avl);
                else
                    avl = Left_Two(avl);
        }
        else if (avl->Instead < insert)
        {
            avl->Right = Insert(avl->Right, insert);
            if (Hight(avl->Right) - Hight(avl->Left) >= 2)
                if (avl->Right->Instead < insert)
                    avl = Right_One(avl);
                else
                    avl = Right_Two(avl);
        }

    avl->hight = Max(Hight(avl->Right), Hight(avl->Left)) + 1;
    return avl;
}

T Dele(T avl, Instead_Int dele)
{
    T cpy_avl = NULL;

    if (avl == NULL)
    {
        avl = new AVL;
        avl->Instead = dele;
    }

    else
        if (avl->Instead > dele)
        {
            avl->Left = Dele(avl->Left, dele);
            if (Hight(avl->Left) - Hight(avl->Right) >= 2)
                if (avl->Left->Instead > dele)
                    avl = Left_One(avl);
                else
                    avl = Left_Two(avl);
        }
        else if (avl->Instead < dele)
        {
            avl->Right = Dele(avl->Right, dele);
            if (Hight(avl->Right) - Hight(avl->Left) >= 2)
                if (avl->Right->Instead < dele)
                    avl = Right_One(avl);
                else
                    avl = Right_Two(avl);
        }
        else if (avl->Left && avl->Right)
        {
            cpy_avl = new AVL;
            cpy_avl = Find_Min(cpy_avl->Right);
            avl->Instead = cpy_avl->Instead;
            avl->Right = Dele(avl->Right, avl->Instead);
        }
        else
        {
            if (avl->Right == NULL)
                avl = avl->Left;
            else
                avl = avl->Right;

            free(cpy_avl);
        }


    return avl;
}

T Find(T avl, Instead_Int find)
{
    if (avl == NULL)
        return NULL;
    else if (avl->Instead > find)
        avl->Left = Find(avl->Left, find);
    else if (avl->Instead < find)
        avl->Right = Find(avl->Right, find);

    return avl;
}

void Print(T avl)
{
    if (avl != NULL)
    {
        printf("%d ", avl->Instead);
        Print(avl->Left);
        Print(avl->Right);
    }

}
AVL是一种自平衡的二叉查找,它确保了的高度始终保持在对数级别,从而保证了查找、插入和删除操作的时间复杂度为O(log n)。这种数据结构以它的发明者G.M. Adelson-Velsky和E.M. Landis的名字命名[^1]。 ### AVL的定义 - **平衡因子**:每个节点都有一个平衡因子,它是该节点左子的高度减去右子的高度。对于AVL来说,所有节点的平衡因子只能是-1, 0或1。 - ****:如果T是,则它自然是一个AVL。 - **非**:若T不是,则其左右子TL和TR都必须是AVL,并且对于任意节点,|HL - HR| ≤ 1(其中HL和HR分别表示左子和右子的高度)。 ### AVL的操作 当进行插入或删除操作时,可能会破坏AVL的平衡性,这时需要通过旋转来重新恢复平衡: - **单旋转**: - 左单旋(Single Rotate with Left)用于处理左孩子的左子过高。 - 右单旋(Single Rotate with Right)用于处理右孩子的右子过高。 - **双旋转**: - 左右双旋(Double Rotate with Left)用于处理左孩子的右子过高的情况。 - 右左双旋(Double Rotate with Right)用于处理右孩子的左子过高的情况。 这些旋转操作可以保持AVL的性质不变,并且能够快速地调整的结构以维持平衡。 ### AVL的实现 下面是一个简单的C语言代码示例,展示了如何定义AVL的节点以及实现基本的插入操作。这个例子中包含了必要的函数声明和一些核心逻辑。 ```c #include <stdio.h> #include <stdlib.h> // 定义AVL节点结构体 typedef struct AvlNode { int element; struct AvlNode *left; struct AvlNode *right; int height; // 节点的高度 } *AvlTree, *Position; // 获取两个整数中的较大者 int max(int a, int b) { return (a > b) ? a : b; } // 计算给定节点的高度 static int Height(AvlTree T) { if (T == NULL) return -1; // 节点高度为-1 else return T->height; } // 单旋转 - 左左情况 AvlTree singlerotatewithLeft(AvlTree K2) { Position K1 = K2->left; K2->left = K1->right; K1->right = K2; // 更新节点高度 K2->height = max(Height(K2->left), Height(K2->right)) + 1; K1->height = max(Height(K1->left), K2->height) + 1; return K1; // 新根 } // 单旋转 - 右右情况 AvlTree singlerotatewithRight(AvlTree K2) { Position K1 = K2->right; K2->right = K1->left; K1->left = K2; // 更新节点高度 K2->height = max(Height(K2->left), Height(K2->right)) + 1; K1->height = max(Height(K1->right), K2->height) + 1; return K1; // 新根 } // 双旋转 - 左右情况 AvlTree doublerotatewithLeft(AvlTree K3) { K3->left = singlerotatewithRight(K3->left); return singlerotatewithLeft(K3); } // 双旋转 - 右左情况 AvlTree doublerotatewithRight(AvlTree K3) { K3->right = singlerotatewithLeft(K3->right); return singlerotatewithRight(K3); } // 插入元素AVLAvlTree Insert(int x, AvlTree T) { if (T == NULL) { // 如果,创建新节点 T = (AvlTree)malloc(sizeof(struct AvlNode)); if (T == NULL) printf("Out of space!!!"); else { T->element = x; T->left = T->right = NULL; T->height = 0; // 新叶节点高度为0 } } else if (x < T->element) { // 向左子插入 T->left = Insert(x, T->left); // 检查并修复平衡 if (Height(T->left) - Height(T->right) == 2) { if (x < T->left->element) T = singlerotatewithLeft(T); // 左左旋转 else T = doublerotatewithLeft(T); // 左右旋转 } } else if (x > T->element) { // 向右子插入 T->right = Insert(x, T->right); // 检查并修复平衡 if (Height(T->right) - Height(T->left) == 2) { if (x > T->right->element) T = singlerotatewithRight(T); // 右右旋转 else T = doublerotatewithRight(T); // 右左旋转 } } // 更新高度 T->height = max(Height(T->left), Height(T->right)) + 1; return T; } ``` 上述代码提供了AVL的基本框架,包括节点定义、插入操作及必要的旋转方法。实际应用中可能还需要添加更多的功能,如删除节点、查找特定值等。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值