首页 > 其他 > 详细

背包问题

时间:2022-05-27 21:12:08      阅读:12      评论:0      收藏:0      [点我收藏+]

背包

问题:有n个物品,每个重量为vi,权值为wi,每个物品仅用一次,问在背包容量为W里能装的最大价值

01背包

核心特点:每件物品最多只能用一次
集合条件:

1.只从前i个物品中选
2.总体积\(\le\)V

属性:取Max

\(f_{i,j}\)据上面的假设,意义应该是在前i个物品,当前已选的物品的最大价值

\(f_{i,j}\)表示的所有选法分为两大类:

1.不选第i个物品
2.选第i个物品

计算:\(f_{i,j}\)

如果是第1类的话显然

\[f_{i,j}=f_{i-1,j} \]

第2类的话我们考虑:
\(f_{i,j}\)应该可以从上一个位置推过来
那么上一个位置的背包容量应该就是 j-v[i]

同时由于第i位的东西必须选
所以说这个位置的转移方程应该是

\[f_{i,j}=f_{i-1,j-v[i]}+w[i] \]

综上:我们要的应该是两个集合的最大值 所以说:

\[f_{i,j}=max(f_{i-1,j-v[i]}+w[i],f_{i-1,j}) \]

#include<iostream>
#include<cstdio>
using namespace std;
const int N=1e3+10;
int n,m;
int v[N],w[N],f[N][N];
int main(){
    ios::sync_with_stdio(false);
    cin>>n>>m;
    for(int i=1;i<=n;i++) cin>>v[i]>>w[i];
    for(int i=1;i<=n;i++){
        for(int j=0;j<=m;j++){
            f[i][j]=f[i-1][j];
            if(j>=v[i]) f[i][j]=max(f[i][j],f[i-1][j-v[i]]+w[i]);
        }
    }
    cout<<f[n][m];
    return 0;
}

此时我们还可以考虑到一个问题我们发现第i个物品一定是从上一个物品的某一个体积的背包里整过来的

那么我们就可以考虑空间的优化

\(f_{j}\)让它表示背包容量为j时的最大容积即可

那么我们看一下第二重循环

for(int j=0;j<=m;j++){
    f[i][j]=f[i-1][j];
    if(j>=v[i]) f[i][j]=max(f[i][j],f[i-1][j-v[i]]+w[i]);
}

这个我们直观考虑应该写成这样

for(int j=0;j<=m;j++){
    f[j]=[j];
    if(j>=v[i]) f[j]=max(f[j],f[j-v[i]]+w[i]);
}

首先我们看f[j]=f[j]显然是一句废话,删掉就行

\(f[j]\)的转移看着也没太大毛病

等等,还有点问题

首先,由于我们枚举的是体积,那么问题应该在于当j<v[i]时,这个转移显然时废掉了(j-v[i]此时显然小于0)
所以我们可以从v[i]开始枚举

其次,我们考虑一下,我们的第i种状态是不是都是从i-1转移而来的

所以我们的此时是不是也应该做到我们每次取max的两个数也要是上一重循环的数,而不能是这次已经覆盖过的,因此,我们要从m枚举到v[i]

综上所述:

代码:

#include<iostream>
#include<cstdio>
using namespace std;
const int N=1e4+10;
int n,m;
int v[N],w[N],f[N][N];
int main(){
    ios::sync_with_stdio(false);
    cin>>n>>m;
    for(int i=1;i<=n;i++) cin>>v[i]>>w[i];
    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]);
    cout<<f[m];
    return 0;
} 

完全背包

核心特点:每件物品可以装无限次

假设每一个物品背包装满时最多选k个

那么转移方程很显然

\[f_{i,j}=max(f_{i-1,j},f_{i-1,j-k*v[i]}+k*w[i]) \]

那么很容易得到朴素做法:

#include<iostream>
#include<cstdio>
using namespace std;
const int N=1e3+10;
int v[N],w[N],f[N][N];
int n,m;
int main(){
    ios::sync_with_stdio(false);
    cin>>n>>m;
    for(int i=1;i<=n;i++) cin>>v[i]>>w[i];
    for(int i=1;i<=n;i++){
        for(int j=0;j<=m;j++){
            for(int k=0;k*v[i]<=j;k++){
                f[i][j]=max(f[i][j],f[i-1][j - k * v[i]]+ k * w[i]);
            }
        }
    }
    cout<<f[n][m];
    return 0;
}

但是这样是三重循环预计连1000 1000的数据都过不了,考虑优化

我们可以把右边玩意们列出来:

\[f_{i,j}=max(f_{i-1,j},f_{i-1,j-v[i]*1}+w[i],f_{i-1,j-v[i]*2}+w[i]*2...) \]

然后我们再写一个式子

\[f_{i,j-v[i]}=max(f_{i-1,j-v[i]*1},f_{i-1,j-v[i]*2}+w[i]*1...) \]

观察相似之处,我们发现第一个的那个式子除了第一个以外,其余的显然都是等于\(f_{i,j-v[i]}+w[i]\)

所以原式就可以轻易的化为

\[f_{i,j}=max(f_{i,j},f_{i,j-v[i]}+w[i]) \]

瞬间干掉了k所在的那个循环

而且我们借用上一个题的那个思想,空间方面i的这一层显然也可以干掉

最终式子

\[f_{j}=max(f_{j},f_{j-v[i]}+w[i]) \]

而且关于最后一步和上一个题又不太一样我们发现这一次的每一个转移都是从第i个物品转移到第i个物品,所以我们枚举体积可以直接顺序枚举,不需要倒着来

#include<iostream>
#include<cstdio>
using namespace std;
const int N=1e3+10;
int v[N],w[N],f[N];
int n,m;
int main(){
    ios::sync_with_stdio(false);
    cin>>n>>m;
    for(int i=1;i<=n;i++) cin>>v[i]>>w[i];
    for(int i=1;i<=n;i++)
        for(int j=v[i];j<=m;j++)
            f[j]=max(f[j],f[j-v[i]]+w[i]);
    cout<<f[m];
    return 0;
}

多重背包

核心特点:每件物品最多有Si个

朴素做法的话和刚才的朴素写法一样

我们先把式子写出来

\[f_{i,j}=max(f_{i-1,j},f_{i-1,j-k*v[i]}+k*w[i]) \]

核心优化思想:二进制优化

前置知识,一个数一定可以用\(2^n\)的数拼凑出来

原因:1,2 可以凑出来1~3

13分别加上4就是17

同理也可以加上8

证毕(其实很显然啊喂

然后我们就可以将1,2,4,8,16,32,64,128,256,c……分别打包成一个区间

\(1+2+4……2^k+c=s\)\(2^k<c<2^k+1\)

然后很显然我们就可以把它转化成01背包问题了

分组背包

核心特点:有若干组,每组里面最多选一个物品(假如说有个瓜摊,选了生瓜蛋子就不能选熟瓜了

背包问题

原文:https://www.cnblogs.com/RevolutionBP/p/15345582.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!