装载问题（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’ U {1}
那么I必然是N的最优解，这也是算法对于N，W，C的解。
证明：Ⅰ必然是N的最优解，采用反证法，即假设Ⅰ不是N的最优解