Lowest Common Ancestor of a Binary Tree — Interactive Visualizer
DFS returning p or q when found, identifying the LCA where both subtrees return non-null.