背包问题

+#背包问题

问题:

给定$n$种物品和一个背包, 物品$i$的重量是$w_i$ , 其价值为$v_i$ , 背包的容量为$C$。背包问题是如何选择装入背包的物品, 使得装入背包中物品的总价值最大? 如果在选择装入背包的物品时, 对每种物品$i$只有两种选择: 装入背包或不装入背包, 即不能将物品$i$装入背包多次, 也不能只装入物品$i$ 的一部分, 则称为$0/ 1$背包问题。

形式化:

约束条件：

$$\left\{ \begin{gather} \sum _{i=1}^{n} w_ix_i \le C\notag \\ x_i\in\{ 0,1\} \space (1\le i \le n)\notag \end{gather} \right.$$
求一个向量:
$$X=(x_1,x_2,x_3...,x_n)$$
使它满足:
$$max\sum_{i=1}^{n}v_ix_i$$

求解：

朴素方法:

遍历$X=(x_1,x_2,x_3...,x_n)$ 所有可能 时间复杂度 $O(2^n)$

动态规划:

• 最优子结构:
  $X'=(x_1,x_2，x_3...,x_{n-1})$是子问题:
  

  $$\left\{ \begin{gather} \sum _{i=1}^{n-1} w_ix_i \le C-w_nx_n\notag \\ x_i\in\{ 0,1\} \space (1\le i \le n-1)\notag \end{gather} \right.$$ 的最优解

  证明(反证法):
  假设:$X'=(x_1,x_2，x_3...,x_{n-1})$不是子问题的最优解
  $Y=(y_1,y_2，y_3...,y_{n-1})$ 是子问题的最优解
  则:
  

  $$\sum_{i=1}^{n-1}v_iy_i\ge\sum_{i=1}^{n-1}v_ix_i$$
  进而得到:
  $$\sum_{i=1}^{n-1}v_iy_i+v_nx_n\ge\sum_{i=1}^{n-1}v_ix_i+v_nx_n$$
  得出$X=(x_1,x_2,x_3...,x_n)$不是原问题的最优解，$X=(y_1,y_2,y_3...,x_n)$才是。
  与题设矛盾。

• 构造最优解:
  如何通过子问题构造最优解？
  假如我们有问题：
  

  $$\left\{ \begin{gather} \sum _{i=1}^{n} w_ix_i \le C\notag \\ x_i\in\{ 0,1\} \space (1\le i \le n)\notag \end{gather} \right.$$
  的最优解$X=(x_1,x_2,x_3...,x_{n})$

  它的子问题是:
  1.如果$x_n=0$:
  

  $$\left\{ \begin{gather} \sum _{i=1}^{n-1} w_ix_i \le C\notag \\ x_i\in\{ 0,1\} \space (1\le i \le n-1)\notag \end{gather} \right.$$
  2.如果$x_n=1$:
  $$\left\{ \begin{gather} \sum _{i=1}^{n-1} w_ix_i \le C-w_n\notag \\ x_i\in\{ 0,1\} \space (1\le i \le n-1)\notag \end{gather} \right.$$
  状态转移方程求解:
  设$dp[n,C]$是问题最优解
  则:
  $$dp[n,C]= \left\{\begin{gather} dp[n-1,C]\space\space(x_n=0) \\ dp[n-1,C-w_n]+v_n\space\space(x_n=1) \end{gather} \right.$$