划分数

第二类stirling数

第二类 stirling 数 S(n, m) 表示 n 个无区别的物品划分(有些地方叫分拆)成 m 部分的划分数，它满足三角递推关系：

$$S(n, k) = S(n - 1, k - 1) + kS(n - 1, k), \ \ n, k \ge 1\\ S(n, 0) = S(0, k) = \delta_{ij}$$

Bell 数

Bell数$B_n$是指将 n 个无差别物品划分开的方法数，那么明显有：

$$B_n = \sum\limits_{k = 0}^nS(n, k)$$
另外，
$$B_n = \sum\limits_{k = 0}^nC_n^kB_k, n \ge 0$$

n 的 m 划分

n 个无差别物品，将它们分 m 组，每组可空的划分方法数。
考虑每一个划分$\{a_i\}$，如果划分中没有 0，那么$\{a_i - 1\}$对应 n - m 的 m 划分，否则，对应 n 的 m-1 划分。
于是，

$$dp[i][j] = dp[i][j - i] + d[i - 1][j]$$