http://blog.csdn.net/kangroger/article/details/38864689ios
在hihocoder上面的题目中看到的这个问题,总结一下。先看01背包问题。算法
01背包问题:一个背包总容量为V,如今有N个物品,第i个 物品体积为weight[i],价值为value[i],如今往背包里面装东西,怎么装能使背包的内物品价值最大?数组
看到这个问题,可能会想到贪心算法,可是贪心实际上是不对的。例如最少硬币找零问题,要用动态规划。动态规划思想就是解决子问题并记录子问题的解,这样就不用重复解决子问题了。数据结构
动态规划先找出子问题,咱们能够这样考虑:在物品比较少,背包容量比较小时怎么解决?用一个数组f[i][j]表示,在只有i个物品,容量为j的状况下背包问题的最优解,那么当物品种类变大为i+1时,最优解是什么?第i+1个物品能够选择放进背包或者不放进背包(这也就是0和1),假设放进背包(前提是放得下),那么f[i+1][j]=f[i][j-weight[i+1]+value[i+1];若是不放进背包,那么f[i+1][j]=f[i][j]。app
这就得出了状态转移方程:oop
f[i+1][j]=max(f[i][j],f[i][j-weight[i+1]+value[i+1])。测试
能够写出代码测试:优化
在hihocoder上面还讲到能够进一步优化内存使用。上面计算f[i][j]能够看出,在计算f[i][j]时只使用了f[i-1][0……j],没有使用其余子问题,所以在存储子问题的解时,只存储f[i-1]子问题的解便可。这样能够用两个一维数组解决,一个存储子问题,一个存储正在解决的子问题。this
再进一步思考,计算f[i][j]时只使用了f[i-1][0……j],没有使用f[i-1][j+1]这样的话,咱们先计算j的循环时,让j=M……1,只使用一个一维数组便可。spa
for i=1……N
for j=M……1
f[j]=max(f[j],f[j-weight[i]+value[i])
在看完01背包问题,再来看彻底背包问题:一个背包总容量为V,如今有N个物品,第i个 物品体积为weight[i],价值为value[i],每一个物品都有无限多件,如今往背包里面装东西,怎么装能使背包的内物品价值最大?
对比一下,看到的区别是,彻底背包问题中,物品有无限多件。往背包里面添加物品时,只要当前背包没装满,能够一直添加。那么状态转移方程为:
f[i+1][j]=max(f[i][j-k*weight[i+1]+k*value[i+1]),其中0<=k<=V/weight[i+1]
使用内存为一维数组,伪代码
for i=1……N
for j=1……M
f[j]=max(f[j],f[j-weight[i]+value[i])
和01背包问题惟一不一样的是j是从1到M。01背包问题是在前一个子问题(i-1种物品)的基础上来解决当前问题(i种物品),向i-1种物品时的背包添加第i种物品;而彻底背包问题是在解决当前问题(i种物品),向i种物品时的背包添加第i种物品。
代码以下: