• 【动态规划】—— 背包问题



    背包问题的分类


    01背包问题 

    输入样例

    1. 4 5
    2. 1 2
    3. 2 4
    4. 3 4
    5. 4 5

    输出样例:

    8

     在求选 第 i 个物品的状态转移方程的时候,我们可以取出 \small f[i-1,j-v[i]] 的最大值再加上 w[i]

    不选第 i 个物品的话,状态转移方程就是 \small f[i][j] = f[i - 1,j]  

    \small f[i,j]=max\begin{cases}f[i-1,j] & \\ f[i-1, j -V_i] +w_i &if(j\geqslant V_i) \end{cases}\small f[i] 


    1. #include <iostream>
    2. #include <cstring>
    3. using namespace std;
    4. const int N = 1010;
    5. int n, m;
    6. int v[N], w[N];
    7. int f[N][N];
    8. int main()
    9. {
    10. cin >> n >> m;
    11. for(int i = 1; i <= n; i ++ ) cin >> v[i] >> w[i];
    12. for(int i = 1; i <= n; i ++ )
    13. for(int j = 0; j <= m; j ++ )
    14. {
    15. f[i][j] = f[i - 1][j];
    16. if(j >= v[i]) f[i][j] = max(f[i][j], f[i - 1][j - v[i]] + w[i]);
    17. }
    18. cout << f[n][m] << endl;
    19. return 0;
    20. }

    从二维优化到一维 

    通过  DP 的状态转移方程,我们发现,每一阶段的 i 的状态只与上一阶段的 i-1 的状态有关。在这种情况下,可以使用称为“滚动数组”的优化方法,降低时间开销。 

    因为 \small f[j] = max(f[j], f[j - v[i]] + w[i]) 这里的 \small f[j - v[i]] 一定比 \small f[j] 更早计算出来,所以 \small f[j - v[i]] 计算得到的是第 i 层的,而在我们上述的 DP 方程中,所用的是第 i - 1 层的数据,所以如果是从小到大遍历体积的话,会出现 “数据污染” 的情况。所以体积的枚举要从大到小来枚举。

    一维优化代码实现

    1. #include <iostream>
    2. #include <cstring>
    3. using namespace std;
    4. const int N = 1010;
    5. int n, m;
    6. int v[N], w[N];
    7. int f[N];
    8. int main()
    9. {
    10. cin >> n >> m;
    11. for(int i = 1; i <= n; i ++ ) cin >> v[i] >> w[i];
    12. for(int i = 1; i <= n; i ++ )
    13. for(int j = m; j >= v[i]; j -- )
    14. {
    15. f[j] = max(f[j], f[j - v[i]] + w[i]);
    16. }
    17. cout << f[m] << endl;
    18. return 0;
    19. }

    完全背包问题

    输入样例

    1. 4 5
    2. 1 2
    3. 2 4
    4. 3 4
    5. 4 5

    输出样例:

    10

     

    对于朴素做法有: \small f[i,j]=f[i,j-k*v[i]]+k*w[i]  类比01背包问题

    代码实现

    1. #include <iostream>
    2. #include <algorithm>
    3. using namespace std;
    4. const int N = 1010;
    5. int n, m;
    6. int v[N], w[N];
    7. int f[N][N];
    8. int main()
    9. {
    10. cin >> n >> m;
    11. for(int i = 1; i <= n; i ++ ) cin >> v[i] >> w[i];
    12. for(int i = 1; i <= n; i ++ )
    13. for(int j = 0; j <= m; j ++ )
    14. for(int k = 0; k * v[i] <= j; k ++ )
    15. f[i][j] = max(f[i][j], f[i - 1][j - k * v[i]] + k * w[i]);
    16. cout << f[n][m] << endl;
    17. return 0;
    18. }

    通过比较下列等式可以发现:

    \small f[i,j] = max(f[i -1,j],f[i-1,j-v]+w,f[i-1,j-2v]+2w\cdots )

    \small f[i,j-v]=max( f[i-1,j-v],f[i-1],f[i-1,j-2v]+w,f[i-2,j-3v]+2w\cdots )

    得到:\large {\color{Red} f[i,j] = max(f[i - 1,j], f[i, j - v] + w)} 

    1. #include <iostream>
    2. #include <algorithm>
    3. using namespace std;
    4. const int N = 1010;
    5. int n, m;
    6. int v[N], w[N];
    7. int f[N][N];
    8. int main()
    9. {
    10. cin >> n >> m;
    11. for(int i = 1; i <= n; i ++ ) cin >> v[i] >> w[i];
    12. for(int i = 1; i <= n; i ++ )
    13. for(int j = 0; j <= m; j ++ )
    14. {
    15. f[i][j] = f[i - 1][j];
    16. if(j >= v[i]) f[i][j] = max(f[i][j], f[i][j - v[i]] + w[i]);
    17. }
    18. cout << f[n][m] << endl;
    19. return 0;
    20. }

    一维优化

    1. #include <iostream>
    2. #include <algorithm>
    3. using namespace std;
    4. const int N = 1010;
    5. int n, m;
    6. int v[N], w[N];
    7. int f[N];
    8. int main()
    9. {
    10. cin >> n >> m;
    11. for(int i = 1; i <= n; i ++ ) cin >> v[i] >> w[i];
    12. for(int i = 1; i <= n; i ++ )
    13. for(int j = v[i]; j <= m; j ++ )
    14. {
    15. f[j] = max(f[j], f[j - v[i]] + w[i]);
    16. }
    17. cout << f[m] << endl;
    18. return 0;
    19. }

    对比01背包完全背包问题,有以下差异 :

    01背包:f[i,j] = max(f[i,j], f[i - 1][j-v[i]] + w[i])

    完全背包:f[i,j]=max(f[i,j],f[i][j - v[i]+ w[i])

    对于完全背包来说,体积的枚举可以从 v[i] 枚举到 m,因为它每 i 层的更新使用的是第 i 层的数据不存在“数据污染”的问题


     多重背包问题

    输入样例

    1. 4 5
    2. 1 2 3
    3. 2 4 1
    4. 3 4 3
    5. 4 5 2

    输出样例:

    10

     

     f[i,j]=max(f[i-1][j-v[i] * k] + w[i] * k)


    朴素写法 

    1. #include <iostream>
    2. #include <algorithm>
    3. using namespace std;
    4. const int N = 110;
    5. int n, m;
    6. int v[N], w[N], s[N];
    7. int f[N][N];
    8. int main()
    9. {
    10. cin >> n >> m;
    11. for(int i = 1; i <= n; i ++ ) cin >> v[i] >> w[i] >> s[i];
    12. for(int i = 1; i <= n; i ++ )
    13. for(int j = 0; j <= m; j ++ )
    14. for(int k = 0; k <= s[i] && k * v[i] <= j; k ++ )
    15. f[i][j] = max(f[i][j], f[i - 1][j - v[i] * k] + w[i] * k);
    16. cout << f[n][m] << endl;
    17. return 0;
    18. }

    多重背包的二进制优化 

    众所周知,从 \small 2^0,2^1,2^2\cdots 2^{k-1} 这 k 个2的整数次幂中选出若干个相加,可以表示出 \small 0\sim 2^{k}-1 之间的任意整数。进一步的,我们求出满足 \small 2^0+2^1+2^2\cdots +2^p\leqslant C_i 的最大整数 p,设\small R_i=C_i - 2^0-2^1-\cdots 2^p 那么:

    1. 根据 p 的最大性,有 \small 2^0+2^1+2^2\cdots +2^{p+1}> C_i ,可推出 \small 2^{p+1}>R_i,因此 \small 2^0,2^1,2^2\cdots 2^{p} 选出若干个相加可以表示出 \small 0\sim R_i 之间的任意整数;
    2. 从 \small 2^0,2^1,2^2\cdots 2^{p+1} 中选出若干个相加,可以表示出 \small R_i\sim R_i+2^{p+1}-1 之间的任何整数,而根据 Ri 的定义, \small R_i+2^{p+1}-1=C_i,因此,\small 2^0,2^1,2^2\cdots 2^{p},R_i 选出若干个可以表示出\small R_i\sim C_i 之间的任意整数。

    综上所述,我们可以把数量为 \small C_i 的第 i 个物品拆成 p + 2个物品,他们的体积分别为:

            \small 2^0*V_i,2^1*V_i\cdots 2^p*V_i,R_i*V_i

    这 p + 2 个物品可以凑成 \small 0\sim C_i*V_i 之间所有能被Vi整除的数,并且不能凑成大于 Ci * Vi 的数。这等价于原问题中体积为 Vi 的物品可以使用 0~Ci 次。该方法仅将每种物品拆分成了 \small O(logC_i) 个,效率较高。

    代码实现

    1. #include <iostream>
    2. #include <algorithm>
    3. using namespace std;
    4. const int N = 25000, M = 2010;
    5. int n, m;
    6. int v[N], w[N];
    7. int f[N];
    8. int main()
    9. {
    10. cin >> n >> m;
    11. int cnt = 0;
    12. for(int i = 1; i <= n; i ++ )
    13. {
    14. int a, b, s;
    15. cin >> a >> b >> s;
    16. int k = 1;
    17. while(k <= s)
    18. {
    19. cnt ++ ;
    20. v[cnt] = a * k;
    21. w[cnt] = b * k;
    22. s -= k;
    23. k *= 2;
    24. }
    25. if(s > 0)
    26. {
    27. cnt ++;
    28. v[cnt] = a * s;
    29. w[cnt] = b * s;
    30. }
    31. }
    32. n = cnt;
    33. for(int i = 1; i <= n; i ++ )
    34. for(int j = m; j >= v[i]; j -- )
    35. f[j] = max(f[j], f[j - v[i]] + w[i]);
    36. cout << f[m] << endl;
    37. return 0;
    38. }

     分组背包问题

    输入样例

    1. 3 5
    2. 2
    3. 1 2
    4. 2 4
    5. 1
    6. 3 4
    7. 1
    8. 4 5

    输出样例:

    8


    AC代码 

    1. #include <iostream>
    2. #include <algorithm>
    3. using namespace std;
    4. const int N = 110;
    5. int n, m;
    6. int v[N][N], w[N][N], s[N];
    7. int f[N];
    8. int main()
    9. {
    10. cin >> n >> m;
    11. for(int i = 1; i <= n; i ++ )
    12. {
    13. cin >> s[i];
    14. for(int j = 0; j < s[i]; j ++ )
    15. cin >> v[i][j] >> w[i][j];
    16. }
    17. for(int i = 1; i <= n; i ++ )
    18. for(int j = m; j >= 0; j -- )
    19. for(int k = 0; k < s[i]; k ++ )
    20. if(v[i][k] <= j)
    21. f[j] = max(f[j], f[j - v[i][k]] + w[i][k]);
    22. cout << f[m] << endl;
    23. return 0;
    24. }
  • 相关阅读:
    极智开发 | CUDA线程模型与全局索引计算方式
    WPF控件4
    Node.js【Express 中间件(中间件的概念、Express 中间件的初体验、中间件的分类、自定义中间件)】
    keepalived 服务高可用(简约版)
    Java核心篇之JVM探秘:垃圾回收算法与垃圾收集器
    甲方不让用开源【监控软件】?大不了我自己写一个
    MASA Framework - DDD设计(2)
    计蒜客T1777 蜗牛爬行(C语言实现)
    【centos7中使用docker安装KLEE】
    ubuntu安装ffmpeg
  • 原文地址:https://blog.csdn.net/forever_bryant/article/details/125439654