【问题描述】0-1背包问题

小例子

给你一个背包，在你面前有许多物品，包括：一个最新款的苹果手机、一个相机、一个笔记本电脑、一个锅、一根金条、一台电视、一个空调……，你可以拿任意的东西，但必须都装到背包里，你会怎么拿才能使拿到的东西最值钱？

抽象例子

有N种物品，设第1个物品的重量是W₁，价值是V₁；第2个物品的重量是W₂，价值是V₂；……第n个物品的重量是W_n，价值是V_n。背包的容量为C。

我们的目标：

• 所挑选的物品的重量和不能超过C
• 所挑选的物品价值和最大

数学描述

给定n种物品和一个背包。物品i的重量是W_i，价值是V_i，背包容量为C
$C>0，w_i>0，v_i>0，1⩽i⩽n$
$求(x_1,x_2,...,x_n)，x_i=0或1$

• ${\sum }_{i=1}^n{w}_i{x}_i⩽C$
• $max{\sum }_{i=1}^n{v}_i{x}_i$

性质

最优子结构性质

$设(a_1,a_2,\dots \dots ,a_n)是最优解，则把第一个物品去掉的子问题的最优解是(a_2,\dots \dots ,a_n)$

这里解释一下什么是“把第一个物品去掉的子问题”：
有N-1种物品，设第1个物品的重量是W₂，价值是V₂；第2个物品的重量是W₃，价值是V₃；……第n-1个物品的重量是W_n，价值是V_n。
如果原问题的最优解中，拿了第一个物品（a₁=1），则该子问题的背包容量为C-W₁；没拿（a₁=0），该子问题的背包容量为C。总之，该子问题的背包容量为C-W₁*a₁。

使用反证法证明
$假设把a_1去掉的子问题的最优解不是(a_2,\dots \dots ,a_n)，而是(b_2,\dots \dots ,b_n)$
$此时：{\sum }_{i=2}^n{v}_i{b}_i>{\sum }_{i=2}^n{v}_i{a}_i\Rightarrow v_1{a}_1+{\sum }_{i=2}^n{v}_i{b}_i>{\sum }_{i=1}^n{v}_i{a}_i$
$而且：{\sum }_{i=2}^n{w}_i{b}_i⩽C-w_1{a}_1\Rightarrow w_1{a}_1+{\sum }_{i=2}^n{w}_i{b}_i⩽C$
$所以：{\sum }_{i=1}^n{v}_i{a}_i已不是最大值，即(a_1,a_2,\dots \dots ,a_n)不是最优解。最优解变成了(a_1,b_2,\dots \dots ,b_n)$
$与前提矛盾，故子问题的最优解是(a_2,\dots \dots ,a_n)$