算法导论16.2-1

1. 问题描述
   证明：分数背包问题具有贪心选择性质。
2. 问题求解
   （本求解过程来源于对英文答案的翻译以及改编）
   ①贪心选择性质：
   全局最优解可由局部最优（贪心）选择实现。换句话说，当我们考虑如何做出当前问题看起来最好的选择，而不考虑子问题的结果。
   ②证明：
   假设$I$为分数背包问题的一个实例，$n$是商品的数量，$v_i$是$i^{th}$商品的价值，$w_i$是$i^{th}$商品的重量，$W$是背包的容量。假设商品已经按照$v_i/w_i$递增的顺序排列，并且$W\geq w_n$。令$S=\{s_1,s_2,...,s_n\}$为一个解，$s_i$代表$i^{th}$商品被拿走的重量。贪心算法指定$s_n=min(w_n,W)$，然后继续解决子问题$I^{'}=(n-1,\{v_1,v_2,...,v_{n-1}\},\{w_1,w_2,...,w_{n-1}\},W-w_n)$（也就是说问题规模上的变化）直到$W=0$或者$n=0$。
   我们需要证明该策略总会得到一个最优解。我们通过反证法证明。令问题$I$的最优解为$s_1,s_2,...,s_n$，假设该问题不具有贪心选择性质，也就是它的最优解不是由每次的贪心选择构成，那么就会有$s_n<min(w_n,W)$。设$i$是使得$s_i>0$成立的最小值。通过让$s_i$减小$max(0,W-w_n)$并让$s_n$增加相同的数量，我们可以得到一个更好的解。因此得到矛盾，假设不成立，$s_n$是等于$min(w_n,W)$的。因此原问题具有贪心选择性质。