0-1背包问题，Python

转自：https://www.kancloud.cn/kancloud/pack/70130
背包问题九讲

01背包问题：
每件物品只有一件
有N件物品和一个容量为V的背包。第i件物品的费用是c[i]，价值是w[i]。求解将哪些物品装入背包可使价值总和最大。
每件物品可以选择放或者不放

时间和空间复杂度均为O(VN)
f[i][v]表示前i件物品恰放入一个容量为v的背包可以获得的最大价值
状态转移方程：
f[i][v]=max{f[i-1][v],f[i-1][v-c[i]]+w[i]}

简化空间复杂度：
肯定是有一个主循环i=1…N，每次算出来二维数组f[i][0…V]的所有值。那么，如果只用一个数组f[0…V]，能不能保证第i次循环结束后f[v]中表示的就是我们定义的状态f[i][v]呢？
因为要保证第i次循环中的状态f[i][v]是由状态f[i-1][v-c[i]]递推而来。换句话说，这正是为了保证每件物品只选一次，保证在考虑“选入第i件物品”这件策略时，依据的是一个绝无已经选入第i件物品的子结果f[i-1][v-c[i]]。
因为是一维数组，滚动保存每个i循环时的f[v],如果正序推，当计算 f[i,v]时使用的f[i-1,v-c[i]]已经被f[i,v-c[i]]取代
伪代码：
for i=1…N
for v=V…0
f[v]=max{f[v],f[v-c[i]]+w[i]};
优化
背包总容量够放当前物体，遍历前一个状态考虑是否置换，这里的value[j]即为上一次最佳结果
for i=1…N
for v=V…c[i]#费用为cost的不会影响前面cost-1的值
f[v]=max{f[v],f[v-c[i]]+w[i]}

如果要求恰好装满背包，那么在初始化时除了f[0]为0其它f[1…V]均设为-∞，这样就可以保证最终得到的f[N]是一种恰好装满背包的最优解。
如果并没有要求必须把背包装满，而是只希望价格尽量大，初始化时应该将f[0…V]全部设为0。

完全背包问题：
物品有无限件，从每种物品的角度考虑，与它相关的策略已并非取或不取两种，而是有取0件、取1件、取2件……等很多种。
f[i][v]表示前i种物品恰放入一个容量为v的背包的最大权值
f[i][v]=max{f[i-1][v-kc[i]]+kw[i]|0<=k*c[i]<=v}
时间复杂度为O（n^{3），空间复杂度为O（n}2）。
f[i][v]=max{f[i-1][v],f[i][v-c[i]]+w[i]}

使用一维数组：
伪代码：
for i=1…N
for v=0…V
f[v]=max{f[v],f[v-cost]+weight}

完全背包的特点恰是每种物品可选无限件，所以在考虑“加选一件第i种物品”这种策略时，却正需要一个可能已选入第i种物品的子结果f[i][v-c[i]]，所以就可以并且必须采用v=0…V的顺序循环。

多重背包问题：
有N种物品和一个容量为V的背包。第i种物品最多有n[i]件可用，每件费用是c[i]，价值是w[i]。求解将哪些物品装入背包可使这些物品的费用总和不超过背包容量，且价值总和最大。
对于第i种物品有n[i]+1种策略：取0件，取1件……取n[i]件。令f[i][v]表示前i种物品恰放入一个容量为v的背包的最大权值
f[i][v]=max{f[i-1][v-kc[i]]+kw[i]|0<=k<=n[i]}

有依赖的背包问题：
这种背包问题的物品间存在某种“依赖”的关系。也就是说，i依赖于j，表示若选物品i，则必须选物品j。为了简化起见，我们先设没有某个物品既依赖于别的物品，又被别的物品所依赖；另外，没有某件物品同时依赖多件物品。
将不依赖于别的物品的物品称为“主件”，依赖于某主件的物品称为“附件”。由这个问题的简化条件可知所有的物品由若干主件和依赖于每个主件的一个附件集合组成。
可以转化为分组背包问题

分组背包问题:
有N件物品和一个容量为V的背包。第i件物品的费用是c[i]，价值是w[i]。这些物品被划分为若干组，每组中的物品互相冲突，最多选一件。求解将哪些物品装入背包可使这些物品的费用总和不超过背包容量，且价值总和最大。

f[k][v]表示前k组物品花费费用v能取得的最大权值，则有：
f[k][v]=max{f[k-1][v],f[k-1][v-c[i]]+w[i]|物品i属于组k}

“for v=V…0”这一层循环必须在“for 所有的i属于组k”之外。这样才能保证每一组内的物品最多只有一个会被添加到背包中。

逆序遍历：因为背包的思维是可用空间从大到小，求当前每个子状态的最优，如果顺序遍历，背包容量变大，之前遍历的子状态的最优结论就被推翻了
一维数组的伪代码：
for 所有的组k
for v=V…0
for 所有的i属于组k
f[v]=max{f[v],f[v-c[i]]+w[i]}

分组的背包问题将彼此互斥的若干物品称为一个组，这建立了一个很好的模型。不少背包问题的变形都可以转化为分组的背包问题（例如有依赖的背包问题）