关于01背包问题一维状态下的逆序问题

希望下面我的讲解对你有所帮助

经典题目

题目链接：

2. 01背包问题 - AcWing题库

本人十分喜欢这个算法平台，推荐大家可以去上面学习算法

题目描述：

2. 01背包问题​​​​​

有 N 件物品和一个容量是 V 的背包。每件物品只能使用一次。

第 i 件物品的体积是 vi，价值是 wi。

求解将哪些物品装入背包，可使这些物品的总体积不超过背包容量，且总价值最大。
输出最大价值。

这里就不具体讲二维的做法了，若你还不是很清楚二维的做法，那你可以去网上搜索看看，这里重点放到循环为什么要逆序

二维做法：

#include<iostream>
#include<algorithm>
#include<cstring>

using namespace std;

const int N = 1010;

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

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];
    return 0;
}

一维做法：

#include<iostream>

using namespace std;

const int N = 1010;

int v[N],w[N];
int n,m;
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;
}

首先这里要声明下，一般DP的优化是进行代码的等价变形，例如上面的二维变为一维，在代码上是完全等价的，只是循环的顺序不一样了，为什么呢？

       其实原因也不是很难，首先大家看这个公式：f[i][j] = max(f[i][j],f[i-1][j - v[i]] + w[i]);我们可以很清楚的看到 f[i-1][j - v[i]] 这个变量是 第 i - 1 层的，而 f[i][j] 是第 i 层的，这里所谓的层就是第一个for中的第几次循环。好像这个和逆序的关系还是不是很大，好，那再来，我们先假设循环是从小到大，那样子的话，j 是递增的，j - v[i] 也是递增的， j - v[i] 小于等于 j ，又由于 j 是从小变到大的，那么在第二个for中，j - v[i] 就可能是已经出现过的 j 了（其实这种情况一定会发生，后面会举例说明）。其实就好比如，有两个数a，b(假设b = a - 3),a 从 3 开始增长 b 从 0 开始增长，

a: 3 4 5 6 7 8 9 10....

b: 0 1 2 3 4 5 6 7....

发现了吧，随着数的增长，b的数会是a前面已经出现过的数了 （在这里，a 就好比是 j , b 就好比是 j - v[i]，3 好比是v[i]，就是 b 会是本层中 a 出现过的数了）。

那么这样子的话， j - v[i] 就是 第 i 层的了，那这样子的话就和公式相矛盾了。

        可能你还会这样子想，那为什么逆序就不会发生上面的情况呢？那来了，当我们逆序的时候，j 是从大到小，j - v[i] 也是从大到小，j - v[i] 小于等于 j，而 j 是 一直递减的，所以 j - v[i] 会严格的小于以前的 j 了 。咱们一样拿 a ，b(b = a - 3)来举例

a: 10 9 8 7 6 5....

b:   7 6 5 4 3 2....

发现了吧，后面的 b 是严格小于 a 的历史的。也就是说 j - v[i] 是上一层的。证毕！

由于作者还在路上，所以若有不足之处，还请你在评论区里指正，谢谢！

希望上面我的讲解对你有所帮助，谢谢！