首页 > 代码库 > Zeroonepack coming~^.^
Zeroonepack coming~^.^
今天抓的四道DP做完了==三道是用背包做的,突然想起来背包知识点总结还没做~反正时间还早。。把01背包和完全背包小结了吧~~福利来啦~~噶呜~
01背包:
基本思路:
01背包问题是最广为人知的动态规划问题之一,介绍01背包之前,先来看一个引例:
有N件物品和一个容量为V的背包。第i件物品的体积是c[i],价值是w[i]。求解将哪些物品装入背包可使价值总和最大。
这是最基础的背包问题,特点是:每件物品只有一件,选择放或者不放。
由以上的特点,我们可以写出状态转移方程:
f[i][v]=max{f[i-1][v],f[i-1][v-c[i]]+w[i]}
这个方程非常重要,基本上所有跟背包相关的问题的方程都是由它衍生出来的
如果不放第i件物品,那么问题就转化为“前i-1件物品放入容量为v的背包中”,
价值为f[i-1][v];
如果放第i件物品,那么问题就转化为“前i-1件物品放入剩下的容量为v-c[i]的背包中”,
此时能获得的最大价值就是f[i-1][v-c[i]]再加上通过放入第i件物品获得的价值w[i]。
优化空间复杂度:
以上方法的时间空间复杂度为O(VN);能优化到O(N);该思路如何实现呢?
主循环肯定是(1~N),如果用一个数组f[0~V]能不能保证第i次结束后f[v]中表示的就是我们定义的状态f[i][v]呢?
f[i][v]是由f[i-1][v],f[i-1][v-c[i]]两个子问题递推而来的,能否在推f[i][v]的时候也能够得到f[i-1][v],f[i-1][v-c[i]]的值呢?事实上,只要我们每次主循环中以v=V~0
的顺序推f[v],就能保证f[v]是f[v-c[i]]保存的是状态f[i-1][v-c[i]]的值。
伪码:
for i=1..N
for v=V..0
f[v]=max{f[v],f[v-c[i]]+w[i]};
为了方便使用,写出01背包的过程:
zreoonepack(cost,weight)//cost和weight分别表示这件物品的费用和价值
for v:V~cost
do f[v]=max(f[v],f[v-cost]+weight).
有了这个过程,01背包的伪码就写成啦:
for i:1~N
do zreoonepack(c[i],w[i]);
初始化细节问题:
在求最优解背包的问题中,要特别注意题目的问法~:是否要求恰好装满背包!!
如果是要求恰好装满背包,在初始化时除了f[0]=0外,其他f[1~V]均设为负无穷~~
若没有要求,初始化时只需要将f[0~v]全部设为0.
下面简述原因:
如果要求恰好装满背包,那么此时只有容量为0的背包可能被价值为0的nothing恰好装满,其他容量背包均无合法解。
一个常数优化:
for i=1..N
for v=V..0
do。。。
可以将这个循环的下限进行改进:由于只需要最后f[v]的值,倒推前一个物品,其实只需要知道f[v-w[n]]即可,所以代码可以改成
for i=1..N
do bound:max(V-sumw[i~n],c[i])
for v=V..to bound
do。。。
这么详细的讲解,小盆友们都会了吧?~噶呜~~