二叉树数组表示

二叉树数组表示

在链表表示下,二叉树的存储单元为节点 TreeNode ,节点之间通过指针相连接。那我们能否用数组来表示二叉树呢?答案是肯定的。

表示完美二叉树

给定一棵完美二叉树,我们将所有节点按照层序遍历的顺序存储在一个数组中,则每个节点都对应唯一的数组索引。

根据层序遍历的特性,我们可以推导出父节点索引与子节点索引之间的"映射公式":若某节点的索引为 i ,则该节点的左子节点索引为 2i+1 ,右子节点索引为 2i+2

映射公式的角色相当于链表中的节点引用(指针)。给定数组中的任意一个节点,我们都可以通过映射公式来访问它的左(右)子节点。

表示任意二叉树

完美二叉树是一个特例,在二叉树的中间层通常存在许多 None 。由于层序遍历序列并不包含这些 None ,因此我们无法仅凭该序列来推测 None 的数量和分布位置。这意味着存在多种二叉树结构都符合该层序遍历序列

给定一棵非完美二叉树,上述数组表示方法已经失效。

为了解决此问题,我们可以考虑在层序遍历序列中显式地写出所有 None 。这样处理后,层序遍历序列就可以唯一表示二叉树了。

go 复制代码
/* 二叉树的数组表示 */
// 使用 any 类型的切片, 就可以使用 nil 来标记空位
tree := []any{1, 2, 3, 4, nil, 6, 7, 8, 9, nil, nil, 12, nil, nil, 15}

值得说明的是,完全二叉树非常适合使用数组来表示 。回顾完全二叉树的定义,None 只出现在最底层且靠右的位置,因此所有 None 一定出现在层序遍历序列的末尾

这意味着使用数组表示完全二叉树时,可以省略存储所有 None

以下代码实现了一棵基于数组表示的二叉树,包括以下几种操作。

给定某节点,获取它的值、左(右)子节点、父节点。

获取前序遍历、中序遍历、后序遍历、层序遍历序列。

scss 复制代码
/* 数组表示下的二叉树类 */
type arrayBinaryTree struct{
    tree []any
}
​
/* 构造方法 */
func newArrayBinaryTree(arr []any) *arrayBinaryTree{
    return &arrayBinaryTree{
        tree: arr,
    }
}
​
/* 列表容量 */
func (abt *arrayBinaryTree)size() int{
    return len(abt.tree)
}
​
/* 获取索引为 i 节点的值 */
func (abt *arrayBinaryTree)val(i int) any{
      // 若索引越界,则返回 null ,代表空位
    if i < 0 || i >= abt.size() {
        return nil
    }
    return abt.tree[i]
}
​
/* 获取索引为 i 节点的左子节点的索引 */
func (abt *arrayBinaryTree)left(i int) int{
    return 2*i+1
}
​
/* 获取索引为 i 节点的右子节点的索引 */
func (abt *arrayBinaryTree)right(i int) int{
    return 2*i+2
}
​
/* 获取索引为 i 节点的父节点的索引 */
func (abt *arrayBinaryTree)parent(i int) int{
    return (i - 1) / 2
}
​
/* 层序遍历 */
func (abt *arrayBinaryTree) levelOrder() []any {
    var res []any
    // 直接遍历数组
    for i := 0;i< abt.size();i++{
        if abt.val(i)!=nil{
            res = append(res,abt,val(i))
        }
    }
    return res
}
​
/* 深度优先遍历 */
func (abt *arrayBinaryTree) dfs(i int, order string, res *[]any) {
    // 若为空位,则返回
    if abt.val(i) == nil {
        return
    }
    // 前序遍历
    if order == "pre" {
        *res = append(*res, abt.val(i))
    }
    abt.dfs(abt.left(i), order, res)
    // 中序遍历
    if order == "in" {
        *res = append(*res, abt.val(i))
    }
    abt.dfs(abt.right(i), order, res)
    // 后序遍历
    if order == "post" {
        *res = append(*res, abt.val(i))
    }
}
​
/* 前序遍历 */
func (abt *arrayBinaryTree) preOrder() []any {
    var res []any
    abt.dfs(0, "pre", &res)
    return res
}
​
/* 中序遍历 */
func (abt *arrayBinaryTree) inOrder() []any {
    var res []any
    abt.dfs(0, "in", &res)
    return res
}
​
/* 后序遍历 */
func (abt *arrayBinaryTree) postOrder() []any {
    var res []any
    abt.dfs(0, "post", &res)
    return res
}

优点与局限性

二叉树的数组表示主要有以下优点。

数组存储在连续的内存空间中,对缓存友好,访问与遍历速度较快。

不需要存储指针,比较节省空间。

允许随机访问节点。

然而,数组表示也存在一些局限性。

数组存储需要连续内存空间,因此不适合存储数据量过大的树。

增删节点需要通过数组插入与删除操作实现,效率较低。

当二叉树中存在大量 None 时,数组中包含的节点数据比重较低,空间利用率较低。

相关推荐
风象南4 小时前
我把大脑开源给了AI
人工智能·后端
橙序员小站9 小时前
Agent Skill 是什么?一文讲透 Agent Skill 的设计与实现
前端·后端
怒放吧德德9 小时前
Netty 4.2 入门指南:从概念到第一个程序
java·后端·netty
雨中飘荡的记忆11 小时前
大流量下库存扣减的数据库瓶颈:Redis分片缓存解决方案
java·redis·后端
阿里云云原生12 小时前
5 分钟零代码改造,让 Go 应用自动获得全链路可观测能力
云原生·go
开心就好202512 小时前
UniApp开发应用多平台上架全流程:H5小程序iOS和Android
后端·ios
悟空码字12 小时前
告别“屎山代码”:AI 代码整洁器让老项目重获新生
后端·aigc·ai编程
小码哥_常12 小时前
大厂不宠@Transactional,背后藏着啥秘密?
后端
奋斗小强12 小时前
内存危机突围战:从原理辨析到线上实战,彻底搞懂 OOM 与内存泄漏
后端
小码哥_常13 小时前
Spring Boot接口防抖秘籍:告别“手抖”,守护数据一致性
后端