DP 递推j计数

两个问题实例，一个来自书上，另一个来自POJ：

一，问题一：

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

(将n划分成m份称为 n的m划分)

②理解：即将一个数n划分为1个，2个，3个，...，m个。如4的3划分：(4)，(1+1+2)，(1+3)，(2+2)，有4个。

解题思路：

这里我们定义状态数组：dp[m][k] = k的m划分数。

考虑k的m划分的一个元素ai(a1+a2+a3+...+am=n)。如果存在ai=0，那么这就是对应了n的m-1划分；如果对应任意ai>0，则将k的m划分中的每一个元素都减去1，

即{a1-1，a2-1，...，am-1}，应该等于(k-m)的m划分 (当然当k>m时)。

现在可以得到如下递推关系：

dp[m][k] = dp[m][k-m] + dp[m-1][k]

这样可以很容易写出代码，并且鉴于规划方向，可以很容易消除dp数组的第一维，只需要将dp[i]由i从小到大计算。

二，问题二：POJ 2229 - Sumsets

①

Description

Farmer John commanded his cows to search for different sets of numbers that sum to a given number. The cows use only numbers that are an integer power of 2. Here are the possible sets of numbers that sum to 7: 

1) 1+1+1+1+1+1+1 
2) 1+1+1+1+1+2 
3) 1+1+1+2+2 
4) 1+1+1+4 
5) 1+2+2+2 
6) 1+2+4 

Help FJ count all possible representations for a given integer N (1 <= N <= 1,000,000). 

Input

A single line with a single integer, N.

Output

The number of ways to represent N as the indicated sum. Due to the potential huge size of this number, print only last 9 digits (in base 10 representation).

Sample Input

7

Sample Output

6

②思路：

递推数组定义简单：dp[i] = i的划分数

首先很任意发现的是对于奇数，则它的划分中一定有一个1，且为奇数个1，既然如此那么应该有dp[i] = dp[i-1] (当i为奇数)，即把一个1去掉就是前一个奇数的划分。

然而对于偶数i的前道关系却不容易找。但是与奇数相对，偶数的划分中如果有1，则一定存在偶数个1，现在已经有一些思路了。那么如果偶数的划分中如果有1，

也可以参照奇数那样处理dp[i] = dp[i-2] + dp[?]，现在只剩下划分中没有1的情况了，这要怎么推倒呢？

如果将没有1的划分中每一个项都除以2，那么就得到了dp[i/2]的划分，很巧妙的推倒。

总结，其中两道题目的递推中都用到了将更大的问题等价于更小的问题，或部分等价后的累加，其实更大问题与更小问题之间并没有直接的关联，而是依赖于特定

的问题性质，从中找到的等价关系。