考点：动态规划

数据规模 k ≤ 100 ｜ 限制 1 秒 / 256MB ｜ 标准输入输出

题目画像

• 数据规模：k ≤ 100
• 元素值域：s ≤ 100（注意整数类型选择，避免溢出）
• 复杂度门槛：允许 O(n³) ~ O(n⁴) 的多重循环，可以放心枚举。
• 源站时限：1 秒（牛客口径，非本题专属门槛）

解题思路

推荐方向：动态规划

本题切入点

删除 k 个字符后压缩长度最短，需要按「连续段长度」分段决策，用 DP 枚举每段删掉多少字符最划算。

把问题拆成子问题，用状态表示「已处理到哪儿」，靠转移方程递推。

思路框架（动态规划 通法 · 非本题专属）

1. 定义状态：dp[i] / dp[i][j] 表示什么（这是最关键的一步，状态定义错就全错）。
2. 写转移方程：当前状态由哪些更小的状态推来。
3. 确定初始条件与遍历顺序（保证用到的状态已算好）。
4. 确定答案取哪个状态；数值大时全程取模。

实现要点：一般是「先枚举阶段，再枚举状态，最后枚举决策」三层循环；空间大时可滚动数组优化。

复杂度：时间 O(状态数 × 转移代价) ｜ 空间 O(状态数)

该范式的通法易错点

• 状态定义不完整（漏了必要维度），导致子问题之间有后效性。
• 初始化写错（尤其「恰好」与「至多」的初值差别）。
• 遍历顺序与依赖方向不一致。

对照本题

• 数据规模 k ≤ 100，允许 O(n³) ~ O(n⁴) 的多重循环，可以放心枚举。
• 元素值域最大到 100 —— 求和 / 相乘时记得开 64 位整数。

样例解读

样例 1：输入 aaabcccd 2 → 输出 4

最优方案是删除 b 和 d 字符，简化后为 a3c3 ，为最短长度。