Morris Inorder Traversal
A medium Binary Trees problem included in Striver A2Z. Below: the roles whose interviews prioritise this topic, and how to practise it.
- Topic
- Binary Trees
- Sheets
- 1
- Core for
- 4 roles
- Platform
- LeetCode
The problem
Given the root of a binary tree, return the inorder traversal of its nodes' values using Morris traversal, which achieves O(1) space complexity without using a stack or recursion.
Example 1
- Input
- [1,null,2,3]
- Output
- [1,3,2]
- Why
- Morris traversal visits nodes in left-root-right order without using extra space.
Example 2
- Input
- [1,2,3,4,5]
- Output
- [4,2,5,1,3]
- Why
- Inorder of the tree visits leftmost nodes first, then root, then right subtrees.
Example 3
- Input
- []
- Output
- []
- Why
- An empty tree produces an empty traversal.
Constraints
- The number of nodes is in the range [0, 100].
- -100 <= Node.val <= 100
How to think about it
Updated 2026-09-09Standard traversal needs a stack to return to an ancestor after completing a left subtree. Morris traversal creates that return path directly inside the tree: find the inorder predecessor (the rightmost node of the left subtree) and link its right pointer to the current node as a temporary bridge back.
Approaches, worst first
Iterative stack traversal
time O(n) · space O(h)
Use an explicit stack to push nodes going left, popping and stepping right. While straightforward, it uses memory proportional to tree height, violating the O(1) space constraint.
Morris traversal with temporary threadsWrite this one
time O(n) · space O(1)
For current node, if left child is null, record value and go right. Otherwise find the rightmost node in the left subtree. If its right pointer is null, set it to current and step left. If already pointing to current, cut the thread, record current, and step right.
Where people lose marks · 3
- In the predecessor search loop, failing to check `pred.right !== curr` leads to an infinite loop around the newly created thread.
- Forgetting to restore `pred.right = null` permanently alters the input tree structure.
- Recording the node value when the thread is created instead of when it is destroyed converts the output from inorder to preorder.
The theory behind it
Binary Trees — the ground this problem stands on. All Binary Trees problems
What Binary Trees is
A binary tree is a branching data structure that starts at a single top node called the root, like an upside-down family tree. Every node holds a piece of data and can branch out to at most two children below it, known as the left child and the right child. Because there is no ordering rule about which values go left or right, finding a specific item can require checking every single node in the entire tree.
When to reach for it
Reach for binary trees when problems present hierarchical data with left and right child pointers. Questions asking for tree height, maximum depth, path sums from root to leaf, diameter, lowest common ancestor, or checking whether two trees are mirror reflections of each other all signal binary tree traversals. Any problem asking to inspect or reconstruct a tree layer by layer or path by path belongs here.
How the pattern works
Think recursively by focusing on what a single node must do. If the current node is null, return the base answer immediately. Otherwise, ask the left child for its result, ask the right child for its result, and combine both answers with the current node value before returning up to the parent. For horizontal scans, use a queue to read nodes layer by layer, measuring the queue length at the start of each layer to group nodes by depth.
What each operation costs
| Operation | Time |
|---|---|
| traverse all nodes using recursion or queue | O(n) |
| search for an arbitrary value in an unordered tree | O(n) |
| call stack memory on balanced tree | O(log n) |
| call stack memory on skewed tree | O(n) |
What usually goes wrong with Binary Trees
- Dereferencing left or right child pointers without checking if the current node is null, throwing null pointer errors on empty trees or leaf nodes.
- Defining a leaf node incorrectly by stopping when either child is null instead of checking that both left and right children are simultaneously null.
- Computing tree diameter by taking left height plus right height inside a recursive helper without updating a global maximum across every visited node.
Which roles need this problem
Binary Trees is a core topic for these 4 roles — if you're targeting one of them, this problem is early in your path, not optional.
Secondary for 5 more roles, including Full-Stack Developer, Android Developer, iOS Developer.
Track this in your role's order
Pick your target role and all 370 problems — including this one — resequence to what that interview actually asks. Free.
Start freeMore Binary Trees problems
Problem set and role mapping as of .