DP学习,01背包问题和完全背包问题

本文介绍了01背包和完全背包问题的动态规划解决方案。通过状态表示和状态转移方程详细解析了如何求解物品总体积不超过背包容积时的最大价值。对于01背包,状态转移方程为f[i][j]=max(f[i-1][j], f[i-1][j-v[i]]+w[i]);完全背包问题中,状态转移方程变为f[i][j]=max(f[i-1][j], f[i][j-v[i]]+w[i])。通过滚动数组优化,降低了时间复杂度。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

学习自acwing

01背包问题

问题描述

有N件物品,每件物品只能使用一次。

每件物品有体积Vi,价值Wi。

有容量是V的背包,求物品总体积不超过背包容积的最大价值。

解题思路

DP

状态表示:f[i][j]表示从前 i 个物品中选,总体积不超过 j 的方案中,价值最大的

也就是前i个物品中选,总体积不超过j的方案的最大价值。

**状态计算:**从最后一位开始思考和划分。这里划分2种情况,划分的依据是不重不漏。

image-20210401225329605
  1. 不选择第i个物品,那么前i-1个物品的价值仍然不变。

f[i-1][j]

  1. 选择第i个物品,那么第i个物品为必选,前i-1个物品的情况是已是最优情况。

f[i-1][j-v[i]]+w[i]

示意图如下:

image-20210402000456073

  • f[i][j]就是上面两种情况求个max,就是取这两种情况下价值大的价值作为该状态的值。

代码:f[i][j] = f[i-1][j] + f[i-1][j-v[i]]+w[i]

注意:如果背包容量不够放下第i个物品,那么当前状态不变

f[i][j] = f[i-1][j]

**初始化:**前0个物品中,总体积不超过0~背包体积m的最大价值为0。

f[0][0~m] = 0

实际上无需做操作,因为全局变量的默认值就是0。

完整思路图

image-20210402000636090

完整代码:

朴素写法:

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;

const int N = 1005;
int v[N],w[N];	//物品的体积和价值
int f[N][N];	//状态转移方程,f[i][j]表示从前i个物品中选,总体积不超过j的最大价值 

int main() {
	int n,m;	//背包数量和容积
	cin >> n >> m;
	for(int i = 1; i <= n; i++)	//注意从1~n 
		scanf("%d%d",&v[i],&w[i]);
	//f[0][0~m]=0为初始状态,默认为0 
	for(int i = 1; i <= n; i++) {	//注意要包括n 
		for(int j = 0; j <= m; j++) {	//注意要包括m 
			if(j < v[i]) 	//装不下第i个物品
				f[i][j] = f[i-1][j]; 
			else
				f[i][j] = max(f[i-1][j],f[i-1][j-v[i]]+w[i]);
		}
	}
	cout << f[n][m] << endl;	//n个物品中选,总体积不超过m的最大价值 
}

利用滚动数组思想,转换成一维的做法。这样时间复杂度更低。

转换的方法就是,直接删掉一维,然后思考一下是不是等价的,再进行一些修改。

#include <iostream>
#include <algorithm>
using namespace std;

const int N = 1010;

int n, m;   //物品数量、背包容积
int f[N];   //总体积<=j的最大价值

int main() {
    cin >> n >> m;
    for (int i = 0; i < n; i++) {
        int v, w;   //物品的体积、价值
        cin >> v >> w;
        for (int j = m; j >= v; j--) {
            f[j] = max(f[j], f[j - v] + w);
        }
    }
    cout << f[m] << endl;
    return 0;
}

完全背包问题

问题描述

有N件物品,每件物品能无限使用。

每件物品有体积Vi,价值Wi。

有容量是V的背包,求物品总体积不超过背包容积的最大价值。

解题思路

状态表示:f[i][j]表示从前i个物品中选,总体积不超过j的最大价值

状态计算

01背包问题中,只需要考虑第i个物品选或者不选,而完全背包问题中,每个物品可以选无数多个,所以需要划分成n个子集。

image-20210401224857639

每个子集表示第i个物品选0,1,2,…,k…个数量。然后再求一个max。

选0个:和01背包的情况一样

f[i-1][j]

选k个:

image-20210401225713986

这里和01背包略有不同,需要容量需要减去k倍的v[i]

f[i-1][j-k*v[i]]

状态转移方程为

image-20210401230005431

这样需要三重循环来达到效果,显然时间复杂度不达标,所以需要做一些优化。

image-20210401230220428

上图可以看到,红色的部分其实完全等价,所以就可以做一个替换,把上式中所有的j都变成j-v。

image-20210401230600562

这样就少了一重循环,实现这个dp只需要2重循环了。

状态转移方程为:f[i][j] = max(f[i-1][j],f[i][j-v[i]])+w[i]

完成思路图

image-20210401231246461

再次对比一下01背包问题和完全背包问题的状态转移方程

/*
01背包问题:
f[i][j] = max(f[i-1][j],f[i-1][j-v[i]]+w[i])
完全背包问题:
f[i][j] = max(f[i-1][j],f[i][j-v[i]]+w[i])
*/

注意,只有一个区别,01背包问题是f[i-1][j-v]+w,完全背包问题是f[i][j-v]+w

完整代码

朴素写法:

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;

const int N = 1005;
int v[N];	//每种物品的体积
int w[N];	//每种物品的价值
int f[N][N];	//状态转移方程 

int main() {
	int n,m;	//物品种数和背包容积
	cin >> n >> m;
	for(int i = 1; i <= n; i++) cin >> v[i] >> w[i];
	//初始化,f[0][0~m] = 0 
	for(int i = 1; i <= n; i++) {
		for(int j = 1; j <= m; j++) {
			f[i][j] = f[i-1][j];
			if(j >= v[i]) {	//当前容量放得下v[i] 
				f[i][j] = max(f[i][j],f[i][j-v[i]]+w[i]);
			}
		}
	}
	cout << f[n][m] << endl;
	return 0;
}

利用滚动数组思想,优化后的代码:

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;

const int N = 1005;
int v[N];	//每种物品的体积
int w[N];	//每种物品的价值
int f[N];	//状态转移方程 

int main() {
	int n,m;	//物品种数和背包容积
	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] << endl;
	return 0;
}

### 线性动态规划与01背包问题的区别对比分析 #### 定义与范围 线性动态规划是一种基于线性数据结构算法设计方法,其核心在于通过状态转移方程来解决问题。这种类型的动态规划不仅限于一维数组,还可以扩展到多维数组,只要每个维度上的变化呈现“线性”特性即可[^2]。 相比之下,01背包问题是动态规划领域的一个经典应用实例,属于线性动态规划的一种特殊情形。具体来说,它是解决资源分配优化的一类问题,其中物品要么被选入背包(取值为1),要么不被选入(取值为0)。因此,01背包可以看作是线性动态规划的具体应用场景之一[^3]。 --- #### 状态定义与转移方程 在线性动态规划中,状态通常表示当前阶段下的最优解,状态转移方程则描述如何从前一个或几个阶段的状态推导出当前阶段的状态。例如,在最长公共子序列(LCS)问题中,`dp[i][j]` 表示字符串前 `i` 个字符另一个字符串前 `j` 个字符的最大匹配长度,其状态转移方程可能涉及多种条件判断。 对于01背包问题,状态定义更为特定:设 `dp[j]` 表示容量为 `j` 的背包所能获得的最大价值,则状态转移方程如下: ```python dp[j] = max(dp[j], dp[j - weight[i]] + value[i]) ``` 这里的核心逻辑是在每种物品的选择过程中决定是否将其加入背包以最大化总价值[^5]。 由此可见,虽然两者都依赖状态转移方程,但线性动态规划的应用场景更加广泛,而01背包问题则是针对特定约束条件下的优化问题。 --- #### 数据结构与存储需求 由于线性动态规划覆盖了更广泛的场景,其使用的数据结构可能是单维或多维数组,甚至有时会结合其他辅助数据结构(如树状数组、线段树等)来加速计算过程[^1]。 而在01背包问题中,为了节省内存并提高效率,常采用滚动数组技术,即仅保留两行或者一行的数据来进行更新操作。这使得它的空间复杂度可以从 \(O(n \times W)\) 减少至 \(O(W)\),其中 \(n\) 是物品数量,\(W\) 是背包最大容量。 --- #### 实现方式与变体 除了传统的表格填充值法外,线性动态规划也可以借助记忆化搜索的方式实现。这种方式本质上仍然是动态规划,但它利用递归来探索所有可能性,并缓存中间结果以避免冗余计算[^4]。 至于01背包问题本身存在许多变形版本,例如完全背包、多重背包以及混合型背包等问题。这些变体会改变状态转移方程的形式,从而适应不同的实际需求。 以下是两种常见背包问题的状态转移方程比较: | **问题类型** | **状态转移方程** | |--------------------|----------------------------------------------------------------------------------| | **01背包问题** | `dp[j] = max(dp[j], dp[j - weight[i]] + value[i])` | | **完全背包问题** | `dp[j] = max(dp[j], dp[j - k * weight[i]] + k * value[i]), (k >= 0)` | --- #### 应用场景举例 - **线性动态规划**: 可用于求解诸如最长上升子序列(LIS)、编辑距离(Levenshtein Distance)、矩阵链乘积最小代价等问题。 - **01背包问题**: 主要应用于资源受限条件下寻找最佳组合方案的实际案例,比如旅行者携带行李箱时如何挑选最有价值的商品;企业预算有限情况下项目投资决策等。 --- ### 总结 尽管线性动态规划涵盖了像01背包这样的典型例子,但从概念层面来看二者并不相同。前者提供了一套通用框架去构建解决方案,后者则是这一理论指导下产生的具体实践成果之一。 ```python def knapsack_01(values, weights, capacity): n = len(values) dp = [0] * (capacity + 1) for i in range(n): for j in range(capacity, weights[i]-1, -1): # 倒序遍历防止重复使用物品 dp[j] = max(dp[j], dp[j - weights[i]] + values[i]) return dp[-1] values = [60, 100, 120] weights = [10, 20, 30] capacity = 50 print(knapsack_01(values, weights, capacity)) # 输出应为220 ``` 上述代码展示了标准01背包问题的实现细节。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值