C语言经典算法之二叉树的后序遍历（非递归实现）

最新推荐文章于 2024-04-10 05:43:48 发布

JJJ69

最新推荐文章于 2024-04-10 05:43:48 发布

阅读量1.3k

点赞数 19

分类专栏： C语言经典算法文章标签：算法 c语言开发语言数据结构

本文链接：https://blog.csdn.net/weixin_56154577/article/details/135945392

版权

C语言经典算法专栏收录该内容

160 篇文章 9 订阅

订阅专栏

本文详细介绍了在C语言中如何实现二叉树的后序遍历非递归算法，讨论了其实现的代码、时间复杂度O(n)和空间复杂度O(n)。同时分析了其优点如避免栈溢出、易于并行化和资源管理，以及缺点如实现复杂度增加和逻辑理解难度，列举了在现实中的多个应用场景。

摘要由CSDN通过智能技术生成

前言

A.建议

1.学习算法最重要的是理解算法的每一步，而不是记住算法。

2.建议读者学习算法的时候，自己手动一步一步地运行算法。

tips：文中的（如果有）对数，则均以2为底数

B.简介

在C语言中，二叉树的后序遍历（LRD顺序：左子树-右子树-根节点）非递归实现通常依赖于栈来模拟递归过程。

二代码实现

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

// 定义二叉树结点结构体
typedef struct BiTNode {
    int data;
    struct BiTNode *lchild, *rchild;
} BiTNode, *BiTree;

// 后序遍历非递归实现
void postOrderTraversal(BiTree T) {
    if (T == NULL) return;

    // 使用两个栈辅助遍历
    BiTree stack1[100], stack2[100];  // 假设数组足够大以容纳所有节点
    int top1 = -1, top2 = -1; 

    stack1[++top1] = T;  // 根节点入栈1

    while (top1 != -1) {
        BiTree p = stack1[top1];  // 弹出栈顶元素但不处理（即不输出）
        while (p != NULL) {  // 往右子树方向走
            stack1[++top1] = p;  // 当前节点入栈1
            p = p->rchild;  // 移动到右子节点
        }
        
        if (top1 == -1) break;  // 如果栈1为空，则结束遍历

        // 当前栈顶节点没有右孩子了，将其出栈并压入栈2
        BiTree temp = stack1[top1--];
        stack2[++top2] = temp;

        // 处理左子树
        p = stack1[top1];
        if (p != NULL && p->lchild != NULL) {
            stack1[++top1] = p->lchild;  // 左孩子入栈1
        }
    }

    // 输出后序遍历序列
    while (top2 != -1) {
        printf("%d ", stack2[top2]->data);
        top2--;
    }
}

// 创建二叉树的函数（这里假设已实现）

int main() {
    BiTree root = NULL;  // 假设已经创建了一个二叉树，并赋值给root

    // 调用后序遍历函数
    postOrderTraversal(root);

    return 0;
}

上述代码首先定义了一个二叉树节点结构体BiTNode以及指向该结构体的指针类型BiTree。然后实现了非递归的后序遍历函数postOrderTraversal，该函数使用两个栈来保存遍历路径。栈1用于存储访问路径，栈2用于存储那些其右子树已经被访问过的节点。

遍历过程：

将根节点入栈1。
不断从栈1弹出节点并将其右子节点入栈，直到遇到一个没有右子节点的节点。
将这个没有右子节点的节点入栈2，然后尝试处理其左子树，若有则将左子节点入栈1。
重复以上步骤，直到栈1为空。
此时栈2中的节点按照后序遍历顺序排列，依次输出它们的数据即可得到后序遍历结果。

请注意，由于实际应用中二叉树可能很大，所以在实际编程中会使用动态分配内存的链式栈而不是固定大小的数组栈来避免栈空间不足的问题。此外，为了简化示例，这里假设了二叉树的高度较小，栈的空间足够存放所有节点。

二时空复杂度

二叉树的后序遍历非递归实现通常使用两个栈来辅助完成，下面是关于其时空复杂度的分析：

A.时间复杂度：

在最坏情况下，即对于每个节点都需要经历入栈、出栈和访问的过程，对于一棵包含 $n$ 个节点的二叉树，每个节点都会被压入栈中至少一次。因此，总的操作次数与节点数成线性关系。所以，后序遍历非递归算法的时间复杂度为 $O(n)$ ，其中 $n$ 是二叉树的节点总数。

B.空间复杂度：

同样考虑最坏情况，在极端不平衡的二叉树（例如每个节点只有左子节点）中，两个栈可能需要同时存储所有的节点才能保证正确完成遍历。在这种情况下，栈的最大深度将达到 $n$ ，所以空间复杂度也是 $O(n)$ 。

然而，在平均情况下，如果二叉树是平衡的或接近平衡的，那么空间消耗会显著减少，因为栈只需要存储当前分支路径上的节点即可。但对于任意形态的二叉树来说，我们必须以最坏情况进行评估，确保算法在所有情况下都能正常运行。

C.总结：

无论是时间复杂度还是空间复杂度，二叉树的后序遍历非递归实现都是 $O(n)$ 。

三优缺点

A.优点：

无需递归栈：非递归实现后序遍历算法避免了直接使用函数调用栈进行递归，对于深度较大的二叉树，可以减少由于系统栈限制导致的栈溢出问题。
灵活性：非递归实现能够更灵活地控制遍历过程，通过栈操作可以更容易地修改或扩展遍历逻辑，例如在遍历过程中加入其他处理步骤。
资源消耗可预见性：相比于递归方式，在非递归实现中，空间需求可以通过对栈的管理来精确控制，尤其是在数据规模较大时，可以预先分配足够的栈空间以保证程序运行的稳定性。
代码可读性与调试：虽然递归版本在直观上可能更易理解，但对于熟悉栈操作和迭代遍历的人来说，非递归版本也能清晰展示遍历的过程，并且在某些情况下，调试迭代版本可能比调试递归版本更为简单，因为不存在嵌套函数调用链的问题。

B.缺点：

实现复杂度增加：非递归实现通常需要借助辅助数据结构（如栈）来模拟递归过程，这使得代码相对于递归版本来说更为复杂，理解和维护成本可能会提高。
额外的空间开销：即使在最优情况下，非递归实现也需要至少一个栈来保存节点信息。对于极端不平衡的二叉树，如果每个节点入栈一次，则空间复杂度达到O(n)。
性能对比：理论上讲，非递归实现相比递归实现可能略慢一些，因为它涉及到更多的循环和栈操作。但在实际应用中，这种差异往往并不明显，除非遍历过程中的附加操作特别繁重或者内存访问模式对性能有显著影响。
逻辑理解难度：非递归后序遍历的逻辑相对递归实现更加间接，特别是为了保持“左子树-右子树-根节点”的访问顺序，通常需要两个栈或者其他复杂的策略，初学者理解起来可能较为困难。

四现实中的应用

二叉树的后序遍历算法非递归实现，在实际应用中，尤其是在处理大规模数据或者在资源受限的环境中具有以下应用场景：

资源限制下的深度优先遍历：在系统栈空间有限的情况下，如果直接使用递归遍历可能会导致栈溢出。非递归实现通过使用自定义的数据结构（如栈）来保存待访问节点的信息，可以有效避免栈溢出问题。
并行或分布式环境中的遍历：非递归遍历逻辑相对容易转化为线程安全或分布式计算模型，因为可以通过控制栈的操作顺序和状态来实现不同部分的独立遍历，从而支持并行或分布式环境下的二叉树后序遍历。
动态内存管理更灵活：对于内存管理要求较高的场景，非递归实现允许开发者更精细地控制内存分配和释放，特别是在需要连续遍历大量二叉树时，能够减少频繁的函数调用带来的开销，并且方便进行垃圾回收等操作。
游戏开发与图形渲染：在游戏开发或图形学中，二叉树常用于组织场景层次、物体层级关系或者其他空间分割结构。非递归后序遍历可用于按需加载和卸载场景资源，按照从子节点到根节点的顺序更新或渲染对象，确保依赖关系得到正确处理。
数据库查询优化：在数据库管理系统中，查询计划可能涉及对表达式树或索引查找树的遍历。非递归后序遍历可以应用于查询优化器中，遍历表达式树以生成执行计划，同时保持后序遍历的特点，即先处理子节点再处理父节点，这对于某些类型的表达式求值非常重要。
程序性能分析与调试：在编译器和性能分析工具中，非递归实现有助于简化遍历过程的追踪和调试，因为它避免了递归调用的嵌套特性，使得代码流程更加直观可读，便于理解并定位潜在性能瓶颈。
文件系统遍历与删除：在操作系统中，模拟递归删除目录及其内容时，非递归后序遍历可以帮助保证先删除子目录再删除当前目录，这符合实际操作过程中对目录及其内容的清理顺序要求。