挑战程序设计竞赛:划分数

题目大意

解题思路

此类题一般被称作 $n$的$m$划分。注意这里是划分为 小于等于m 份，使用动态规划解决。

• 定义:$dp[i][j]$: $j$的$i$划分总数。
• 目标状态: $dp[m][n]$.
• 状态转移:
  • 错误的想法: 认为求$j$的$i$划分时, 从$j$中拿去$k$个，再求$j-k$的$i-1$划分，即
    $$dp[i][j]=\sum _{k=1}^{j-1}dp[i-1][j-k]$$
  • 错误点：会将 { 1 , 1 , 2 } \{1,1,2 \} {1,1,2}和 { 1 , 2 , 1 } \{1,2,1\} {1,2,1}看做不同划分。
  • 正确的想法: 对于$j$的$i$划分，有两种情况:(1)划分为了刚好$i$份。(2):划分为了小于$i$份。
    • 对第一种情况：我们想从每一份里面都拿走一个，结果和原始结果是一一对应的。因此总数为$dp[i][j-i]$
    • 对第二种情况：直接对应的就是$dp[i-1][j]$.因此最终有
      $$dp[i][j]=dp[i-1][j]+dp[i][j-i]$$
• 更新策略：$dp[i][j]$依赖左边和上方的$dp[i^{\prime }][j^{\prime }]$，因此按一行一行循环更新。
• 初始状态: $dp[0][\ast ]=0,dp[0][0]=1$：即当没有物品时，只能有划分为0份这一种方法。
• 注意: 在转移的过程中，会出现$dp[2][0]=1$这样的情况，这样好像是不符合实际的，因为他代表$0$个物品的2划分竟然有一种。这是因为我们采取了拿去等价的策略，这个状态会也只会被$dp[2][2]$所引用。因此必须为$1$而不会影响其他值。
• 复杂度:$O(mn)$

代码

#include<iostream>
using namespace std;
const int MAX = 1005;
int dp[2][MAX];
int main()
{
    int m, n;
    cin >> n >> m;
    int M;
    cin >> M;
    dp[0][0] = 1;
    for(int i=1; i<=m; i++)
    {
        for(int j=0; j<=n; j++)
        {
            if(j-1 >= 0)
                dp[i%2][j] = (dp[1-i%2][j] + dp[i%2][j-i]) % M; 
            else
                dp[i%2][j] = dp[1-i%2][j];// 当总数j小于划分数i时，不可能每一份都大于0
        }
    }
    cout << dp[m%2][n] << endl;
}