背包问题之多重背包

荔枝还冷静

已于 2023-11-28 18:47:25 修改

阅读量39

点赞数 1

分类专栏：常见背包问题模板文章标签：算法 c++ leetcode 动态规划

于 2023-11-18 20:43:52 首次发布

本文链接：https://blog.csdn.net/2301_79178851/article/details/134483379

版权

常见背包问题模板专栏收录该内容

4 篇文章 0 订阅

订阅专栏

多重背包

不难发现`多重背包`与`完全背包`的区别仅在于多重背包中每个物品的数量有限。

`朴素做法`：直接拿完全背包的代码，只加了一个判断条件`k<=s[i]`限制一下`就算背包还能放下但物品数量有限`的情况就行

#include<iostream>
#include<algorithm>
using namespace std;
const int N=110;
int v[N],w[N],s[N];
int n,m;
int f[N][N];
int main()
{
    cin>>n>>m;
    for(int i=1;i<=n;i++) cin>>v[i]>>w[i]>>s[i];
    for(int i=1;i<=n;i++){
        for(int j=1;j<=m;j++){
            for(int k=0;k*v[i]<=j&&k<=s[i];k++){
                f[i][j]=max(f[i][j],f[i-1][j-k*v[i]]+k*w[i]);
            }
        }
    }
    cout<<f[n][m];
    return 0;
}

那么能否使用类似完全背包的优化方式进行`恒等变换`呢? 答案是不能！

在这里插入图片描述

显然，按照完全背包的优化思路我们不难得出上图，但由于末尾多了一个式子导致我们无法进行完美的恒等变换，因为取最大值函数是非线性的，多一个式子少一个式子，得到的值可能天差地别，自然无法进行恒等变换了。

我们再浅析一下为什么会多出一项这个问题的本质：因为有限和无限其实是相对于背包的容量来讲的。

假设物品足够多背包容量有限，放`i`物品数目最终一定会达到背包的上限，假设此时放了`k`个，也就是说这个`k`其实是限死了，不论是`f(i,j)`还是`f(i,j-v)`最终都会到达`f(i,j-k*v)`这个背包的上限，而非物品的上限，背包的上限是一致的。

但是如果某个物品的数量小于背包容量，就会出现`f(i,j-(k+1)v)+kw`的情况。`千万别看f(i,j)和f(i,j-v)貌似是后者多放了一个物品，所以物品总数应该比前面一个少1，最终推导出来可以等量代换`，而对这个概念的模糊就是问题的关键。`j-v`只是表示此刻背包的体积罢了，与是否放物品并无关系，所以在背包足够大的情况下`f(i,j-v)`也能放下`k`个物品，也就是`f(i,j-(k+1)v)+kw`。

最终结论是这种优化走不通，那我们再回顾一下朴素代码，外面两层循环差不多是背包问题的套路，少不了的，但最内层循环暴力枚举`s[i]个物品可能拿几个`这件事可以通过`二进制`来优化。

二进制优化

总所周知，一个字节8位，可以表示0~255这个范围。而255=2^0+2^1+2^2+...+2^7，其实这就是8位上每一位都取1的结果。也就是8位上取1的不同的组合能构成0~2^(k+1)-1范围内的所有数。这种组合问题恰好撞01背包上了。

那么我们能否`将多重背包化成01背包`来做呢？答案是可以的！

假设第i个物品s[i]=7，我们将其拆分、打包分成3个小物品，s[i1]=2^0,s[i2]=2^1,s[i3]=2^2。而这3个物品的任意选取组合刚好能覆盖0~7的所有取法。也就是说我不论在多重背包中的s[i]这里选取了多少个，都可以通过这3个拆分的子物品的选取，组合出你选的这个数据。如果我们将完全背包中的所有物品都这样拆分打包成小的子物品，然后对所有子物品做一遍01背包不就对了嘛~

时间复杂度从`NVM`降低到了`NlogMV`，最后一层对s[i]的遍历直接没了，但是N个物品变成了N*logM个了，因为我们是按二进制拆分的。

如果第i个物品s[i]=200呢？还是按照一样的思路，先按2的次幂拆，能拆几个是几个，比如2^0+2^1+...+2^6=2^7-1=127也就是说，前面六个子物体全部选上，都只能至多凑到127，比200还要小呢。但是如果再打包一个出来2^0+2^1+...+2^6+2^7=2^8-1=255。也就是说我要是把打包出来的物品全选了，物品总数超过了200，而实际第i个物品只有200个，不合常理。最简单的办法就是将剩下不能构成2的次幂的物品单独打包成一个即200-127=73。最后一组只有73个i物品。

也就是说，我最终将`200`个`i`物品拆分打包成了，`1,2,4,8,16,32,64,73`这`8个子物品`，每一个物品都是单独存在的，但是在01背包中，对他们的不同选择，即构成了0~200的所有可能的数字。

8个物品的所有组合，构成了0~200的所有可能，将本来200次的遍历，变成了最单纯的求组合问题，直接上01背包。

#include <iostream>
#include <algorithm>

using namespace std;

const int N = 12010, M = 2010;

int n, m;
int v[N], w[N];
int f[M];

int main()
{
    cin >> n >> m;

    int cnt = 0;
    for (int i = 1; i <= n; i ++ )
    {
        int a, b, s;
        cin >> a >> b >> s;
        int k = 1;
        while (k <= s)
        {
            cnt ++ ;
            v[cnt] = a * k;
            w[cnt] = b * k;
            s -= k;
            k *= 2;
        }
        if (s > 0)
        {
            cnt ++ ;
            v[cnt] = a * s;
            w[cnt] = b * s;
        }
    }

    n = cnt;

    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] << endl;

    return 0;
}