背包问题——状态研究(体积不超过j, 恰好是j, 至少是j)

此文是背包问题中的状态总结，此文主要讨论的是背包问题的初始化情况。

参考链接acwing

当做到dp的潜水员问题的时候，明白了一味套用模板不能解决更加通用的问题，以及有很多特殊的情况难以解决。要解决更多的通用问题，需要缜密的初始化条件。

求方案数初始化总结

1. 体积至多为(不超过)j
f[0][i]=1 / f[i] = 1, 0 <= i <= m，其余是0
2. 体积恰好为j
f[0][0]=1 / f[0] = 1, 其余是0
3. 体积至少为j
f[0][0]=1 / f[0] = 1，其余是0

求最大最小值初始化总结

1. 体积至多为(不超过)j
dp全部初始化为0，计算时严格保证任意状态下背包的体积 >= 0
f[i] = 0, 0 <= i <= m（只会求价值的最大值）
2. 体积恰好j
dp[0][0]初始化为0，其他全部初始化为inf，同时也要严格保证任意状态下背包体积 >= 0
当求价值的最小值：f[0] = 0, 其余是INF
当求价值的最大值：f[0] = 0, 其余是-INF
3. 体积至少j
dp[0][0]初始化为0，其他全部初始化为INF, 任意状态下背包的体积允许 < 0
f[0] = 0，其余是INF（只会求价值的最小值）

潜水员问题

潜水员问题因为会出现小于0的情况，而小于0的情况与等于0的情况相同，于是出现负数的时候选择等于0的情况。

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

using namespace std;

const int N = 80, INF = 0x3f3f3f;
int f[N][N];
int M1, M2, k;

int main(){
    memset(f, INF, sizeof(f));
    f[0][0] = 0;
    
    cin >> M1 >> M2 >> k;
    
    for(int i = 0; i < k; i ++){
        int m1, m2, w;
        cin >> m1 >> m2 >> w;
    
        for(int j = M1; j >= 0; j --)
            for(int k = M2; k >= 0; k --)
                f[j][k] = min(f[j][k], f[max(0, j - m1)][max(0, k - m2)] + w);
    }
    cout << f[M1][M2] << endl;
    return 0;
}

该问题有待补充完善，欢迎评论留言…