LeetCode回溯算法实战：电话号码字母组合解析

王怡蕊

1. 问题背景与需求分析

今天想和大家分享一道经典的LeetCode回溯算法题目——电话号码的字母组合（第17题）。这道题看似简单，但蕴含着回溯算法的核心思想，是理解递归和深度优先搜索（DFS）的绝佳案例。

问题的实际场景很常见：当我们用老式手机键盘输入数字时，每个数字键对应多个字母（比如2对应abc，3对应def等）。现在给定一串数字，要求返回所有可能的字母组合。例如输入"23"，输出应该是["ad","ae","af","bd","be","bf","cd","ce","cf"]。

2. 算法思路解析

2.1 问题建模

首先我们需要明确几个关键点：

数字到字母的映射关系是固定的（2→abc，3→def，...9→wxyz）
输入的数字字符串长度决定了输出组合的长度
每个数字对应的字母都需要被遍历到

2.2 回溯算法选择

回溯算法特别适合解决这类"组合"问题，因为它能系统地枚举所有可能性。其核心思想是：

前进：选择一个可能的选项
递归：处理下一个选择
回退：撤销当前选择，尝试其他选项

对于这道题，我们可以把每个数字看作一层，每层的选择是该数字对应的所有字母。

3. 代码实现详解

3.1 基础版本实现

python复制def letterCombinations(digits):
    if not digits:
        return []
    
    digit_map = {
        '2': 'abc',
        '3': 'def',
        '4': 'ghi',
        '5': 'jkl',
        '6': 'mno',
        '7': 'pqrs',
        '8': 'tuv',
        '9': 'wxyz'
    }
    
    result = []
    
    def backtrack(index, current):
        if index == len(digits):
            result.append(''.join(current))
            return
        
        for letter in digit_map[digits[index]]:
            current.append(letter)
            backtrack(index + 1, current)
            current.pop()
    
    backtrack(0, [])
    return result

3.2 关键点解析

递归终止条件：当current组合长度等于输入数字长度时，说明已经完成一个有效组合
遍历选择：对当前数字对应的每个字母都要尝试
回溯操作：在递归调用前后分别进行选择(append)和撤销选择(pop)

4. 复杂度分析

4.1 时间复杂度

最坏情况下，每个数字对应4个字母（7和9），所以时间复杂度是O(4^n)，其中n是输入数字的长度。

4.2 空间复杂度

主要消耗在递归调用栈和结果存储上：

递归深度为n → O(n)
结果数量最多为4^n → O(4^n)

5. 优化与变种

5.1 使用字符串代替列表

可以优化current参数为字符串，避免频繁的append/pop操作：

python复制def backtrack(index, current_str):
    if index == len(digits):
        result.append(current_str)
        return
    
    for letter in digit_map[digits[index]]:
        backtrack(index + 1, current_str + letter)

5.2 迭代解法

虽然回溯更直观，但也可以用BFS迭代实现：

python复制from collections import deque

def letterCombinations(digits):
    if not digits:
        return []
    
    digit_map = {...}  # 同上
    
    queue = deque([''])
    
    for digit in digits:
        level_size = len(queue)
        for _ in range(level_size):
            current = queue.popleft()
            for letter in digit_map[digit]:
                queue.append(current + letter)
    
    return list(queue)