01背包中的一些疑点解释

01背包中的一些疑点解释

1.二维数组的01背包代码及初始化问题

以下代码皆有所省略。

第一种：

//f数组的初值为0
for(int i = 1; i <= n; i++)
{
	for(int j = 0; j <= m; j++)
		if(j < v[i])
			f[i][j] = f[i-1][j];
		else f[i][j] = max(f[i-1][j], f[i-1][j-v[i]] + w[i]);
}
printf("%d\n", f[m][n]);//m是体积，n是物品个数

第二种：

//f数组的初值为负无穷
memset(f, 0xcf, sizeof(f));
f[0][0] = 0;
for(int i = 1;i <= n; i++)
{
	for(int j = 0; j <= m; j++)
		if(j < v[i])
			f[i][j] = f[i-1][j];
		else f[i][j] = max(f[i-1][j], f[i-1][j-v[i]] + w[i]);
}
int ans = 0;
for(int j = 0; j <= m; j++)
{
	ans = max(ans, f[n][j]);
}
	printf("%d\n", ans);//m是体积，n是物品个数

在第一种方法中，$f[i][j]$表示从前 $i$ 个物品中选出总体积不大于 $j$ 的物品所取得的最大价值。
在第二种方法中，$f[i][j]$表示从前 $i$ 个物品中选出总体积恰巧为 $j$ 的物品所取得的最大价值。

产生区别的原因是初始化的问题。

在第一种方法中，看当 $i=1$ 时，$j<v[1]$时，$f[i][j]$的值为0，当$j>=v[1]$时，$f[i][j]$的值则为$w[1]$。即$f[1][j>=v[i]]$存放的是$w[i]$。在这里就是存的是总体积不大于j的最大值了。然后之后的状态转移方程同理。

在第二种方法中，因为初始值为负无穷，所以负无穷加上一个$w[i]$还是负无穷，就算更新了结果，还是负的，没法跟正的比。能对结果造成影响的都是从$f[0][0]$更新过来的，要求体积值是一个或几个物品的和。

2.一维数组的01背包代码及倒序问题

第一种：

//f数组的初值为0
for(int i = 1; i <= n; i++)
	for(int j = m; j >= v[i]; j--)
		f[j] = max(f[j], f[j-v[i]] + w[i]);
printf("%d\n", f[m]);

第二种：

//f数组的初值为负无穷
memset(f, 0xcf, sizeof(f));
f[0] = 0;
for(int i = 1; i <= n; i++)
	for(int j = m; j >= v[i]; j--)
		f[j] = max(f[j], f[j-v[i]] + w[i]);
int ans = 0;
for(int j = 0; j <= m; j++)
	ans = max(ans, f[j]);
printf("%d\n", ans);

二维数组的初始化与一维数组的类似，在这里不做过多赘述。

这里只讲解为什么倒序遍历。

因为这是01背包，每件物品只有一件，如果正序的话，这个体积的值可能被这个物品更新了，然后比这个体积大的一个体积可能会恰好用到了这个体积的值和这个物品的值来更新自己的值，这样的话就使用了两次物品，以此类推，这个物品可能会被多次使用。而如果我们用倒序的话，每次更新当前体积所用到的比这个体积小的值，都是还未更新的状态，而且也保证了在这一轮循环中，这个体积更新完之后是不会在使用了。

为什么倒序讲解的比较简单，因为网上有很多大佬讲的特别详细，可以去看看他们的博客。^_^