LeetCode 394：字符串解码算法与栈结构应用

1. 问题背景与核心需求

这道LeetCode Hot100题目编号394，标题为"字符串解码"，难度中等。题目要求我们实现一个能够解析特定格式编码字符串的算法。这类字符串编码规则在现实开发中非常常见，比如配置文件解析、模板引擎处理、数据压缩传输等场景都会用到类似的嵌套结构解析。

编码字符串的格式定义为：数字[字符串]的重复组合。例如：

• "3[a]"解码为"aaa"
• "3[a2[c]]"解码为"accaccacc"
• "2[abc]3[cd]ef"解码为"abcabccdcdcdef"

2. 解题思路分析

2.1 暴力解法与复杂度问题

最直观的想法可能是使用递归解法：遇到数字就解析重复次数，遇到括号就递归处理内部字符串。这种方法虽然直观，但存在两个明显问题：

1. 递归深度与字符串嵌套层级正相关，最坏情况下（如100[100[100[...]]]）会导致栈溢出
2. 字符串拼接操作会产生大量临时对象，时间复杂度可能达到O(n^2)

2.2 栈结构的优势

栈结构特别适合处理这种具有嵌套特性的问题，因为它完美匹配了"后进先出"的嵌套解析顺序。在本题中，我们需要同时处理两种类型的数据：

1. 当前累积的字符串
2. 需要重复的次数

这提示我们需要设计一个能够同时保存这两种信息的栈结构。

3. 单栈模拟法实现

3.1 算法流程详解

python复制def decodeString(s: str) -> str:
    stack = []
    current_str = ""
    current_num = 0
    
    for char in s:
        if char.isdigit():
            current_num = current_num * 10 + int(char)
        elif char == '[':
            stack.append((current_str, current_num))
            current_str = ""
            current_num = 0
        elif char == ']':
            prev_str, num = stack.pop()
            current_str = prev_str + current_str * num
        else:
            current_str += char
    
    return current_str

3.2 关键步骤解析

1. 数字处理：

   • 连续数字字符需要组合成完整数字（如"123"要解析为123而非1,2,3）
   • 使用current_num = current_num * 10 + int(char)实现数字的累积计算

2. 左括号处理：

   • 遇到"["时将当前字符串和数字压栈
   • 重置current_str和current_num为初始状态
   • 这相当于开始处理一个新的嵌套层级

3. 右括号处理：

   • 弹出栈顶保存的前序字符串和重复次数
   • 将当前字符串重复指定次数后与前序字符串拼接
   • 这相当于完成了一个嵌套层级的解析

4. 普通字符处理：

   • 直接追加到当前字符串末尾
   • 这些字符可能是最终输出的一部分，也可能是某个嵌套层级的组成部分

4. 复杂度分析与优化

4.1 时间复杂度

• 每个字符只被处理一次，时间复杂度为O(n)
• 字符串拼接操作在最坏情况下可能达到O(n^2)，可以使用StringBuilder优化（Python中可用列表+join替代）

4.2 空间复杂度

• 栈的最大深度等于最大嵌套层数
• 最坏情况下需要O(n)的额外空间

5. 边界条件与测试案例

5.1 常见边界情况

1. 空字符串输入
2. 没有嵌套的简单情况（如"3[a]"）
3. 多重嵌套（如"3[a2[c]]"）
4. 连续嵌套（如"2[3[a]2[b]]"）
5. 混合情况（如"3[a]2[bc]"）
6. 无数字前缀的字符（如"abc"）

5.2 测试案例设计

python复制test_cases = [
    ("3[a]", "aaa"),
    ("3[a2[c]]", "accaccacc"),
    ("2[abc]3[cd]ef", "abcabccdcdcdef"),
    ("10[a]", "aaaaaaaaaa"),
    ("1[a1[b1[c]]]", "abc"),
    ("", ""),
    ("abc", "abc"),
    ("3[a]2[b4[F]c]", "aaabFFFFcbFFFFc")
]

6. 常见错误与调试技巧

6.1 典型错误模式

1. 数字解析不完整：

   • 错误：将"23"解析为2和3而非23
   • 解决：确保使用current_num = current_num * 10 + int(char)

2. 栈操作顺序错误：

   • 错误：在遇到"]"时没有正确弹出所有必要信息
   • 解决：确认栈中保存的是（前序字符串，重复次数）的元组

3. 字符串拼接顺序错误：

   • 错误：将新字符串拼接到重复字符串之后
   • 解决：记住公式prev_str + current_str * num

6.2 调试技巧

1. 打印栈状态：在每个操作后打印栈内容
2. 跟踪变量：记录current_str和current_num的变化过程
3. 可视化处理：用纸笔模拟算法执行过程

7. 算法变种与扩展

7.1 支持更多编码规则

如果要支持更复杂的编码规则，如：

• 嵌套标签：
  ...
• 多级缩进：类似YAML的结构
• 条件判断：根据条件选择不同解码方式

这时可以考虑：

1. 使用多栈结构分别处理不同类型的数据
2. 引入状态机管理解析过程
3. 使用更复杂的文法解析器（如递归下降解析器）

7.2 性能优化方向

1. 使用双端队列代替栈（collections.deque）
2. 预分配内存空间减少字符串操作开销
3. 并行处理不相关的嵌套块（对于超长字符串）

8. 实际应用场景

这种字符串解码算法在以下场景中有实际应用：

1. 配置文件解析：

   • 处理类似JSON但更简洁的配置格式
   • 例如：将"3[server]2[db]"扩展为"serverserverserverdbdb"

2. 模板引擎：

   • 实现简单的循环和重复结构
   • 例如："3[Hello {name}! ]"可以生成重复的问候语

3. 数据压缩：

   • 实现基本的游程编码（RLE）解压
   • 例如："3a2b4c"解压为"aaabbcccc"

9. 同类问题推荐

为了巩固栈的应用技巧，推荐练习以下LeetCode题目：

• 20. 有效的括号（基础栈应用）
• 224. 基本计算器（处理运算符优先级）
• 772. 基本计算器III（带括号和优先级的扩展）
• 385. 迷你语法分析器（嵌套结构解析）
• 636. 函数的独占时间（栈处理时间区间）

10. 个人实现心得

在实际编码中有几个关键点值得注意：

1. 数字累积技巧：

   • 处理多位数时，使用current_num = current_num * 10 + int(char)比字符串拼接再转换更高效

2. 栈元素设计：

   • 选择保存哪些信息入栈很关键，本题需要同时保存前序字符串和重复次数

3. 状态管理：

   • 清晰地区分数字解析状态和字符串累积状态可以避免很多错误

4. Python优化技巧：

   • 对于超长字符串，使用列表收集字符最后join()比直接字符串拼接快很多
   • 栈操作使用列表的append/pop即可，不需要额外导入deque