HDU3535 AreYouBusy

多重背包问题

该题含有三种背包问题：

1、在本组中，至少拿一件物品的 0 1 背包问题

2、在本组中，至多拿一件物品的 0 1 背包问题

3、在本组中的 0 1 背包问题

1、对于第一种：

由于至少拿一件物品，故初始化 $dp[i]$ 为 负无穷。因为该 第 i 组，在各种体积下的合法状态都是未知的，因为不可以不拿，不能初始化为 $0$ ，而求的是最大值，故初始化为 负无穷。
由于求的是所有组合起来的最大价值，所以状态肯定与上一组的状态有关。
以下是关于 至少取一件 的三种转移情况：

• 由于每组至少取一件，所以我可以是该组第一次取物品，那么就与上一组的状态有关。
  所以有：$dp[i-1][j-w[i]]+v[i]。$

• 如果这是该组取得第2.3.4…件，即不是第一件的话，那么状态由“该组取的第一件”转化来。
  所以有：$dp[i][j-w[i]]+v[i]。$

• 在该组中，不取这件物品，那么由于我一定要在本组中至少取一件，则状态由本组转移而来。所以有：$dp[i][j]。$

2、对于第二种：

$dp[i][0]$时，代表前 $i$ 组，体积为 $0$ 的情况。由于取至多一件，故可以不取，则$dp$初始化为 $0$ 。
而现在这个 $0$ 的意义变化了，它应该是从上一组复制下来的，因为我们需要的是进行本组的 $01$ 背包的初始状态。而由于本应初始化为 $0$ 而非 无穷待定态，所以在本组的基础上的初始状态应该是上一组的末状态。故一开始需要有 $dp[i][j]=dp[i-1][j]。$

状态由上一层转移：

• 可以不取，故在上一层的基础上不取本组的该物品，则有：$dp[i-1][j]。$
• 在本组中取这个物品，由于只能取一件，故从上一层转移：$dp[i-1][j-w[i]]+v[i]。$

3、第三种为普通 $01$ 背包问题，不再赘述。

代码如下：

#include<iostream>
#include<algorithm>
#include<string.h>
using namespace std;
int dp[108][108];
int n, t;
int m, s;
struct Bood
{
	int w;
	int val;
}A[10008];
int main()
{
	while (~scanf("%d%d", &n, &t))
	{
		memset(dp, 0, sizeof(dp));
		for (int i = 1; i <= n; i++) {
			scanf("%d%d", &m, &s);
			for (int j = 1; j <= m; j++) {
				scanf("%d%d", &A[j].w, &A[j].val);
			}
			if (s == 0) {
				memset(dp[i], -0x3f, sizeof(dp[i]));
				for (int j = 1; j <= m; j++) {
					for (int k = t; k >= A[j].w; k--) {
						dp[i][k] = max(dp[i - 1][k - A[j].w] + A[j].val, max(dp[i][k], dp[i][k - A[j].w] + A[j].val));
					}
				}
			}
			else if (s == 1) {
				for (int j = 0; j <= t; j++) {
					dp[i][j] = dp[i - 1][j];
				}
				for (int j = 1; j <= m; j++) {
					for (int k = t; k >= A[j].w; k--) {
						dp[i][k] = max(dp[i][k], dp[i - 1][k - A[j].w] + A[j].val);
					}
				}
			}
			else {
				for (int j = 0; j <= t; j++) {
					dp[i][j] = dp[i - 1][j];
				}
				for (int j = 1; j <= m; j++) {
					for (int k = t; k >= A[j].w; k--) {
						dp[i][k] = max(dp[i][k], dp[i][k - A[j].w] + A[j].val);
					}
				}
			}
		}
		printf("%d\n", max(-1,dp[n][t]));
	}
}