LeetCode 101. 对称二叉树（C++实现）

一、题目描述

给定一个二叉树，检查它是否是镜像对称的。

例如，二叉树 [1,2,2,3,4,4,3] 是对称的。

    1
   / \
  2   2
 / \ / \
3  4 4  3

但是下面这个 [1,2,2,null,3,null,3] 则不是镜像对称的:

    1
   / \
  2   2
   \   \
   3    3

说明:

如果你可以运用递归和迭代两种方法解决这个问题，会很加分。

 

二、思路

方法一：递归法

用递归其实很好解决，根据题目的描述，镜像对称，就是左右两边相等，也就是左子树和右子树是相当的。注意这句话，左子树和右子相等，也就是说要递归的比较左子树和右子树。我们将根节点的左子树记做left，右子树记做right。比较left是否等于right，不等的话直接返回就可以了。如果相当，比较left的左节点和right的右节点，再比较left的右节点和right的左节点。

算法的时间复杂度是O(n)，因为要遍历n个节点
空间复杂度是O(n)，空间复杂度是递归的深度，也就是跟树高度有关，最坏情况下树变成一个链表结构，高度是n。

 

方法二：迭代法

我们可以将上述递归的过程用一个队列来模拟，递归也就是递归的调用函数去比较两个节点，我们将这一过程用队列来实现，每次从队列中取出相邻的两个节点进行比较，并将left的左节点和right的右节点，left的右节点和right的左节点放入队列中在下一次进行比较。当队列为空时，或者我们检测到树不对称（即从队列中取出两个不相等的连续结点）时，该算法结束。

队列为空了，表示已经检查完了所有的节点，这是还没返回false,表示是对称的。

 

三、实现

方法一：递归

class Solution {
public:
    bool isSymmetric(TreeNode* root) {
        if(root == NULL) return true;
        //调用递归函数，比较左节点，右节点
        return isSym(root->left,root->right);
    }

    bool isSym(TreeNode* left,TreeNode* right){
        //递归终止的条件是两个节点都为空
        if(left == NULL && right == NULL) return true;
        //或者两个节点中一个为空
        if(left == NULL || right == NULL) return false;
        //或者两个节点的值不相等
        if(left->val != right->val ) return false;
        //再递归的比较左节点的左孩子和右节点的右孩子，以及左节点的右孩子和右节点的左孩子
        return isSym(left->left,right->right) && isSym(left->right,right->left);
    }
};

 

方法二：迭代

class Solution {
public:
    bool isSymmetric(TreeNode* root) {
        if(root == NULL || (root->left == NULL && root->right == NULL)) return true;
        //用队列保存节点
        queue<TreeNode*> q;
        //将根节点的左右孩子放到队列中
        q.push(root->left);
        q.push(root->right);
        while(!q.empty()) {
            //从队列中取出两个节点，再比较这两个节点
            TreeNode* left = q.front();
            q.pop();
            TreeNode* right = q.front();
            q.pop();
            //如果两个节点都为空，就继续循环
            if(left == NULL && right == NULL) continue;
            //如果两者只有一个为空，就返回false
            if(left == NULL || right == NULL) return false;
            //如果两个节点的值不同，返回false
            if(left->val != right->val) return false;

            //将左节点的左孩子以及右节点的右孩子放入队列
            q.push(left->left);
            q.push(right->right);
            //将左节点的右孩子以及右节点的左孩子放入队列
            q.push(left->right);
            q.push(right->left);
        }
        return true;
    }
};