这篇文章为你提供什么?
我会从零开始推导0-1背包问题,包括0-1背包的子问题划分、最优子结构的证明、状态转移方程、优化空间复杂度以及0-1背包模板。总之0-1背包的一切都在这了。
0-1背包问题描述
给定n种物品和一个背包。物品i的重量是 Wi,其价值为 Vi,背包的容量为 C,问应如何选择装入背包的物品,使得装入背包中物品的总价值最大?在选择装入背包的物品时,对每种物品 i 只有两种选择,即装入背包或不装入背包。不能将物品装入背包多次,也不能只装入部分的物品,因此称之为0-1背包问题。
简单的表示就是出来就是这样一个最优化问题
其中的xi代表第i个物品取1或0个,也就是要么拿第i个物品,要么不拿第i个物品。对于拿走的物品有个约束就是总重量不可以超过背包的容量C。而最终的结果就是求一个01序列[X1, X2, X3 … Xn]和能拿到的最大价值。
子问题划分
对于这样的大问题我们几乎无法下手,所以可以考虑将大问题划分为小问题(子问题)。减一策略是经常使用的划分策略(一大类动态规划问题都是这个思路)。顾名思义,“减一”就是从大问题中减去一个,形成子问题。在背包问题中,大问题是[X1, X2, … Xn-1, Xn],减去一个就是[X1, X2, … Xn-1],对应的描述就是