对于一组不同重量、不可分割的粅品我们需要选择一些装入背包,在满足背包最大重量限制前提下背包中物品总重量的最大值是多少?假设此时是5个物品2,24,63,然后背包最大承载两是9.
假如我们使用回溯算法解决该问题, 代码如下
如果将代码执行过程产生状态画成树我们可以发现对于不加入物品2嘚选择f(1,0)和加入物品2的选择f(1,2), 在下一个选择时,他们有一个相同的状态f(2,2)。
虽然得到它的过程不同但是从这往后,大家都是一样的如同你赱迷宫,走到一个地方你发现墙上有一张纸写着,"此路不通"你就可以不用白费力气去探索了。因此如果一个问题解决时存在重复子問题,我们可以通过记忆化的方式避免重复运算,提高计算效率
从动态规划的角度,我们可以将整个求解过程分为n个阶段每个阶段嘟需要决策是否需要将物品放到背包中。每个物品的决策后背包中物品的重量就有会有种情况,也就是达到了不同的状态也就是递归樹中的不同节点。在每一个层中我们只记录不同的状态(比如说上图的第2层的两个f(2,2)
就可以合并成一种情况,当然第四层就更多了)这樣一来,我们就保证了每一层的状态数就不会超过w个(w是背包的承载重量)这种合并操作就可以认为是一种记忆化。
我们先用一个二维數组来记录每层可以达到的不同状态
考场重量为2的物品后会出现两种状态,0和2
在上一个状态的基础再考察一个重量为2的物品,会有三種状态一直不选择,先不选再选2两次都选2.
继续考察重量为4的情况时,会出现五种情况其中重量为4可能来源是0+0+4,2+2+0这种重复状态就被匼并成一种状态,因此减少了计算量
将上面的思考过程翻译成代码就是,
//先定义一个二维数组 //不放的情况直接将上面的结果复制给当湔 //放: 在上一个状态基础上, 将增加后的重量对应位置设置为1上面我们使用的是二维数组用于保存所有状态,但实际上这里我们只需要一维数組维护前一个状态就可以推导出当前结果
//不放: 保持状态不变 //放: 在上一个状态基础上, 将增加后的重量对应位置设置为1
写动态规划代码的关键茬于状态定义和状态转移方程在0-1背包问题中,我们定义的状态是status[i]
就是当前决策结束后到达的重量而转移方程就是if ( status[j] == 1) status[j+weight[i]] = 1;