poj 3624 Charm Bracelet 01背包问题

题目链接：poj 3624

这是最基础的背包问题,特点是:每种物品仅有一件,可以选择放或不放。
用子问题定义状态:即F [i, v]表示前i件物品恰放入一个容量为v 的背包可以
获得的最大价值。则其状态转移方程便是:
F [i, v] = max{F [i − 1, v], F [i − 1, v − Ci ] + Wi }
这个方程非常重要,基本上所有跟背包相关的问题的方程都是由它衍生
出来的。所以有必要将它详细解释一下:“将前i件物品放入容量为v 的背包

中”这个子问题,若只考虑第i件物品的策略(放或不放),那么就可以转化
为一个只和前i − 1件物品相关的问题。如果不放第i件物品,那么问题就转化
为“前i − 1件物品放入容量为v 的背包中”,价值为F [i − 1, v];如果放第i件物
品,那么问题就转化为“前i − 1件物品放入剩下的容量为v − Ci 的背包中”,
此时能获得的最大价值就是F [i − 1, v − Ci ]再加上通过放入第i件物品获得的价
值 Wi 。
伪代码如下:
F [0, 0..V ] = 0
for i = 1 to N
for v = Ci to V
F [i, v] = max{F [i − 1, v], F [i − 1, v − Ci ] + Wi }

以上方法的时间和空间复杂度均为O(V N ),其中时间复杂度应该已经不能
再优化了,但空间复杂度却可以优化到O(V )。
先考虑上面讲的基本思路如何实现,肯定是有一个主循环i = 1..N ,每次
算出来二维数组F [i, 0..V ]的所有值。那么,如果只用一个数组F [0..V ],能不
能保证第i次循环结束后F [v]中表示的就是我们定义的状态F [i, v]呢?F [i, v]是
由F [i − 1, v]和F [i − 1, v − Ci ]两个子问题递推而来,能否保证在推F [i, v]时(也
即在第i次主循环中推F [v]时)能够取用F [i − 1, v]和F [i − 1, v − Ci ]的值呢?事
实上,这要求在每次主循环中我们以v = V..0的递减顺序计算F [v],这样才能保
证推F [v]时F [v − Ci ]保存的是状态F [i − 1, v − Ci] 的值。伪代码如下:
F [0..V ] = 0
for i = 1 to N
for v = V to Ci
F [v] = max{F [v], F [v − Ci ] + Wi }
其中的F [v] = max{F [v], F [v − Ci ] + Wi }一句,恰就对应于我们原来的转移方
程,因为现在的F [v − Ci ]就相当于原来的F [i − 1, v − Ci ]。如果将v 的循环顺序
从上面的逆序改成顺序的话,那么则成了F [i, v]由F [i, v − Ci ]推导得到,与本题
意不符。
代码：

#include<stdio.h>
#include<iostream>
#include<string.h>
#define N 3405
using namespace std;
int bag[12900];
int w
,d
;
int main(void)
{
int n,m;
cin>>n>>m;
for(int i=1;i<=n;i++)
cin>>w[i]>>d[i];
memset(bag,0,sizeof(bag));
for(int i=1;i<=n;i++)
for(int k=m;k>=w[i];k--)
{
if(bag[k-w[i]] + d[i] > bag[k])
bag[k] = bag[k - w[i]] + d[i];
}
cout<<bag[m]<<endl;
return 0;
}