uva10313 - Pay the Price(巧妙动归)

摘自Staginner大神

看了RoBa的题解之后，终于顿悟了。

    这个题目涉及到一个结论，用不超过j个硬币凑出面值i的方案种数，是和用面值不超过j的硬币凑出面值i的方案种数是相同的。

说得再数学一点，就是整数i拆分成不超过j个整数的拆分数，是和整数i拆成若干个值不超过j的整数的拆分数是相同的。

具体的证明用到了Ferrers图像的性质。

   这样的话我们就可以取一个二维数组f[i][j]表示用面值不超过j的硬币凑出面值i的方案的种数，

那么如果我使用了面值j，对应方案种数就应该加上f[i-j][j]，

如果我们不使用面值j，那么对应的方案种数就应该加上f[i][j-1]。也就是说状态转移方程为f[i][j]= f[i-j][j]+ f[i][j-1]。

代码如下：

#include <cstdio>
#include <cstring>
#define M 305
#define N 1005
#define MAX 1001
int n, l, r;
long long dp[M][N];
int main ()
{
    char str[M];
    dp[0][0] = 1;
    for(int i = 0; i <= 300; i++)
    for(int j = 1; j <= 300; j++)
    {
        if(i>=j) dp[i][j]+=dp[i-j][j];
        if(j>=1) dp[i][j]+=dp[i][j-1];
    }
    while(gets(str))
    {
        l = -1; r = -1;
        sscanf(str,"%d%d%d",&n,&l,&r);
        l = l>300?300:l;//注意
        r = r>300?300:r;//注意
        if(l==-1) printf("%lld\n",dp[n][n]);
        else if(r==-1) printf("%lld\n",dp[n][l]);
        else printf("%lld\n",dp[n][r]-dp[n][l-1]);
    }
    return 0;
}