从“放苹果”到“数的划分”：动态规划经典模型迁移与实战解析

1. 从放苹果到数的划分：动态规划模型迁移的思维跃迁

第一次接触"数的划分"问题时，我下意识地联想到小时候分苹果的场景。把6个苹果分给3个小朋友，每人至少分到1个，这不就是数学中的整数划分问题吗？这种将生活问题抽象为数学模型的能力，正是算法学习中最珍贵的思维模式。

在算法竞赛中，"放苹果"（1222题）和"数的划分"（1304题）就像一对孪生兄弟。前者允许盘子为空，后者要求每个盘子至少有一个苹果。这个细微的差别导致状态转移方程发生本质变化。我清楚地记得第一次做这道题时，机械地套用放苹果的解法导致WA（Wrong Answer）的挫败感。后来通过画状态转移表才发现：当要求每个数至少为1时，我们需要先给每个"盘子"分配1个"苹果"，剩下的n-k个苹果再自由分配。

动态规划最精妙的地方在于，看似不同的问题往往共享同一套思维框架。比如：

• 放苹果问题：dp[i][j] = dp[i][j-1] + dp[i-j][j]（考虑空盘与否）
• 数的划分：dp[i][j] = dp[i-1][j-1] + dp[i-j][j]（考虑是否包含1）

这种模型迁移能力在NOIP/NOI竞赛中尤为重要。去年辅导学生备战时就遇到一个变形题：将n划分成恰好k个奇数的和。通过类比数的划分模型，我们只需调整状态定义——将"每个数至少为1"改为"每个数至少为1且为奇数"，问题就迎刃而解。

2. 状态定义的艺术：如何刻画问题的本质特征

在信息学奥赛一本通的多个版本中（1304、1440、1825），数的划分问题都强调"相同的划分顺序不同视为同一种"。这意味着(1,1,4)和(1,4,1)被视为相同方案。这种"组合型"划分与排列型划分有本质区别，直接影响我们的状态设计。

经过多次实战验证，我发现最可靠的状态定义是：

dp[i][j] = 将i划分为j个正整数的组合数

这个定义有三大关键点：

1. 组合有序性：通过强制后数≥前数避免重复计数