装在问题 0-1背包

1. 问题
   [描述算法问题，首选形式化方式（数学语言），其次才是非形式化方式（日常语言）]

2. 解析
   [问题的理解和推导，可用电子版直接在此编写，也可用纸笔推导，拍照嵌入本文档]
   解析
   思路：轻者先装，直到再装任何集装箱将使轮船载重量超过 C 时停止。
   定理：对于任何正整数 k，算法（轻者先装）对 k 个集装箱的实例得到 最优解。
   证明：（数学归纳法） （1）k=1,只有 1 个集装箱，其重量小于 C。任何装法都只有一种方式， 因此都是最优解，因此轻者先装也是最优解。
   （2）归纳假设：假设算法对于规模为 k 的输入都能得到最优解。 考虑规模为 k+1 的输入， 是集装箱 重量， 。 从 N 中拿掉最轻的集装箱，得到 k 规模的输入： 根据归纳假设，对于 k 个输入，N’、W’、C’的最优解为 I’，即 I’为 N’，不含 1 的最优解（归纳假设得）， 令 那么 I 必然是 N 的最优解，这也是算法对于 N,W,C 的解。
   证明：I 必然是 N 的最优解，采用反证法，即假设 I 不是 N 的最优解。
   （1）构建最优解 I*（N，含 1）：假设 I 不是 N 的最优解。则必然存在 最优解 I*，如果 I中没有 1，用 1 替代 I中的第一个集装箱标号得到的解也是 最优解（个数不变，因