Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content

Commit c1269ce

Browse files
01背包理论
1 parent cf4f84f commit c1269ce

File tree

1 file changed

+358
-0
lines changed

1 file changed

+358
-0
lines changed
Lines changed: 358 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,358 @@
1+
## 01 背包
2+
3+
有N件物品和一个最多能被重量为W 的背包。第i件物品的重量是weight[i],得到的价值是value[i]**每件物品只能用一次**,求解将哪些物品装入背包里物品价值总和最大。
4+
5+
这是标准的背包问题,以至于很多同学看了这个自然就会想到背包,甚至都不知道暴力的解法应该怎么解。
6+
7+
这样其实就是没有从底向上去思考,而是习惯性的只知道背包了,那么暴力的解法应该是怎么样的呢?
8+
9+
每一件物品其实只有两个状态,取或者不取,所以可以使用回溯法搜索出所有的情况,那么时间复杂度就是O(2^n),这里的n表示物品数量。
10+
11+
所以暴力的解法是指数级别的时间复杂度。进而才需要动态规划的解法来进行优化!
12+
13+
目前leetcode上没有发现有纯01背包的题目,leetcode上相关01背包问题都是需要某种条件转化为01背包问题,所以 我举一个纯01背包的例子来给大家讲解。
14+
15+
把01背包理论和代码理解透彻了,我们再刷leetcode上的题目。
16+
17+
下面的讲解中,我举一个例子:
18+
19+
背包最大重量为4。
20+
21+
物品为:
22+
23+
| | 重量 | 价值 |
24+
| --- | --- | --- |
25+
| 物品0 | 1 | 15 |
26+
| 物品1 | 3 | 20 |
27+
| 物品2 | 4 | 30 |
28+
29+
以下讲解和图示中出现的数字都是以这个例子为例。
30+
31+
* 确定dp数组以及下标的含义
32+
33+
对于背包问题,有一种写法, 是使用二维数组,即**dp[i][j] 表示从下标为[0-i]的物品里任意取,放进容量为j的背包,价值总和最大是多少**
34+
35+
只看这个二维数组的定义,大家一定会有点懵,看下面这个图:
36+
37+
<img src='../pics/动态规划-背包问题1.png' width=600> </img></div>
38+
39+
**要时刻记着这个dp数组的含义,下面的一些步骤都围绕这dp数组的含义进行的**,如果哪里看懵了,就来回顾一下i代表什么,j又代表什么。
40+
41+
* dp数组如何初始化
42+
43+
**关于初始化,一定要和dp数组的定义吻合,否则到递推公式的时候就会越来越乱**
44+
45+
首先从dp[i][j]的定义触发,如果背包容量j为0的话,无论是选取哪些物品,背包价值总和一定为0。如图:
46+
47+
<img src='../pics/动态规划-背包问题2.png' width=600> </img></div>
48+
49+
50+
那么其他下标应该初始化多少呢?
51+
52+
dp[i][j]在推导的时候一定是取价值最大的数,如果题目给的价值都是正整数那么非0下标都初始化为0就可以了,因为0就是最小的了,不会影响去最大价值的结果。
53+
54+
如果题目给的价值有负数,那么非0下标就要初始化为负无穷了。例如:一个物品的价值是-2,但对应的位置依然初始化为0,那么去最大值的时候,就会取0而不是-2了,所以要初始化为负无穷。
55+
56+
这样才能让dp数组在递归公式的过程中取的最大的价值,而不是被初始值覆盖了。
57+
58+
而本题价值都是正整数,所以初始化为0就可以了。
59+
60+
如图:
61+
62+
<img src='../pics/动态规划-背包问题3.png' width=600> </img></div>
63+
64+
**很明显,红框的位置就是我们要求的结果**
65+
66+
* 确定递推公式
67+
68+
再回顾一下dp[i][j]的含义:从下标为[0-i]的物品里任意取,放进容量为j的背包,价值总和最大是多少。
69+
70+
那么可以有两个方向推出来dp[i][j]
71+
72+
* 由dp[i - 1][j]推出,即背包里不放物品i的最大价值,此时dp[i][j]就是dp[i - 1][j]
73+
* 由dp[i - 1][j - weight[i]]推出,dp[i - 1][j - weight[i]] 为背包容量为j - weight[i]的时候不放物品i的最大价值,那么dp[i - 1][j - weight[i]] + value[i] (物品i的价值),就是背包放物品i得到的最大价值
74+
75+
所以递归公式: dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]);
76+
77+
* 确定遍历顺序
78+
79+
确定递归公式之后,还要确定遍历顺序。
80+
81+
在如下图中,可以看出,有两个遍历的维度:物品与背包重量
82+
<img src='../pics/动态规划-背包问题3.png' width=600> </img></div>
83+
84+
那么问题来了,先遍历 物品还是先遍历背包重量呢?
85+
86+
**其实都可以!! 但是先遍历物品更好理解**。下面讲到具体原因的时候来在分析原因。
87+
88+
那么首先遍历物品,然后遍历背包重量。
89+
90+
注意 状态转移方程 dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]); 中有两个下标为负数的情况,即:i - 1 和 j - weight[i]
91+
92+
既然i 是由 i-1 推导出来,那么i为0的时候就一定要初始化,i为0,存放编号0的物品的时候,各个容量的背包所能存放的最大价值。
93+
94+
代码如下:
95+
96+
```
97+
// 倒叙遍历
98+
for (int j = bagWeight; j >= weight[0]; j--) {
99+
dp[0][j] = dp[0][j - weight[0]] + value[0]; // 初始化i为0时候的情况
100+
}
101+
```
102+
103+
**大家应该发现,这个初始化为什么是倒叙的遍历的?正序遍历就不行么?**
104+
105+
正序遍历还真就不行,dp[0][j]表示容量为j的背包存放物品0时候的最大价值,物品0的价值就是15,因为题目中说了**每个物品只有一个!**所以dp[0][j]如果不是初始值的话,就应该都是物品0的价值,也就是15。
106+
107+
但如果一旦正序遍历了,那么物品0就会被重复加入多次! 例如代码如下:
108+
```
109+
// 正序遍历
110+
for (int j = weight[0]; j <= bagWeight; j++) {
111+
dp[0][j] = dp[0][j - weight[0]] + value[0];
112+
}
113+
```
114+
115+
例如dp[0][1] 是15,到了dp[0][2] = dp[0][2 - 1] + 15; 也就是dp[0][2] = 30 了,那么就是物品0被重复放入了。
116+
117+
**所以一定要倒叙遍历,保证物品0只被放入一次!这一点对01背包很重要,后面在讲解滚动数组的时候,还会用到倒叙遍历来保证物品使用一次!**
118+
119+
初始化dp数组之后,就可以先遍历物品,在遍历背包,然后使用公式推导了,代码如下:
120+
121+
```
122+
// 遍历过程
123+
for(int i = 1; i < weight.size(); i++) { // 遍历物品
124+
for(int j = 0; j <= bagWeight; j++) { // 遍历背包重量
125+
if (j < weight[i]) dp[i][j] = dp[i - 1][j];
126+
else dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]);
127+
128+
}
129+
}
130+
```
131+
来看一下对应的dp数组的数值,如图:
132+
133+
<img src='../pics/动态规划-背包问题4.png' width=600> </img></div>
134+
135+
最终结果就是dp[2][4]
136+
137+
建议大家此时自己在纸上推导一遍,看看dp数组里每一个数值是不是这样的。
138+
139+
**做动态规划的题目,最好的过程就是自己在纸上举一个例子把对应的dp数组的数值推导一下,然后在动手写代码!**
140+
141+
很多同学做dp题目,遇到各种问题,然后凭感觉东改改西改改,怎么改都不对,或者稀里糊涂就改过了。
142+
143+
主要就是自己没有动手推导一下dp数组的演变过程,如果推导明白了,代码写出来就算有问题,只要把dp数组打印出来,对比一下和自己推导的有什么差异,很快就可以发现问题了。
144+
145+
遍历过程的代码其实优化的,我是为了把dp数组里数值完整表现出来,精简一下可以是:
146+
147+
```
148+
// 遍历过程
149+
for(int i = 1; i < weight.size(); i++) { // 遍历物品
150+
for(int j = 0; j <= bagWeight; j++) { // 遍历背包重量
151+
dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]);
152+
}
153+
}
154+
```
155+
156+
完整测试代码:
157+
158+
```C++
159+
void 01bagProblem() {
160+
int w[] = {1, 3, 4};
161+
int v[] = {15, 20, 30};
162+
int bagWeight = 4;
163+
164+
vector<int> weight(w, w + sizeof(w)/sizeof(int));
165+
vector<int> value(v, v + sizeof(v)/sizeof(int));
166+
167+
vector<vector<int>> dp(weight.size() + 1, vector<int>(bagWeight + 1, 0));
168+
169+
for (int j = bagWeight; j >= weight[0]; j--) {
170+
dp[0][j] = dp[0][j - weight[0]] + value[0];
171+
}
172+
// weight数组的大小 就是物品个数
173+
for(int i = 1; i < weight.size(); i++) { // 遍历物品
174+
for(int j = 0; j <= bagWeight; j++) { // 遍历背包容量
175+
if (j < weight[i]) dp[i][j] = dp[i - 1][j]; // 这个是为了展现dp数组里元素的变化,可以删掉
176+
else dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]);
177+
178+
}
179+
}
180+
// 把dp数组打印出来,看看对不对
181+
for (int i = 0 ; i < weight.size(); i++) {
182+
for (int j = 0; j <= bagWeight; j++) {
183+
cout << dp[i][j] << " ";
184+
}
185+
cout << endl;
186+
}
187+
// 输出结果
188+
cout << dp[weight.size() - 1][bagWeight] << endl;
189+
}
190+
191+
```
192+
193+
上面我们讲到 两层for循环的顺序,讲解的过程是用先遍历物品,在遍历背包。
194+
195+
那么先遍历背包,再遍历物品,也是可以的!
196+
197+
例如这样:
198+
199+
```
200+
// weight数组的大小 就是物品个数
201+
for(int j = 0; j <= bagWeight; j++) { // 遍历背包容量
202+
for(int i = 1; i < weight.size(); i++) { // 遍历物品
203+
if (j < weight[i]) dp[i][j] = dp[i - 1][j];
204+
else dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]);
205+
}
206+
}
207+
```
208+
209+
为什么也是可以的呢?
210+
211+
**要理解递归的本质和递推的方向**
212+
213+
dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]); 递归公式中可以看出dp[i][j]是靠dp[i-1][j]和dp[i - 1][j - weight[i]]推导出来的。
214+
215+
dp[i-1][j]和dp[i - 1][j - weight[i]] 都在dp[i][j]的左上角方向(包括正左和正上两个方向),那么先遍历物品,在遍历背包的过程如图所示:
216+
217+
218+
<img src='../pics/动态规划-背包问题5.png' width=600> </img></div>
219+
220+
在来看看先遍历背包,再遍历物品呢,如图:
221+
222+
<img src='../pics/动态规划-背包问题6.png' width=600> </img></div>
223+
224+
**大家可以看出,虽然两个for循环遍历的次序不同,但是dp[i][j]所需要的数据就是左上角,根本不影响dp[i][j]公式的推导!**
225+
226+
这一点其实很多题解都没有说清楚,此时大家应该对01背包,两层for控制两个维度,究竟先遍历哪一个有一个深刻理解了。
227+
228+
229+
## 滚动数组
230+
231+
对于背包问题其实状态都是可以压缩的。
232+
233+
在使用二维数组的时候,递推公式:dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]);
234+
235+
这里其实可以发现如果把dp[i-1]那一层拷贝到dp[i]上,表达式完全可以是:dp[i][j] = max(dp[i][j], dp[i][j - weight[i]] + value[i]);
236+
237+
读到这里估计大家都忘了 dp[i][j]里的i和j表达的是什么了,i是物品,j是背包容量,一定要时刻记住这里i和j的含义,要不然很容易看懵了。
238+
239+
**与其把dp[i-1]这一层拷贝到dp[i]上,不如只用一个一维数组了**
240+
241+
只用dp[j]!(一维数组,也可以理解是一个滚动数组)
242+
243+
在一维dp数组中,dp[j]表示:容量为j的背包,所背的物品价值可以最大为dp[j]
244+
245+
* 一维dp数组如何初始化
246+
247+
**关于初始化,一定要和dp数组的定义吻合,否则到递推公式的时候就会越来越乱**
248+
249+
dp[j]表示:容量为j的背包,所背的物品价值可以最大为dp[j],那么dp[0]就应该是0,因为背包容量为0所背的物品的最大价值就是0。
250+
251+
那么dp数组除了下标0的位置,初始为0,其他下标应该初始化多少呢?
252+
253+
在回顾一下dp数组的含义:容量为j的背包,所背的物品价值可以最大为dp[j]
254+
255+
那么dp数组在推导的时候一定是取价值最大的数,如果题目给的价值都是正整数那么非0下标都初始化为0就可以了,如果题目给的价值有负数,那么非0下标就要初始化为负无穷。
256+
257+
**这样才能让dp数组在递归公式的过程中取的最大的价值,而不是被初始值覆盖了**
258+
259+
那么我假设物品价值都是大于0的,所以dp数组初始化的时候,都初始为0就可以了。
260+
261+
262+
* 一维dp数组的递推公式
263+
264+
dp[j]为 容量为j的背包所背的最大价值,那么如何推导dp[j]呢?
265+
266+
dp[j]可以通过dp[j - weight[j]]推导出来,dp[j - weight[i]]表示容量为j - weight[i]的背包所背的最大价值。
267+
268+
dp[j - weight[i]] + value[i] 表示 容量为 j - 物品i体积 的背包 加上 物品i的价值。
269+
270+
那么最大的dp[j]可能就是 dp[j - weight[i]] + value[i]
271+
272+
那么此时dp[j]有两个选择,一个是取自己dp[j],一个是取dp[j - weight[i]] + value[i],指定是取最大的,毕竟是求最大价值,
273+
274+
所以递归公式为:
275+
276+
```
277+
dp[j] = max(dp[j], dp[j - weight[i]] + value[i]);
278+
```
279+
280+
可以看出相对于二维dp数组的写法,就是把dp[i][j]中i的维度去掉了。
281+
282+
* 一维dp数组遍历顺序
283+
284+
代码如下:
285+
286+
```
287+
for(int i = 0; i < weight.size(); i++) { // 遍历物品
288+
for(int j = bagWeight; j >= weight[i]; j--) { // 遍历背包容量
289+
dp[j] = max(dp[j], dp[j - weight[i]] + value[i]);
290+
291+
}
292+
}
293+
```
294+
295+
**这里大家发现和二维dp的写法中,遍历背包的顺序是不一样的!**
296+
297+
二维dp遍历的时候,背包容量是从小到大,而一维dp遍历的时候,背包是从大到小。
298+
299+
为什么呢?
300+
301+
**倒叙遍历是为了保证物品i只被放入一次!**,在上面讲解二维dp遍历第0行的时候已经提到过一次。
302+
303+
举一个例子:物品0的重量weight[0] = 1,价值value[0] = 15
304+
305+
如果正序遍历
306+
307+
dp[1] = dp[1 - weight[0]] + value[0] = 15
308+
309+
dp[2] = dp[2 - weight[0]] + value[0] = 30
310+
311+
此时dp[2]就已经是30了,意味着物品0,被放入了两次,所以不能正序遍历。
312+
313+
为什么倒叙遍历,就可以保证物品只放入一次呢?
314+
315+
倒叙就是先算dp[2]
316+
317+
dp[2] = dp[2 - weight[0]] + value[0] = 15 (dp数组已经都初始化为0)
318+
319+
dp[1] = dp[1 - weight[0]] + value[0] = 15
320+
321+
通过这个例子大家应该理解了为什么倒叙遍历可以保证数组只放入一次!
322+
323+
**那么问题又来了,为什么二维dp遍历的时候不用倒叙呢?**
324+
325+
因为对数二维dp,dp[i][j]都是通过上一层即dp[i-1][j]计算而来,不用考虑重复计算dp[i][j]的问题!
326+
327+
328+
再来看看两个嵌套for循环的顺序,代码中是先遍历物品嵌套遍历背包容量,那可不可以先背包容量嵌套遍历物品呢?
329+
330+
不可以!
331+
332+
因为一维dp的写法,背包容量一定是要倒序遍历(原因上面已经讲了),如果遍历背包容量放在上一层,dp[bagWeight]只会放入一个物品。
333+
334+
一维dp01背包完整测试代码如下:
335+
336+
```
337+
void test_1_wei_bag_problem() {
338+
int w[] = {1, 3, 4};
339+
int v[] = {15, 20, 30};
340+
int bagWeight = 4;
341+
vector<int> weight(w, w + sizeof(w)/sizeof(int));
342+
vector<int> value(v, v + sizeof(v)/sizeof(int));
343+
int dp[6] = {0};
344+
for(int i = 0; i < weight.size(); i++) { // 遍历物品
345+
for(int j = bagWeight; j >= weight[i]; j--) { // 遍历背包容量
346+
dp[j] = max(dp[j], dp[j - weight[i]] + value[i]);
347+
}
348+
// 把dp数组打印出来,看看对不对
349+
for (int j = 0; j <= bagWeight; j++) {
350+
cout << dp[j] << " ";
351+
}
352+
cout << endl;
353+
}
354+
// 输出结果
355+
cout << dp[bagWeight] << endl;
356+
}
357+
358+
```

0 commit comments

Comments
 (0)