01背包问题浅谈，优化

朴素解法

题面

样例

思路

我们将f[i][j]划分为两种情况，分别是包含第i个物品和不包含第i个物品这两种情况，由此递归，就可以解决问题，但是不是第二种情况不是时时刻刻都可以存在，当第i个物品的重量超过背包所能放置的重量时，第二种情况将不复存在，所以在取最大值的时候要进行判断。f[i][j]是一个集合，其中包含了某种特性(我们想要存储的特性，在本题中则是存储最大值)，他要满足两个条件，从前i个物品中选，且重量不超过j

代码

#include<iostream>
#include<algorithm>

using namespace std;

const int N = 1010;
int v[N],w[N];
int f[N][N]; //f[i][j]代表着前i个物品，其中重量不超过j
int n,m;

int main(void){
    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=1;j<=m;j++){
            f[i][j] = f[i-1][j];
            // 因为第二种情况(放第i个物品)可能不存在
            // 如果可以放下第i个物品，那么就是两个当中最大的一个
            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;
}

tips

因为在数组内有i-1所以下标要从1开始以防数组越界

优化解法

优化思路

因为每次我们在更新f数组的时候只用到前一层的f值，所以我们可以采用一维数组来存储我们所需要的值(此时是最大值)，所以在二层for循环中，我们把第一维(i那一维删掉)，第一行变成了f[j]=f[j]恒等式，故删掉。第二行是一个if判别式，我们for循环中仅有这个判别式，那么我们优化for循环，让其从v[i]开始遍历，直到m结束，如此便可。但是此时有一个重要问题！！！我们修改后的f[j-v[i]] 并不等于之前哪个f[i-1][j-v[i]]，因为我们每次更新时所用到的f是上一层的f，但是这里自动补全为这一层的f。下图模拟解释，所以我们需要从后往前开始遍历，这样就可以避免这种情况。

代码

#include<iostream>
#include<algorithm>
 
using namespace std;
 
const int N = 1010;
int v[N],w[N];
int f[N]; //f[j]代表着前i个物品，其中重量不超过j
int n,m;
 
int main(void){
    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;
}