【LeetCode】剑指 Offer 28. 对称的二叉树

【LeetCode】剑指 Offer 28. 对称的二叉树

一、递归

对称二叉树定义：对于书中任意两个对称结点 L 和 R，一定有：

• L.val = R.val：即此两对称结点的值相等

• L.left.val = R.right.val：即 L 的左子结点和 R 的右子结点对称

• L.right.val = R.left.val：即 L 的右子结点和 R 的左子结点对称

• 根据以上规律，考虑从顶至底递归，判断每对结点是否对称，从而判断树是否为对称二叉树
  
  算法流程：

isSymmetric(root)：

• 特例处理：若根结点 root 为空，则直接返回 true
• 返回值：即 recur(root.left，root.right)

recur(L，R)：

• 终止条件
  • 当 L 和 R 同时越过叶结点：此树从顶至底的结点都对称，因此返回 true
  • 当 L 和 R 中只有一个越过叶结点：此树不对称，因此返回 false
  • 当结点 L 值 ≠ 结点 R 值：此树不对称，因此返回 false
• 递推工作：
  • 判断两结点 L.left 和 R.right 是否对称，即 recur(L.left，R.right)
  • 判断两结点 L.right 和 R.left 是否对称，即 recur(L.right，R.left)
• 返回值：两对结点都对称时，才是对称树，因此用与逻辑符 && 连接

/**
 * Definition for a binary tree node.
 * public class TreeNode {
 *     int val;
 *     TreeNode left;
 *     TreeNode right;
 *     TreeNode(int x) { val = x; }
 * }
 */
class Solution {
    public boolean isSymmetric(TreeNode root) {
        return root == null ? true : recur(root.left, root.right);
    }

    boolean recur(TreeNode L, TreeNode R){
        if(L == null && R == null) return true;
        if(L == null || R == null || L.val != R.val) return false;
        return recur(L.left, R.right) && recur(L.right, R.left);
    }
}

• 时间复杂度 O(n)：其中 n 为二叉树的节点数量，每次执行 recur() 可以判断一对节点是否对称，因此最多调用 n/2 次 recur() 方法
• 空间复杂度 O(n)：最差情况下，二叉树退化成链表，系统使用 O(n) 大小的栈空间