在计算机科学领域，二叉树是一种常见的数据结构，其灵活性和广泛的应用使得研究不断深入。其中，LeetCode 题目 "101. 对称二叉树" 提供了一个非常有趣且具有挑战性的问题，涉及到二叉树的对称性判断。通过本文，我们将一起深入探索这个问题，从问题背景到解题思路，从代码实现到知识点罗列，一步步揭开对称二叉树的奥秘。
问题背景分析
首先，我们来了解一下题目的背景。给定一个二叉树的根节点 root，我们需要判断这棵二叉树是否是轴对称的，也就是左右两侧是否镜像对称。这就要求对于每一个节点，其左子树和右子树都要镜像对称。换句话说，节点的值要相等，且左子树的左子树要与右子树的右子树镜像对称，左子树的右子树要与右子树的左子树镜像对称。
解题思路
为了解决这个问题，我们需要递归地判断每一对镜像对称的节点。可以从根节点开始，判断其左右子树是否镜像对称。如果根节点的左右子树都为空，那么它是镜像对称的。如果左右子树只有一个为空，或者左右子树的值不相等，那么根节点就不是镜像对称的。否则，就需要递归地判断左子树的左子树与右子树的右子树，以及左子树的右子树与右子树的左子树是否镜像对称。
代码实现
下面是使用 C++ 实现的解题代码：
#include <iostream> struct TreeNode { int val; TreeNode* left; TreeNode* right; TreeNode(int x) : val(x), left(nullptr), right(nullptr) {} }; class Solution { public: bool isSymmetric(TreeNode* root) { if (!root) { return true; } return isSymmetric(root->left, root->right); } bool isSymmetric(TreeNode* left, TreeNode* right) { if (!left && !right) { return true; } if (!left || !right || left->val != right->val) { return false; } return isSymmetric(left->left, right->right) && isSymmetric(left->right, right->left); } }; int main() { Solution solution; TreeNode* root = new TreeNode(1); root->left = new TreeNode(2); root->right = new TreeNode(2); root->left->left = new TreeNode(3); root->left->right = new TreeNode(4); root->right->left = new TreeNode(4); root->right->right = new TreeNode(3); std::cout << "Is symmetric: " << (solution.isSymmetric(root) ? "true" : "false") << std::endl; return 0; }
知识点罗列
通过解决这个问题，我们涉及了以下核心知识点：
- 二叉树的遍历：在解题中，我们需要递归地遍历二叉树的节点，从而判断其对称性。
- 递归思想：对于每一对节点，我们都使用递归的方式来判断其子树是否镜像对称。
- 条件判断：我们使用条件语句来判断节点是否为空，值是否相等等情况，从而决定是否是镜像对称。
总结
我们探索了二叉树的对称性判断问题。通过问题背景分析、解题思路讲解、代码实现演示，以及相关知识点罗列，我们对对称二叉树的判断有了更深入的理解。通过理论与实践相结合，我们不仅解决了一个具体的问题，也提升了二叉树遍历和递归思想的应用能力。这种能力在算法和数据结构领域中具有重要意义，将在我们的编程之路上发挥越来越重要的作用。
首先，我们从问题背景入手，明确了题目的要求和限制条件。题目中给出了一个二叉树，要求判断该二叉树是否是轴对称的，即左右子树是否镜像对称。通过深入理解题目描述，我们建立了问题意识，从而为后续的解题思路铺垫了基础。
接着，我们详细讨论了解题思路。我们引入递归的思想，从根节点开始判断左右子树是否镜像对称。具体而言，我们需要判断每一对镜像对称的节点，即左子树的左子树是否与右子树的右子树镜像对称，以及左子树的右子树是否与右子树的左子树镜像对称。通过递归地应用这一判断方式，我们可以逐层判断整棵二叉树的对称性。这一解题思路的引入，将问题的复杂性逐步分解，使得解题过程更加清晰和可行。
随后，我们进行了代码实现。通过使用 C++ 编程语言，我们将解题思路转化为具体的代码逻辑。在代码实现过程中，我们首先处理了特殊情况，即根节点为空。然后，我们定义了一个递归函数，用于判断左右子树是否镜像对称。在这一递归函数中，我们采用了条件判断，分别判断节点为空、值不相等等情况，从而决定镜像对称的结果。这一代码实现的过程，将抽象的思路转化为了具体的计算机指令，实现了解题思路中的逻辑判断。
