动态规划经典问题——01背包问题

小小新手第一次写博客，为啥？看完费曼，来输出了，还有就是第一次看这个问题的一维优化时，的的确确花了相当长的时间，主要是当时钻牛角尖了，想了好久都没想出来。后来是第二天看的时候，把表都填了一下，才发现问题。

好了，废话到此为止，下面是正题。

---

01背包问题：

有一个总体积为 m 的背包，现在有 N 件物品，每件物品的体积分别是 v[ i ]，与之对应的物品的价值是w[ i ] ，每件物品只有一个。现问，如何选择才能使得价值总和最大？

首先，我们分析题意，让我们求的是，在总体积不超过 m 的情况下，选择一些物品，使得总价值最大。那么对于每一件物品而言，只有两种状态，被选 和 没被选，也就是 0 和 1。

换一种说法就是， 对于 第 i 件物品 ，如果没被选，就在不包含 第 i 件物品的其他物品里挑选，从而使得总价值最大。如果被选，那么问题就转化成在总体积不超过 m - v[ i ]的情况下，并且已知价值 w [ i ]，从不包含第 i 件的物品中挑选，使得总价值最大。在这其中，取二者之间的最大值。

那么，我们所需要知道什么信息？明显，我们需要知道，最大体积为 m - w[ i ]的情况下的最大价值，这个值怎么来，当然我们需要在前面就已经要算出来，所以我们将体积从0枚举到m,计算每一个体积下的最大价值，

因此，我们用 f[ i ][ j ]来表示在体积不超过 j 的情况下，在前 i 件中挑选，使得总价值最大。

f [ n ][ m ]就是我们所求的答案。 

我们用两层循环来控制，

第一层循环控制物品的个数,

for (int i = 1; i <= n; i ++)

第二层来控制体积的大小，

for (int j = 0; j <= m; j ++) 

对于第 i 件物品，

f[i][j] = max (f[i-1][j], f[i-1][j-v[i]] + w[i]);

这里，我们需要注意有些物品体积大于当前背包的最大体积，是不能够装进背包的。

所以我们要对其进行判定，是否可以装进背包

还有很明显的就是，当背包体积为0时和物品个数为0 时，f[ i ][ j ]明现为0，因此我们需要对其进行初始化，当然，如果是全局变量的话就可以不考虑这一步了。

好了，题目分析完了，直接上代码...

代码实现

---

#include <iostream>
#include <algorithm>

using namespace std;

const int N = 1010;

int n, m;
int v[N], w[N];
int f[N][N];

int main()
{
    cin >> n >> m;

    for (int i = 1; i <= n; i ++)
        cin >> v[i] >> w[i];

    for (int i = 1; i <= n; i ++)
        for (int j = 0; j <= m; j ++)
        {
            f[i][j] = f[i-1][j];
            if  (j >= v[i])
                f[i][j] = max (f[i][j], f[i-1][j-v[i]] + w[i]);
        }
    
    cout << f[n][m] << endl;

    return 0;
    
}

01背包问题的一维优化

很明显，由前面我们已知，对于第 i 层数据而言，我们只需要知道 i - 1 层的数据，i - 1 之前的数据对我们来说是没有用的，所以我们就可以用一维数组来表示。

f[ j ]表示背包体积为 j 的情况下的最大价值是多少，同时我们考虑到当第 i 件物品体积大于背包的容积时不考虑，所以我们直接从 v[ i ]开始遍历。

因此，代码为

for (int i = 1; i <= n; i ++)
    for(int j = v[i]; j <= m; j ++)
        f[j] = max (f[j], f[j-v[i]]);

 但是如果我们就此提交答案的话，我们会发现，答案不全对，是什么问题呢？

仔细分析，我们会发现，在 j 从v[ i ]到 m的遍历中，f[ j - v[ i ]]有可能已经被替换了，就是说f[ j - v[ i ]]表示的不再是第 i-1层的数据，而是第i层的数据，因此答案错了。那如果进行改善了，分析一下我们会发现，如果我们从大到小去遍历，就不会出现被替换的现象，从而得到正确的答案。

代码实现

---

#include <iostream>
#include <algorithm>

using namespace std;

const int N = 1010;

int n, m;
int v[N], w[N];
int f[N];

int main()
{
    cin >> n >> m;

    for (int i = 1; i <= n; i ++)
        cin >> v[i] >> w[i];

    for (int i = 1; i <= n; i ++)
        for (int j = m; j >= v[i]; j --)
            f[j] = max (f[j], f[j-v[i]] + w[i]);
    
    cout << f[m] << endl;

    return 0;
    
}