2.简单DP
动态规划(Dynamic Programming,DP)是一种用来解决一类最优化问题的算法思想。
背包问题是一类经典的DP问题,灵活多变。
2.1 闫氏DP分析法
我们从集合角度来分析DP问题。
2.2 acwing.2. 01背包问题(背包九讲 , 模板题)
背包问题的核心其实就是组合问题,在一个背包中有若干物品,在某种限制条件下,选出最好的组合。
1 | 有 N 件物品和一个容量是 V 的背包。每件物品只能使用一次。 |
思路:
参考1:y总视频讲解,参考2:《算法笔记》,参考3:《LeetCode 101》刷题指南
如果采用暴力枚举每一件物品放或者不放进背包,有两种选择,所以时间复杂度为$O(2^n)$,非常大。
接下来考虑动态规划求解。
思路一:
先尝试二维解法。
我们可以定义一个二维数组dp存储最大价值,其中dp[i][j]
表示前i 件物品体积不超过j (即此时背包容量
为j)的情况下能达到的最大价值。
在我们遍历到第i 件物品时,在当前背包总容量为j 的情况下,
如果我们不将物品i 放入背包,那么
dp[i][j]= dp[i-1][j]
,即前i 个物品的最大价值等于只取前i-1 个物品时的最大价值;
如果我们将物品i 放入背包,假设第i 件物品体积为wi,价值为vi,那么我们得到
dp[i][j] = dp[i-1][j-w[i]] + v[i]
。我们只需在遍历过程中对这两种情况取最大值即可,总时间复杂度和空间复杂度都为$O(NV)$。
综合上面提到的2种选择策略,我们可以得到状态转移方程:
dp[i][j] = max{dp[i-1][j],dp[i-1][j-w[i]] + v[i]}
确定初始化边界,dp[0][0] = 0
.
注意理解误区:
dp[i][j]
里的i
不是表示选择了前i个物品,而是表示对前i个物品做出两中策略的选择;
里面的j
不是表示当前物品的总体积等于j,而是表示前i 件物品体积不超过j 。
这里给出一位大佬的解释:
1 | 无论 j 表示体积正好是 j 还是 不超过 j ,它的式子都是一样的 j - v[i], 但是理解不同而已。 |
再贴一位大佬的题解:(十分详细了)https://www.acwing.com/solution/content/1374/
代码:(二维朴素做法)
1 |
|
再尝试一维优化。
看y总视频https://www.acwing.com/video/34/ 42:15,对二维做法等价变形得到一维做法。
我们可以进一步对0-1 背包进行空间优化,将空间复杂度降低为$O(V)$。时间复杂度已经不能再优化了。
这里可以发现我们dp[i][j]
永远只依赖于上一排左边的信息,之前算过的其他物品都不需要再使用。因此我们可以去掉dp 矩阵的第一个维度,在考虑物品i 时变成dp[j]= max(dp[j], dp[j-w] + v)
。这里要注意我们在遍历每一行的时候必须逆向遍历,这样才能够调用上一行物品i-1 时dp[j-w] 的值;若按照从左往右的顺序进行正向遍历,则dp[j-w] 的值在遍历到j 之前就已经被更新成物品i 的值了。
从二维变成一维,相当于把二维中第一个维度变成循环滚动只有1行的数组dp[N]。
如果我们仍然从左往右计算dp[j],那么可能存在污染,因为后面的数据根据前面递推而来,在滚动的时候可能要用到dp[i-1](即上一次循环的数据时,实际上这个位置的数据已经在这次循环时被更新过了,用到的是dp[i]的数据,那么就出错了。
只有通过逆序枚举v,即从右往左滚动数组,这次计算dp[i]时依然根据上次循环递推而来,而且dp[i-v[i]]并没有被污染,才能得到正确结果。
模拟过程:https://www.acwing.com/activity/content/code/content/625657/
我们注意到在处理数据时,我们是一个物品一个物品,一个一个体积的枚举。
因此我们可以不必开两个数组记录体积和价值,而是边输入边处理。
代码:
1 |
|
思路二:闫氏DP法
y总思路,绝了!
根据数据范围,时间复杂度应控制为O(n^2)级别,所以状态表示最多两个维度。
2.3 acwing.1015. 摘花生(信息学奥赛一本通)
Hello Kitty想摘点花生送给她喜欢的米老鼠。
她来到一片有网格状道路的矩形花生地(如下图),从西北角进去,东南角出来。
地里每个道路的交叉点上都有种着一株花生苗,上面有若干颗花生,经过一株花生苗就能摘走该它上面所有的花生。
Hello Kitty只能向东或向南走,不能向西或向北走。
问Hello Kitty最多能够摘到多少颗花生。
1 | 输入格式 |
提示:2 2是第一组数据,2 3是第二组数据。
思路一:闫氏DP法
关于边界问题,如果涉及到i-1,一般从1开始,否则从0开始,可以认为是一种准则。
时间复杂度为O(n^2)。空间复杂度为O(n^2)。
状态转移方程:f[i][j] = max(f[i - 1][j], f[i][j - 1]) + a[i][j];
1 | // y总题解 |
1 | // 进一步压缩空间,w[N][N]其实没必要 |
思路二:滚动数组
参考自:CSDN
- 状态表示
集合:定义f[i][j]
为从(1, 1)到达(i, j)的所有方案
属性:最大值 - 状态转移
(i, j)从(i-1, j)即上方过来
(i, j)从(i, j-1)即左方过来 - 空间压缩
f[i][j]
只需要用到这一层和上一层的f元素,所以可以压缩成滚动数组。在此之上,还可以直接压缩成一维数组。
时间复杂度为O(n^2)。空间复杂度为O(n)。
1 |
|
由于多组样例,而二维数组解法由于f[0][...]
和f[...][0]
都为0,所以没有问题。对于一维数组,上一样例的f数组需要清零,否则影响结果。