算法训练营(day46)
算法训练营(day46)
动态规划理论基础
动态规划中每一个状态一定是由上一个状态推导出来的,这一点就区分于贪心,贪心没有状态推导,而是从局部直接选最优的。
举个例子:有N件物品和一个最多能背重量为W 的背包。第i件物品的重量是weight[i],得到的价值是value[i] 。每件物品只能用一次,求解将哪些物品装入背包里物品价值总和最大。
动态规划中 dp[j]
是由 dp[j-weight[i]]
推导出来的,然后取 max(dp[j], dp[j - weight[i]] + value[i])
。
动态规划的解题步骤
- 确定
dp
数组(dp table)以及下标的含义 - 确定递推公式
dp
数组如何初始化- 确定遍历顺序
- 举例推导
dp
数组
01背包理论基础
01背包的主要出题方式是:有n
件物品和一个最多能背重量为 w
的背包。第 i
件物品的重量是 weight[i]
,得到的价值是 value[i]
。每件物品只能用一次,求解将哪些物品装入背包里物品价值总和最大。
动规五部曲分析
确定dp数组(dp table)以及下标的含义
对于背包问题,有一种写法是使用二维数组,即**
dp[i][j]
表示从下标为[0-i]的物品里任意取,放进容量为j的背包,价值总和最大是多少**。确定递推公式
dp[i][j]
由两种方式获得:- 不放物品i:由
dp[i - 1][j]
推出,即背包容量为j
,里面不放物品i
的最大价值,此时dp[i][j]
就是dp[i - 1][j]
。(其实就是当物品i的重量大于背包j的重量时,物品i无法放进背包中,所以被背包内的价值依然和前面相同。) - 放物品i:由
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
得到的最大价值
- 不放物品i:由
所以递归公式为: dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i])
;
dp数组的初始化
从
dp[i][j]
的定义出发:dp[i][0]
,即背包容量j为0,无论是选取哪些物品,背包价值总和一定为0dp[0][j]
,即存放物品编号i为0的时候,各个容量的背包所能存放的最大价值
确定遍历顺序
遍历的维度有两个:物品i 与 背包重量j
先遍历物品 还是 先遍历背包重量 其实都可以!! 但是先遍历物品更好理解。
推导dp数组
01背包测试代码
1 | public class BagProblem { |
滚动数组
滚动数组,就是把二维dp降为一维dp,我们重温一下:dp[i][j]
里的i和j表达的是i是物品,j是背包容量
- 在使用二维数组的时候,递推公式:
dp[i][j] = max(dp[i - 1][j], dp[i - 1][j - weight[i]] + value[i]);
- 如果把dp[i - 1]那一层拷贝到dp[i]上,表达式完全可以是:**
dp[i][j] = max(dp[i][j], dp[i][j - weight[i]] + value[i])
;** - 再简化一下表达式,只用一个一维数组
dp[j]
dp[j]表示:容量为j的背包,所背的物品价值可以最大为dp[j],那么dp[0]就应该是0,因为背包容量为0所背的物品的最大价值就是0。
所以递归公式为:
1 | dp[j] = max(dp[j], dp[j - weight[i]] + value[i]); |
滚动数组遍历背包顺序
二维dp遍历的时候,背包容量是从小到大,而一维dp遍历的时候,背包是从大到小。
倒序遍历是为了保证物品i只被放入一次!!!
一维dp遍历一定要 先物品后背包容量 吗?
答案:是的!!!
一维dp的写法中,背包容量一定是要倒序遍历的,如果遍历背包容量放在上一层,那么每个 dp[j]
就只会放入一个物品,即:背包里只放入了一个物品。
倒序遍历的原因,本质上还是一个对二维数组的遍历,并且右下角的值依赖上一层左上角的值,因此需要保证左边的值仍然是上一层的,从右向左覆盖。
(个人理解:一维dp就是先放大的,大的塞进去还有位置就再补小的,大的塞不进就换小一号的塞,保证自己不会犯糊涂,塞了两个一样小的充当一个大的用)
完全背包理论基础
完全背包问题的出题方式是:有N件物品和一个最多能背重量为W的背包。第i件物品的重量是weight[i],得到的价值是value[i] 。每件物品都有无限个(也就是可以放入背包多次),求解将哪些物品装入背包里物品价值总和最大。
完全背包和01背包问题唯一不同的地方就是,每种物品有无限件。而解决01背包和完全背包唯一不同就是体现在遍历顺序上。
面试题:对于纯完全背包,要求先用二维dp数组实现,然后再用一维dp数组实现,最后在问,两个for循环的先后是否可以颠倒?为什么?
在完全背包中,对于一维dp数组来说,其实两个for循环嵌套顺序是无所谓的!,具体分析参考:完全背包理论基础
对于实际情况,具体问题需要具体分析,一般情况下没有 纯完全背包问题 的提问方式,都需要对问题进行分析,选择 合适的遍历顺序 进行解题。
完全背包测试代码
组合不强调元素之间的顺序,排列强调元素之间的顺序
1 | //先遍历物品,再遍历背包(用于求组合数) |
1 | //先遍历背包,再遍历物品(用于求排列数) |
139. 单词拆分
题目链接:https://leetcode.cn/problems/word-break/description/
给你一个字符串 s
和一个字符串列表 wordDict
作为字典。请你判断是否可以利用字典中出现的单词拼接出 s
。
注意:不要求字典中出现的单词全部都使用,并且字典中的单词可以重复使用。
解题思路
解题过程:动态规划
按照动规五部曲来分析:
- 确定dp数组(dp table)以及下标的含义
dp[j]表示容量为j的背包,最多可以背最大重量为dp[j]
本题的 dp[i]:字符串长度为i的话,dp[i]为true,表示可以拆分为一个或多个在字典中出现的单词
确定递推公式
如果确定
dp[j]
是true,且[j, i]
这个区间的子串出现在字典里,那么dp[i]一定是true
。所以递推公式是:
1
2
3
4if(i >= len && dp[i - len] && word.equals(s.substring(i - len, i))){
dp[i] = true;
break;
}dp数组的初始化
dp[i]
的状态依靠dp[j]
是否为 true,那么dp[0]
就是递推的根基,dp[0]
一定要为true,否则递推下去后面都都是false。确定遍历顺序
本题求拆分为一个或多个在字典中出现的单词,是求 排列数
组合不强调元素之间的顺序,排列强调元素之间的顺序,最终输出结果是 组合数 还是 排列数 和 两个for循环的先后顺序 紧密联系
- 外层for循环遍历背包(总楼层),内层for遍历物品(台阶数) [排列数]
1 | for(int i = 1; i <= s.length(); i++){ |
此时dp[i]里算出来的就是排列数!
- 推导dp数组
详细代码
1 | class Solution { |
背包问题总结
背包递推公式
问能否能装满背包(或者最多装多少):dp[j] = max(dp[j], dp[j - nums[i]] + nums[i])
;
问装满背包有几种方法:dp[j] += dp[j - nums[i]]
- 动态规划:494.目标和(opens new window)
- 动态规划:518. 零钱兑换 II(opens new window)
- 动态规划:377.组合总和Ⅳ(opens new window)
- 动态规划:70. 爬楼梯进阶版(完全背包)(opens new window)
问背包装满最大价值:dp[j] = max(dp[j], dp[j - weight[i]] + value[i])
;
问装满背包所有物品的最小个数:dp[j] = min(dp[j - coins[i]] + 1, dp[j])
;
对于背包问题,难点在于遍历顺序上,如果把遍历顺序搞透,才算是真正理解了。