01背包问题:Charm Bracelet (POJ 3624)(外加一个常数的优化)

Charm Bracelet    POJ 3624

就是一道典型的01背包问题:

 #include<iostream>
#include<stdio.h>
#include<algorithm>
#include<string.h>
using namespace std;
int a[],b[];
int c[];
int main()
{
int n,m,i,j;
while(scanf("%d%d",&n,&m)!=EOF)
{
for(i=;i<=n;i++)
scanf("%d%d",&a[i],&b[i]);
memset(c,,sizeof(c));
for(i=;i<=n;i++)
for(j=m;j>=a[i];j--)
if(c[j]<c[j-a[i]]+b[i])
c[j]=c[j-a[i]]+b[i];
printf("%d\n",c[m]);
}
return ;
}

还有一种方法,使用一个简单的技巧:滚动数组(DP中常用的:优化内存)

1.4初始化的细节问题
我们看到的求最优解的背包问题题目中,事实上有两种不太相同的问法。有的题目要求“恰好装满背包”时的最优解,有的题目则并没有要求必须把背包装满。一种区别这两种问法的实现方法是在初始化的时候有所不同。
如果是第一种问法,要求恰好装满背包,那么在初始化时除了F[0]为0,其它F[1..V]均设为−∞,这样就可以保证最终得到的F[V]是一种恰好装满背包的最优解。
如果并没有要求必须把背包装满,而是只希望价格尽量大,初始化时应该将F[0..V]全部设为0。
这是为什么呢?可以这样理解:初始化的F数组事实上就是在没有任何物品可以放入背包时的合法状态。如果要求背包恰好装满,那么此时只有容量为0的背包可以在什么也不装且价值为0的情况下被“恰好装满”,其它容量的背包均没有合法的解,属于未定义的状态,应该被赋值为-∞了。如果背包并非必须被装满,那么任何容量的背包都有一个合法解“什么都不装”,这个解的价值为0,所以初始时状态的值也就全部为0了。
这个小技巧完全可以推广到其它类型的背包问题,后面不再对进行状态转移之前的初始化进行讲解。(这个理解较易)
1.5一个常数优化
上面伪代码中的
fori←1toN
forv←VtoCi

中第二重循环的下限可以改进。它可以被优化为
fori←1toN
forv←Vtomax(V−ΣNiWi,Ci)
这个优化之所以成立的原因请读者自己思考。(提示:使用二维的转移方程思考较易。)

这个较容易理解:

那个常数优化不错,之可惜他打错了(有点怀疑)

由于只需要最后f[v]的值,倒推前一个物品,其实只要知道f[v-w[n]]即可。以此类推,对以第j个背包,其实只需要知道到f[v-sum{w[j..n]}]即可,即代码中的

for i=1..N
for v=V..0

可以改成

for i=1..n
bound=max{V-sum{c[i..n]},c[i]}
for v=V..bound

 #include<iostream>
#include<stdio.h>
#include<algorithm>
#include<string.h>
using namespace std;
int a[],b[];
int c[];
int sum[],sb;
int main()
{
int n,m,i,j;
while(scanf("%d%d",&n,&m)!=EOF)
{
for(i=;i<=n;i++)
scanf("%d%d",&a[i],&b[i]);
sum[n]=a[n];
for(i=n-;i>=;i--)
sum[i]=a[i]+sum[i+1];
memset(c,,sizeof(c));
for(i=;i<=n;i++)
for(j=m,sb=max(m-sum[i],a[i]);j>=sb;j--)
if(c[j]<c[j-a[i]]+b[i])
c[j]=c[j-a[i]]+b[i];
printf("%d\n",c[m]);
}
return ;
}
01背包问题:Charm Bracelet (POJ 3624)(外加一个常数的优化)
上一篇:Tomcat的四种基于HTTP协议的Connector性能比较


下一篇:ASP.NET MVC分页 Ajax+JsRender