Exploring Tree Symmetry: Understanding Mirrored Binary Trees

Reza Shokrzad
3 min readJul 16, 2024

--

Diagram of a symmetric binary tree, showcasing its balanced structure and equal node distribution on both sides.
Perfect Balance: Illustrating the Elegant Symmetry of a Binary Tree

Welcome back to our ongoing series where we dissect complex computer science concepts and transform them into digestible insights. Today’s focus is on determining whether a binary tree is symmetric around its center, a fundamental problem that tests our understanding of tree data structures and recursion. As we delve deeper, this post will examine tree structures, specifically how to assess their symmetry, which is crucial for applications that require structured data to maintain a certain form of balance and aesthetics.

About the Symmetric Tree Problem

A binary tree is symmetric if it is a mirror reflection of itself about its center. This means that for every node, the left subtree is a mirror reflection of the right subtree. The problem becomes particularly interesting and complex when the tree has varying levels of nested children. The symmetry check is not just a superficial comparison of values but involves a deep structural identity that must be validated recursively or iteratively.

“Two binary trees illustrated side by side; the left tree is symmetric with identical substructures on either side of a dashed line, while the right tree, though visually balanced, does not mirror itself exactly.”
The left tree displays perfect symmetry around its central axis, showcasing a balanced binary tree, whereas the right tree, despite its balanced appearance, lacks perfect symmetry due to differing subtree structures.

Solutions to the Problem

Simplest Solution: Recursive Approach

def isSymmetric(root):
def isMirror(left, right):
if not left and not right:
return True
if not left or not right:
return False
return (left.val == right.val) and isMirror(left.right, right.left) and isMirror(left.left, right.right)

return isMirror(root, root)

This recursive solution employs a helper function that checks if two subtrees are mirrors of each other. It involves comparing the outer and inner pairs of the subtree nodes recursively, ensuring both structure and value symmetry.

Optimized Solution: Iterative Approach

from collections import deque
def isSymmetric(root):
queue = deque([(root, root)])
while queue:
left, right = queue.popleft()
if not left and not right:
continue
if not left or not right or left.val != right.val:
return False
queue.append((left.left, right.right))
queue.append((left.right, right.left))
return True

The iterative solution uses a queue to simultaneously traverse and compare the tree from the outermost nodes to the center, mirroring the recursive logic but managing it with an explicit data structure to avoid recursion’s stack limitations.

Complexity Analysis

Recursive Solution:

  • Time Complexity: O(n) — Each node is visited once.
  • Space Complexity: O(n) — In the worst case, the recursion stack will hold all nodes from one side of the tree.

Iterative Solution:

  • Time Complexity: O(n) — Each node is checked once.
  • Space Complexity: O(n) — The queue can hold all nodes in the worst case of a full tree level.

Conclusion

Determining whether a binary tree is symmetric involves understanding and applying depth-first search principles in both recursive and iterative forms. This problem not only sharpens algorithmic thinking but also highlights the importance of structural knowledge in software development, making it a valuable exercise for any programmer looking to deepen their understanding of data structures.

Previous discussions:

efficient numerical operations in “Two Sum”,
integer manipulations in “Reverse Integer”,
string reversals in “Palindrome Number”,
numeric conversions in “Roman to Integer”,
sequence comparisons in “Longest Common Prefix”,
bracket validation in “Valid Parentheses”,
list merging techniques in “Merge Two Sorted Lists”,
array deduplication in “Remove Duplicates in Place”,
efficient data restructuring in “Optimized In-Place Element Removal from Arrays”,
binary search in action “Insert Position Determination”,
Kadane’s Algorithm in “A Path to Maximum Subarray”,
Breaking Down Strings in “the Length of the Last Word”,
Array plus one in “Navigating Integer Arrays”,
Ascending Algorithms in “Different Ways to Climb Stairs”,
A Guide to Inorder Traversal “Navigating Binary Tree Nodes”,
Decoding Tree Structures “Same Tree”.

--

--