0-1背包和完全背包问题辨析

/*
	Name: 0-1背包和完全背包问题辨析 
	Copyright: 
	Author: 巧若拙 
	Date: 26-07-17 20:39
	Description: 
0-1背包问题：在n种物品中选取若干件（同一种物品最多选一次）放在容量为c的背包里，分别用P[i]和W[i]存储第i种物品的价值和重量。
求解怎么装物品可使背包里物品总价值最大。
样例输入
4 12
2 3
5 7
6 8
10 12
样例输出
15
完全背包问题：在n种物品中选取若干件（同一种物品可多次选取）放在容量为c的背包里，分别用P[i]和W[i]存储第i种物品的价值和重量。
求解怎么装物品可使背包里物品总价值最大。
样例输入
4 12
2 3
5 7
6 8
10 12
样例输出
18

分析：0-1背包和完全背包问题的区别在于前者同一种物品最多选一次，而后者同一种物品可多次选取。
我们使用B[i][j]表示从前i件物品中选出若干件物品放在容量为j的背包中，所得的最大价值，可以得到二者的状态方程分别为： 
0-1背包问题：B[i][j] = B[i-1][j]，其中j < W[i]；或者B[i][j] = max(B[i-1][j], B[i-1][j-W[i]] + P[i])，其中j >= W[i]。 
完全背包问题：B[i][j] = B[i-1][j]，其中j < W[i]；或者B[i][j] = max(B[i-1][j], B[i][j-W[i]] + P[i])，其中j >= W[i]。
二者状态方程的区别在于：
0-1背包问题中，若取了1件第i个物品，则总容量变为j-W[i]，剩下的只能在前i-1件物品中去取了，其最大总价值为B[i-1][j-W[i]] + P[i]；
完全背包问题中，若取了1件第i个物品，则总容量变为j-W[i]，剩下的仍可以在前i件物品中去取，其最大总价值为B[i][j-W[i]] + P[i]；

我们再来分析二者的一维数组优化算法。
0-1背包问题：B[i][j] = max(B[i-1][j], B[i-1][j-W[i]] + P[i])，即第i行第j列的元素，由第i-1行的元素决定，且列坐标j大的元素由j小的元素决定，
若我们用一维数组F[j]代替B[i][j]，则只记录了列坐标，未记录行坐标，在同一行中，必须先求出列坐标较大的元素，再求列坐标小的元素，
这样先改变的是下标j较大的元素，且其不会影响j小的元素。故在内层循环中，应该让循环变量j的值从大到小递减。
完全背包问题：B[i][j] = max(B[i-1][j], B[i][j-W[i]] + P[i])，即第i行第j列的元素，可能是等于第i-1行第j列的元素，
也可能由第i行第j-W[i]列的元素决定，故必须先求出同一行中列坐标j较小的元素，用来计算j较大的元素。 
若我们用一维数组F[j]代替B[i][j]，则只记录了列坐标，未记录行坐标，在同一行中，必须先求出列坐标j较小的元素，再求j大的元素，
故在内层循环中，应该让循环变量j的值从小到大递增（与0-1背包问题刚好相反）。

总结：二者的状态方程很相似，区别在于B[i][j]是由上一行的较小列坐标决定，还是由同一行的较小列坐标决定，使用二维数组记录最优解时，
我们可以直接根据状态方程求B[i][j]，因为同时记录了元素的行坐标和列坐标值，故无论内层循环的循环变量j是递增还是递减，都不影响计算结果。
但是，若使用一维数组F[j]代替B[i][j]，则只记录了列坐标，未记录行坐标，需要考虑先改变列坐标j较大的元素还是j较小的元素。
在0-1背包问题中，须先求出列坐标j较大的元素，故让循环变量j的值从大到小递减；
而完全背包问题中，须先求出列坐标j较小的元素，故让循环变量j的值从小到大递增。 
*/
#include<iostream>
#include<cmath>

using namespace std;

const int MAXC = 12880; //背包最大容量 
const int MAXN = 3402; //物品的个数
int W[MAXN+1];//物品的重量 
int P[MAXN+1];//物品的价值 
int F1[MAXC+1]; //记录装入容量为c的背包的最大价值
int B1[MAXN+1][MAXC+1]; //备忘录，记录给定n个物品装入容量为c的背包的最大价值 
int F2[MAXC+1]; //记录装入容量为c的背包的最大价值
int B2[MAXN+1][MAXC+1]; //备忘录，记录给定n个物品装入容量为c的背包的最大价值 

int Best_1(int n, int c); //0-1背包问题：二维数组记录最优解 
int Best_2(int n, int c);//0-1背包问题：一维数组记录最优解
int Best_3(int n, int c);//完全背包问题：二维数组记录最优解
int Best_4(int n, int c);//完全背包问题：一维数组记录最优解

int main() 
{
	int n, c;
	cin >> n >> c;
	
	for (int i=1; i<=n; i++)//不计下标为0的元素 
	{
		cin >> W[i] >> P[i];
	}
	
	cout << Best_1(n, c) << endl;
	cout << Best_2(n, c) << endl;
	cout << Best_3(n, c) << endl;
	cout << Best_4(n, c) << endl;
	
	return 0;
}

int Best_1(int n, int c)//0-1背包问题：二维数组记录最优解 
{
	//记录前i(1<=i<n)个物品装入容量为0-c的背包的最大价值 
 	for (int i=1; i<n; i++)
	{
		for (int j=0; j<W[i]; j++)//背包容量不够，不能装下第i件物品 
		{
			B1[i][j] = B1[i-1][j];
		}
		for (int j=W[i]; j<=c; j++)//背包容量足够，可以选择装或不装第i件物品 
		{
			if (B1[i-1][j] < B1[i-1][j-W[i]] + P[i])
				B1[i][j] = B1[i-1][j-W[i]] + P[i];
		}
	}
	//因为第n个物品最多装一次，故只要容量够，未装满与装满的价值是一样的，即B1[n][c]==B1[n][j]，其中W[n]<=j<=c 
	//所以对第n个物品来说，只需考虑容量恰好为c的情况，这样可以减少计算量 
	if (c < W[n]) //如果容量不够
	{
		B1[n][c] = B1[n-1][c]; //先默认为不装第n个物品 
	}
	else 
	{
		B1[n][c] = max(B1[n-1][c], B1[n-1][c-W[n]]+P[n]);
	}
	
	return B1[n][c];
}

int Best_2(int n, int c)//0-1背包问题：一维数组记录最优解
{
	//为简化代码，没有把i==n的情形单独拿出来处理，若需要单独处理第n个物品，可参考Best_1()
 	for (int i=1; i<=n; i++)
	{//须先求出列坐标j较大的元素，故让循环变量j的值从大到小递减
		for (int j=c; j>=W[i]; j--)
		{//当(j < W[i] || F1[j] > F1[j-W[i]] + P[i])时，F1[j]的值不变
			if (F1[j] < F1[j-W[i]] + P[i])
				F1[j] = F1[j-W[i]] + P[i];
		}
	}
	
	return F1[c];
}

int Best_3(int n, int c)//完全背包问题：二维数组记录最优解
{
 	for (int i=1; i<=n; i++)
	{
		for (int j=1; j<W[i]; j++)//容量不够，则和给定i-1个物品装入容量为j的背包的结果一致 
		{
			B2[i][j] = B2[i-1][j];
		}
		for (int j=W[i]; j<=c; j++)
		{//B2[i][j-W[i]]表示给定i个物品装入容量为j-W[i]的背包，质量为W[i]的物品可能装了多个 
			B2[i][j] = max(B2[i-1][j], B2[i][j-W[i]] + P[i]);
		}
	}
	
	return B2[n][c];
}

int Best_4(int n, int c)//完全背包问题：一维数组记录最优解
{
 	for (int i=1; i<=n; i++)
	{//须先求出列坐标j较小的元素，故让循环变量j的值从小到大递增
		for (int j=W[i]; j<=c; j++)
		{//当(j < W[i] || F2[j] > F2[j-W[i]] + P[i])时，F2[j]的值不变
			if (F2[j] < F2[j-W[i]] + P[i])
				F2[j] = F2[j-W[i]] + P[i];
		}
	}
	
	return F2[c];
}