DATA STRUCTURES PROGRAM • TREES & BINARY SEARCH TREES
Find the Lowest Common Ancestor in a Binary Tree
Learn how to find the lowest common ancestor in a binary tree using a clear C program.
PROBLEM UNDERSTANDING
Input and expected output
Sample input
No input required
Sample output
LCA = 2
COMPLETE C PROGRAM
Complete C implementation
#include <stdio.h>
#include <stdlib.h>
struct TreeNode { int data; struct TreeNode *left; struct TreeNode *right; };
struct TreeNode *new_node(int value)
{
struct TreeNode *node = malloc(sizeof *node);
if (node == NULL) exit(EXIT_FAILURE);
node->data = value; node->left = NULL; node->right = NULL;
return node;
}
struct TreeNode *sample_tree(void)
{
struct TreeNode *root = new_node(1);
root->left = new_node(2); root->right = new_node(3);
root->left->left = new_node(4); root->left->right = new_node(5);
root->right->left = new_node(6); root->right->right = new_node(7);
return root;
}
void free_tree(struct TreeNode *root)
{
if (root == NULL) return;
free_tree(root->left); free_tree(root->right); free(root);
}
struct TreeNode *lca(struct TreeNode *root, int first, int second)
{
if (root == NULL || root->data == first || root->data == second) return root;
struct TreeNode *left = lca(root->left, first, second);
struct TreeNode *right = lca(root->right, first, second);
if (left != NULL && right != NULL) return root;
return left != NULL ? left : right;
}
int main(void)
{
struct TreeNode *root = sample_tree();
struct TreeNode *ancestor = lca(root, 4, 5);
printf("LCA = %d\n", ancestor->data);
free_tree(root);
return 0;
}CURRENT STEP
SELECTED LINE
EXPECTED OUTPUT FOR THE SAMPLE
LCA = 2
Step 0 of 0
PROGRAM EXPLANATION
Algorithm and explanation
- Read the required input values.
- The first node receiving one target from each subtree is their lowest common ancestor.
- Display the computed result.
The first node receiving one target from each subtree is their lowest common ancestor.
EFFICIENCY
Time and space complexity
Time complexity
O(n)
Auxiliary space
O(h)
DEBUGGING CHECKLIST
Common mistakes
Check this
Use the correct format specifier for every variable.
Check this
Initialize variables before using their values.
Check this
Check braces, semicolons and input order carefully.
Try it yourself
Practice: Run the program with the sample input, predict its output, and then test one boundary case of your own.
