01背包—动态规划

一、背包问题概述：

二、暴力解法：

	重量	价值
物品0	1	15
物品1	3	20
物品2	4	30

背包最大容量为4。

每一个物品有两个状态，“取”或者“不取”。利用回溯法可以暴力枚举所有物品的状态的排列组合状态，与背包最大容量比较就可以求得最大的价值，时间复杂是$O(2^n)$为指数级别，故需要动态规划的解法来进行优化。

三、二维DP数组解01背包

1.DP数组含义

dp[i][j]：任取编号为[0,i]内的物品，放到容量为j的背包内所得到的最大价值。

2.递推公式（对dp[i][j]）

1. 不放物品i：dp[i][j]=dp[i-1][j]
2. 放物品i：dp[i][j]=dp[i-1][j-weight[i]] + value[i]

dp[i][j]最终应该取放物品i和不放物品i中大的那一个值。

故，dp[i][j]=max(dp[i-1][j], dp[i-1][j-weight[i]]+value[i])

3.DP数组解析

如图，对于dp[i][j]（红色表格），其取值由两个方向得到：

1. dp[i][j]=dp[i-1][j]，由1号红色箭头得到；
2. dp[i][j]=dp[i-1][j-weight[i]] + value[i]，由2号箭头得到。具体2号箭头的初始位置则由weight[i]决定。

所以，求解DP数组时[i-1]必须是已知的，故DP数组初始化时第一行必须初始化。

第一列不需要初始化，使用if判断j-weight[i] > 0 即可。

综上，初始化时，只初始化第一行，其余位置皆不用初始化。

就本题而言，初始化数组为:

4.遍历顺序

i先遍历物品再遍历背包

本方法本质是按行遍历，对每个物品从容量0到j逐个测试。由DP数组解析可得，求dp[i][j]时必须知道dp[i-1][0~j]内的所有数据，而这在前一次循环中已经得到。故该遍历方法可行。

ii先遍历背包再遍历物品

本方法本质是按列遍历，对每个容量从物品0到i逐个测试。由DP数组解析可得，求dp[i][j]时必须知道dp[i-1][0~j]内的所有数据，而这在前一次循环中已经得到。故该遍历方法可行。

5. 代码：

void knapsack () {
    vector<int> weight = {1, 3, 4};  // 物品重量
    vector<int> value = {15, 20, 30};  // 物品价值
    int bagweight = 4;  // 背包的最大容量
    // 创建二维数组
    vector<vector<int>> dp(weight.size(), vector<int>(bagweight + 1, 0));
    // 初始化
    for (int j = weight[0]; j <= bagweight; j++) {
        dp[0][j] = value[0];
    }
    // 先遍历物品
    for(int i = 1; i < weight.size(); i++) { // 遍历物品
        for(int j = 0; j <= bagweight; j++) { // 遍历背包容量
            if (j < weight[i]) dp[i][j] = dp[i - 1][j];
            else dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]);
        }
    }
    // 先遍历背包
    // for(int j = 0; j <= bagweight; j++) { // 遍历背包容量
    //    for(int i = 1; i < weight.size(); i++) { // 遍历物品
    //        if (j < weight[i]) dp[i][j] = dp[i - 1][j];
    //         else dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]);
    //     }
    // }
    cout << dp[weight.size() - 1][bagweight] << endl;
}

四、一维DP数组（滚动数组）解01背包

1.DP数组含义

从二维DP数组的遍历图中可以看出求解dp[i][j]完全是在使用DP数组的前一行（或前一列）的数据，且对dp[i][j]后面的内容完全不关心。因此，可以考虑将前一行（或前一列）的数据覆盖到当前行，使用一行（或一列）就可以完成计算，这就是本题一维DP数组的思想。

本题定义dp[j]为容量为j的背包能装物品的最大价值（相当于将二维数组压缩为一行）。

2.递推公式

1. 不放物品i：dp[j]=dp[j]（可以将等号后dp[j]的看作上一行的数据，只是覆盖到了当前行）
2. 放物品i：dp[j]=dp[j-weight[i]]+value[i]（可以将等号后的dp[j-weight[i]]看作上一行的数据，只是覆盖到了当前行）

dp[j]=max(dp[j], dp[j-weight[i]]+value[i])

3.DP数组初始化

由数组的定义可知，求dp[j]只需知道其前面的数据即可。考虑一下，最“前面”的数据就是背包不放任何物体。故将DP数组所有元素设置为0即可。

4.遍历顺序

因为当前DP数组的值可以看成为上一行的覆盖，故为了保持dp[j]前的元素的“干净”，遍历j时应该采用倒叙遍历。

如图，蓝色代表当前行已经更新的值，红色代表当前行正要求的值，绿色代表上一行还没有更新的值。从后往前遍历可以保证对dp[j]更新时，其前面的值都不会被改变。如果采用正序遍历，相当于dp[j]前的值为当前行的值（这种说法也不对，物品i的值被累加了），递推公式就不成立了。

假设物品重量{1, 1}，价值{5, 10}，背包最大容量为4。如图，若采用正序遍历

在第二行更新DP时，由于dp[j]前的数据已经被污染，故每次更新dp[j]时都对物品1的价值进行了累加。而倒叙时由于前面数据没有被污染，则不会产生累加的错误。如图：

5.代码

void test_1_wei_bag_problem() {
    vector<int> weight = {1, 3, 4};
    vector<int> value = {15, 20, 30};
    int bagWeight = 4;
    // 初始化
    vector<int> dp(bagWeight + 1, 0);
    for(int i = 0; i < weight.size(); i++) { // 遍历物品
        for(int j = bagWeight; j >= weight[i]; j--) { // 遍历背包容量
            dp[j] = max(dp[j], dp[j - weight[i]] + value[i]);
        }
    }
    cout << dp[bagWeight] << endl;
}