Optimal Algorithmic Approach
DFS backtracking with a digit-to-letters map.
Core Invariants & Edge Cases
- Map each digit to its letters (T9 mapping)
- Backtrack through each digit, appending one letter at a time
- Base case: current string length == digits length