划分数, n的m划分 [dp计数] 《挑战程序设计竞赛》2.3

有$n$个无区别的物品，将它们划分为不超过$m$组，求出划分方法数模$M$的余数。

限制条件：

$1≤m≤n≤1000$

$2≤M≤10000$

这样的划分被称作$n的m$划分，$dp$数组可以这么定义：

$dp[i][j]=j$ 的i划分的总数。

递推关系的难点在于不重复。我们采用一种标准将问题化为子问题，这个标准需要用到一种新的定义。我们定义$n的m$ 划分具体为一个集合${a_i}$，${a_i}$满足$\sum_{i=1}^m a_i = n$ 。可以看出${a_i}$里一共有m个数，这$m$个数不一定大于0。

这个标准是：是否存在某个$a_i=0$；这样可以将${a_i}$分为两种情况：

1、不存在某个$a_i=0$

此时${a_i}$的个数等于${a_i-1}$的个数，即 $n – m 的 m$ 划分。理解起来并不难，集合里每个数都减去1，一共减了$m$个。

此时$dp[i][j] = dp[i][j-i]$ 。

2、存在某个$a_i=0$

此时{a_i}的个数等于 $n 的 m – 1$ 划分。可以这样思考，存在$a_i=0$，说明划分一定不足$m$组，那么至少可以少分一组同时满足划分数相同。

此时$dp[i][j] = dp[i-1][j]$ 。

那么${a_i}$总的划分数就是这两种情况的综合，$dp[i][j] = dp[i][j-i] + dp[i-1][j]$。

看<挑战程序设计竞赛>的时候没看懂, 于是google到一篇不错的博客. 转过来便于自己理解.
原文地址:http://www.hankcs.com/program/m-n-recursive-division.html