P2347 砝码称重

多重背包.

 

 你会发现这既不是01背包,也不是完全背包.前者每个物品只有一个,后者每个物品都有无限多个,这里每个物品(砝码)都有有限个,并且是到达型问题.

思路是枚举每个砝码的个数,然后转化成01背包,我不知道这样说是不是很准确,先看代码:

dp[0] = true;　　// 注意初始化
    for (int i = 0; i < 6; i++)
        for (int k = 1; k <= ct[i]; k++)
            for (int j = 1000; j >= s[i]; j--)　　　　// 总重<=1000
		dp[j] |= dp[j - s[i]];

其中,dp[j]表示能否得到重量j.

很显然,枚举砝码个数并不是说用一个变量k记录当前个数,然后dp[j] |= dp[j - k * s[i]].　　①

正确的做法是执行ct[i]遍的第三层循环.　　　　②

现在,结合01背包的数组覆盖性质再想一想.

①相当于把每个物品分解为ct[i]个数量只有一个的物品,他们的重量为s[i], 2 * s[i], 3 * s[i], ... , ct[i] * s[i].

②相当于把每个物品分解为c[i]个数量只有一个的物品,他们的重量均为s[i].

到此结束.

#include <algorithm>
#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;

int s[6] = {1, 2, 3, 5, 10, 20}, ct[6];
bool dp[1010];

int main() {
    for (int i = 0; i < 6; i++) cin >> ct[i];

    dp[0] = true;
    for (int i = 0; i < 6; i++)
        for (int k = 1; k <= ct[i]; k++)
            for (int j = 1000; j >= s[i]; j--)
                dp[j] |= dp[j - s[i]];

    int ans = 0;
    for (int i = 1; i <= 1000; i++)
        if (dp[i]) ans++;
    cout << "Total=" << ans << endl;

    return 0;
}

View Code