- 问题
0-1背包问题:
- 解析
思路:轻者先装,直到再装任何集装箱将使轮船载重量超过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