0-1 背包问题 详细解析

给定 n 种物品和一背包。物品 i 的重量是 w_i，价值是v_i，背包的容量为c。

问应该如何选择装入背包中的物品，使得装入背包中物品的总价值最大。

对于每种物品 i 只有两种选择，装入或者不装入。

使用 m( x, y ) 表示最优解，该表达式的含义是：
背包容量为 y 的时候，可以选择的物品有 1 ， 2， 3 … x-1，x。

对于 m( i, j )，有两种选择情况，加入 i 以及忽略 i，这样就可以跟子问题 m( i-1, j )联系起来。
可以得出状态方程：

w[i]表示i号物品的重量
v[i]表示i号物品的价值


0 <= j < w[i]时，当前的背包容量小于 w[i]，i 号物品肯定不能加入:
m(i, j) = m(i-1, j)


j >= w[i]时，当前背包的容量大于 w[i]，i 号物品可以放入：
这时需要做一次判断
加入 i 号物品时，背包剩余的容量为 j-w[i]，价值为 m(i-1, j-w[i]) + v[i]
不加 i 号物品时，价值为 m(i-1, j)
需要判断两种选择的大小，取最大值
m(i, j) = max { m(i-1, j),  m(i-1, j-w[i]) + v[i] }

举个例子

背包容量：4

物品号码	0	1	2
物品重量	1	2	2
物品价值	5	4	7

行代表背包容量

列代表物品号码

	0	1	2	3	4
0	0	5	5	5	5

第一行 i = 0
w[0] = 1，v[0] = 5
对于m[0][j]，表示当背包容量为 j 时，可以放的只有 0 号物品，需要特殊处理

当 j >=1 时，j >= w[0]，表示可以存放 0 号物品

	0	1	2	3	4
0	0	5	5	5	5
1	0	5	5	9	9

第二行 i = 1
w[0] = 1，v[0] = 5
w[1] = 2, v[1] = 4
对于m[1][j]，表示当背包容量为 j 时，可以放的只有 0、1 号物品，可以使用子问题进行解决

j = 0，存放不了任何一个物品

j = 1，0 <= j < w[1]，m[1][1] = m[i-1][j] = m[0][1] = 5

//绿色
j = 2，j >= w[1]，表明此时可以放入 1 号物品，要不要放入 1 号物品需要通过判断：
		假如放入 1 号物品，那么背包的剩余容量为 j-w[i] = 0，价值 m[i-1][j-w[i]] + v[i] = m[0][0] + v[1] = 4
				m[0][0]表示放入 1 号物品时，剩余 0 空间放 0 号物品
				如果是m[0][1]，表示放入 1 号物品后，剩余 1 空间放 0 号物品
				如果是m[0][2]，表示放入 1 号物品后，剩余 2 空间放 0 号物品
		假如不放 1 号物品，价值 m[i-1][j] = m[0][2] = 5
		显然，当背包容量为 2，只存放 0 号物品价值更高，m[1][2] = 5

//紫色		
 j = 3，j >= w[1]，表明此时可以放入 1 号物品，要不要放入 1 号物品需要通过判断：
 		假如放入 1 号物品，那么背包的剩余容量为 j-w[i] = 1，价值 m[i-1][j-w[i]] + v[i] = m[0][1] + v[1] = 9
 				m[0][1]，表示放入 1 号物品后，剩余 1 空间放 0 号物品
 		假如不放 1 号物品，价值 m[i-1][j] = m[0][3] = 5
 		m[1][3] = 9
 
 j = 4 类似

	0	1	2	3	4
0	0	5	5	5	5
1	0	5	5	9	9
2	0	5	7	12	12

第三行 i = 2
w[0] = 1，v[0] = 5
w[1] = 2，v[1] = 4
w[2] = 2，v[2] = 7
对于m[2][j]，表示当背包容量为 j 时，可以放的只有 0、1 、2 号物品，可以使用子问题进行解决

j = 0，存放不了任何物品

j = 1，0 <= j < w[2]，m[2][1] = m[i-1][j] = m[1][1] = 5

j = 2，j >= w[2]，表明此时可以放入 2 号物品，要不要放入 2 号物品需要通过判断：
		假如放入 2 号物品，那么背包的剩余容量为 j-w[2] = 0，价值 m[i-1][j-w[i]] + v[2] = m[1][0] + v[2] = 7
				m[1][0]表示放入 2 号物品时，剩余 0 空间放 1 号物品
		假如不放 2 号物品，价值 m[i-1][j] = m[1][2] = 5
		m[2][2] = 7

j = 3，j >= w[2]，表明此时可以放入 2 号物品，要不要放入 2 号物品需要通过判断：
		假如放入 2 号物品，那么背包的剩余容量为 j-w[2] = 1，价值 m[i-1][j-w[i]] + v[2] = m[1][1] + v[2] = 12
				m[1][1]表示放入 2 号物品时，剩余 1 空间放 1 号物品
		假如不放 2 号物品，价值 m[i-1][j] = m[1][3] = 9
		m[2][3] = 12

j = 4，j >= w[2]，表明此时可以放入 2 号物品，要不要放入 2 号物品需要通过判断：
		假如放入 2 号物品，那么背包的剩余容量为 j-w[2] = 2，价值 m[i-1][j-w[i]] + v[2] = m[1][2] + v[2] = 12
				m[1][2]表示放入 2 号物品时，剩余 2 空间放 1 号物品
		假如不放 2 号物品，价值 m[i-1][j] = m[1][4] = 9
		m[2][4] = 12

代码如下

#include<iostream>
#include<algorithm>
using namespace std;

int main1()
{
	int n = 3;	//物品总数
	int c = 4;	//背包容量
	int w[3] = { 1,2,2 };	//物品重量
	int v[3] = { 5,4,7 };   //物品价值
	int m[3][5];
	
	for (int j = 0; j <= c; j++)	//第一行初始
	{
		m[0][j] = j >= w[0] ? v[0] : 0;
	}
	for (int i = 1; i < n; i++)
	{
		for (int j = 0; j <= c; j++)
		{
			m[i][j] = j >= w[i] ? max(m[i - 1][j], m[i - 1][j - w[i]] + v[i]) : m[i - 1][j];
		}
	}

	cout << "Result is " << m[2][4];
	return 0;
}

如何跟踪被选择的物品

	0	1	2	3	4
0	0	5	5	5	5
1	0	5	5	9	9
2	0	5	7	12	12

w[0] = 1，v[0] = 5
w[1] = 2，v[1] = 4
w[2] = 2，v[2] = 7

从最后一个元素开始：
	若  m[i][j] 的值与 m[i-1][j] 的值不相等，那么 i 号物品被选中，跳转到 m[i-1][c-j]
	若  m[i][j] 的值与 m[i-1][j] 的值相等，那么 i 号物品未选中，跳转到 m[i-1][j]
	跳转到第一行的时候，无法继续向上跳转，判定 0 号物品是否选中只需要看 m[0][j]是否为 0，不为 0 则选中
	
m[2][4] != m[1][4]，说明 2 号物品被选中，总容量减 c - w[2] = 4 - 2 = 2，跳转到 m[1][2]
m[1][2] == m[0][2]，说明 1 号物品未选中，跳转到 m[0][2]
m[0][2]不为 0，选中