装载（0-1背包）问题

1. 问题
   0-1背包问题：

2. 解析
   思路：轻者先装，直到再装任何集装箱将使轮船载重量超过C时停止。
   定理：对于任何正整数k，算法（轻者先装）对k个集装箱的实例得到最优解。
   证明：（数学归纳法）
   （1）k=1，只有1个集装箱，其重量小于C。任何装法都只有一种方式，因此都是最优解，因此轻者先装也是最优解。
   （2）归纳假设：假设算法对于规模为k的输入都能得到最优解。
   考虑规模为k+1的输入，N={1,2,…,k+1},W={w1,w2,…,wk+1}是集装箱重量，w1≤w2≤…≤wk+1。
   从N中拿掉最轻的集装箱，得到k规模的输入：
   N’=N-{1}={2,3,…,k+1}
   W’=W-{w1}
   C’=C-w1
   根据归纳假设，对于k个输入，N’、W’、C’的最优解为I’，即I’为N’，不含1的最优解（归纳假设得），令
   I=I’∪{1}
   那么I必然是N的最优解，这也是算法对于N，W，C的解。
   证明：I必然是N的最优解，采用反证法，即假设I不是N的最优解。
   （1）构建最优解I*（N，含1࿰