【数据结构&C语言】对称二叉树的递归之美：镜像世界的探索

/**
 * Definition for a binary tree node.
 * struct TreeNode {
 *     int val;
 *     struct TreeNode *left;
 *     struct TreeNode *right;
 * };
 */

bool _isSymmetric(struct TreeNode* left, struct TreeNode* right)
{
    // 如果两个节点都为空，对称
    if(left == NULL && right == NULL)
        return true;
    
    // 如果只有一个节点为空，不对称
    if(left == NULL || right == NULL)
        return false;
    
    // 节点值相等，且递归检查镜像对称
    if(left->val == right->val)
        return _isSymmetric(left->left, right->right) 
            && _isSymmetric(left->right, right->left);    
    
    // 节点值不相等，不对称
    return false;
}

bool isSymmetric(struct TreeNode* root) {
    if(root == NULL)
        return true;
    
    return _isSymmetric(root->left, root->right);   
}

代码解析

辅助函数 `_isSymmetric`

这个函数是递归的核心，它接受两个参数：

left：左子树中的当前节点
right：右子树中的对应镜像节点

执行逻辑：

基准情况1 ：如果两个节点都为空，返回true
基准情况2 ：如果只有一个节点为空，返回false（结构不对称）
值检查 ：如果节点值不相等，返回false
递归检查：检查左子树的左节点与右子树的右节点，以及左子树的右节点与右子树的左节点

主函数 `isSymmetric`

这个函数是入口点：

处理空树的特殊情况（空树被认为是对称的）
调用辅助函数，传入左右子树

示例分析

示例1：`[1,2,2,3,4,4,3]`

text

复制代码

镜像对称检查过程：

根节点1：检查左右子树(2,2)
第一层：检查(2的左,2的右)→(3,3)和(2的右,2的左)→(4,4)
所有对应节点值相等，返回true

示例2：`[1,2,2,null,3,null,3]`

text

复制代码

镜像对称检查过程：

根节点1：检查左右子树(2,2)
第一层：检查(2的左,2的右)→(null,3)→结构不对称
立即返回false

算法特点

时间复杂度：O(n)

需要访问每个节点一次
最坏情况下遍历整棵树

空间复杂度：O(h)

h为树的高度
递归调用栈的深度取决于树的高度

递归思维的精髓

这个问题的递归解法展示了几个重要思维模式：

1. 镜像对称的递归定义

两棵树对称 = 根节点值相等 + 左树左子树与右树右子树对称 + 左树右子树与右树左子树对称

2. 双指针递归

同时遍历两棵子树
比较对应位置的节点

3. 提前终止优化

一旦发现不对称，立即返回false
避免不必要的递归调用

与其他二叉树问题的对比

问题类型	递归模式	关键思想
单值二叉树	单树遍历+值比较	所有节点值与根节点相同
对称二叉树	双树镜像遍历	左子树与右子树镜像对称
相同二叉树	双树同步遍历	两棵树结构相同且节点值相同

扩展思考

迭代解法

除了递归，我们还可以使用队列进行层次遍历来检查对称性：

复制代码

bool isSymmetricIterative(struct TreeNode* root) {
    if(root == NULL) return true;
    
    // 使用队列存储要比较的节点对
    // 实现细节略...
}

实际应用

对称二叉树的概念在计算机科学中有广泛应用：

图像处理中的镜像操作
数据结构的自平衡检查
编译原理中的语法树对称性分析

总结

对称二叉树的判断是一个经典的递归问题，它教会我们：

镜像思维：理解对称的本质是对应位置的比较
双递归参数：同时处理两个相关的子树
结构一致性：不仅要比较值，还要比较结构
递归终止条件：正确处理各种边界情况

通过这个问题，我们不仅学会了判断二叉树对称性的方法，更重要的是掌握了处理复杂递归问题的思维模式。递归就像一面镜子，反射出问题的本质结构，让我们能够用简洁的代码解决复杂的问题。

记住：在编程的世界里，对称不仅是一种美感，更是一种力量的体现！