Decoding Tree Structures: Are These Binary Trees Identical?

Reza Shokrzad
4 min readJul 16, 2024

--

Digital illustration of two identical binary trees, emphasizing the concept of tree equality in algorithmic analysis.
Reflecting Precision: Visualizing the Symmetry in Binary Tree Comparisons

Welcome back to our in-depth exploration of foundational algorithms and data structures, designed to enrich our understanding of computational principles and problem-solving techniques. Today, we’re tackling the “Same Tree” problem, an intriguing challenge that assesses whether two binary trees are structurally identical and hold the same values in corresponding nodes. As we progress, this post will introduce methods to compare complex data structures like trees, underscoring the importance of both structural and value-based comparisons in computer algorithms.

About the Same Tree Problem

Diagram of two binary trees with identical structures and node values, perfectly illustrating the concept of tree comparison in computer science.
Identical Binary Trees

The “Same Tree” problem requires determining whether two binary trees are the same. This means that every corresponding node in the two trees must have the same value, and each corresponding subtree must have the same structure and node sequencing. This problem is fundamental in various applications, such as in systems that synchronize data structures across platforms or in testing environments where the consistency of data representations must be verified.

Different Binary Trees

Solutions to the Problem

Simplest Solution: Recursive Approach

def isSameTree(p, q):
# If both trees are empty, they are the same
if not p and not q:
return True
# If one of the trees is empty, or values do not match, they are not the same
if not p or not q or p.val != q.val:
return False
# Recursively compare left and right subtrees
return isSameTree(p.left, q.left) and isSameTree(p.right, q.right)

This recursive solution checks if two binary trees are identical by comparing the root values of both trees and then recursively checking all subtrees. The beauty of this approach lies in its simplicity and direct mapping to the problem’s definition.

Optimized Solution: Iterative Approach

from collections import deque
def isSameTree(p, q):
def check(p, q):
# Helper function to compare nodes
if not p and not q:
return True
if not p or not q or p.val != q.val:
return False
return True

deq = deque([(p, q)])
while deq:
p, q = deq.popleft()
if not check(p, q):
return False
if p:
deq.append((p.left, q.left))
deq.append((p.right, q.right))

return True

The iterative solution uses a queue to simulate the recursive stack, allowing node pairs from both trees to be compared level by level. This method is typically more robust against deep recursion limits and can be preferable in scenarios where tree structures are exceptionally deep.

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 grow proportional to the number of nodes in the tree.

Iterative Solution:

  • Time Complexity: O(n) — Each node pair is visited once.
  • Space Complexity: O(n) — The queue might store all node pairs in the worst case scenario.

Conclusion

Comparing two binary trees to determine if they are identical involves deep understanding of tree traversal and comparison techniques. Whether you opt for a recursive or iterative approach, each has its merits depending on the specific requirements and constraints of the environment in which the trees are being compared. Understanding these fundamental operations not only aids in routine tasks but also deepens one’s grasp of how data structures can be manipulated and assessed effectively in software development.

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

--

--