装载问题（0-1背包问题）

问题

整数规划问题，0-1 背包问题

解析

思路：轻者先装，直到再装任何集装箱将使轮船载重量超过 C 时停止。
定理：对于任何正整数 k，算法（轻者先装）对 k 个集装箱的实例得到最优解。

证明: ( 数学归纳法)
(1) k=1,只有1个集装箱，其重量小于C。 任何装法都只有一种方式，因此都是最优解，因此轻者先装也是最优解。
(2)归纳假设:假设算法对于规模为 k的输入都能得到最优解。 考虑规模为k+1的输入，N= {i,2…,k+1},w.={w1,w2,w3…wk+1} …是集装箱 重量, w1≤w2≤…≤wk+1。
从N中拿掉最轻的集装箱，得到k规模的输入:
N’=N-{1}= {23…+1}
W’=W- {w}
C’=C-w
根据归纳假设，对于k个输入，N’、W’、C’的最优解为I’，即
I’为N’,不含1的最优解(归纳假设得) ，
令 I=I∪{}
那么I必然是N的最优解，这也是算法对于N,W,C的解。

证明: I 必然是N的最优解，采用反证法，即假设I不是N的最优解。
(1)构建最优解I* (N,含1) :假设I不是N的最优解。则必然存在
最优解I*，