动态规划(0-1背包)
0-1背包是动态规划很经典的题目,其经典问题往往能够引申出很多的应用。所以最近都在整理0-1背包的基本问题和解法,并且稍微简略描述其0-1背包的应用来灵活运用其知识。
1、0-1背包经典问题和分析
有n件物品和一个最多能背重量为w的背包。第i件物品的重量是weight[i],得到的价值是value[i] 。
每件物品只能使用一次,求解将这些物品装入背包里物品价值总和最大。
物品 | 重量 | 价值 |
---|---|---|
物品0 | 1 | 15 |
物品1 | 3 | 20 |
物品2 | 4 | 30 |
解法一:动态规划
dp[i][j]
中,表示的是在[0,i]物品任取放入容量为j的背包。
- 不放物品i,即在**0~(i-1)**任取,
dp[i][j]=dp[i-1][j]
。 - 放物品i,则在不取i前的
dp[i-1][j-weight[i]]
中,补上这个i的价值。即应该表示为dp[i][j]=dp[i-1][j-weight[i]]+values[i]
。
什么意思呢?就是决定放物品i时,就是已经判断放该物品i后能得到最大价值,那么就要在j-weight[i]这个容量下的最大价值,补上values[i]。这里慢慢体会即可。
则递归公式为:dp[i][j]= Math.max(dp[i-1][j],dp[i-1][j-weight[i]]+values[i])
。
初始化:0、-1、100、-10都可以。
遍历:
for(int i = 0 ;i<n;i++){
for(int j = 0;j < w ; j++){
....
}
}
动态规划优化——设置一维的动态滚动数组
在前面的dp[i][j]
表示清楚后,我们再使用一维数组dp[j]
完成0-1背包。
- 不放物品i,即在**0~(i-1)**任取,
dp[j]=dp[j]
。 - 放物品i,则在不取i前的
dp[j-weight[i]]
中,补上这个i的价值。即应该表示为dp[j]=dp[j-weight[i]]+values[i]
。
初始化时,初始化成0,以免因为滚动数组时出现非0数值影响后续的滚动结果。
遍历:
for(int i = 0 ;i<n;i++){
for(int j = w;j >= weight[i] ; j--){
....
}
}
因为是滚动数组,在解dp[j]会使用到dp[j-1]的数值,而如果是正序遍历,那么就会用到第i个物品时背包容量为j的最大价值(我们需要用到的是0~(i-1)个物品时背包容量为j的最大价值)。
以上就是用0-1背包解决问题的模板模型,接下来就看看实际的例子。
2、分割等和子集
原题:分割等和子集
给你一个 只包含正整数 的 非空 数组 nums
。请你判断是否可以将这个数组分割成两个子集,使得两个子集的元素和相等。
示例 1:
输入:nums = [1,5,11,5]
输出:true
解释:数组可以分割成 [1, 5, 5] 和 [11] 。
示例 2:
输入:nums = [1,2,3,5]
输出:false
解释:数组不能分割成两个元素和相等的子集。
这道题我就是用0-1背包来看待。
首先要想为true,那么就一定分出两个元素集合,这两个集合的元素总和相等。那么就设置一个背包为nums的总和除于2,即sum/2。然后设置一维数组dp,dp[j]含义为0~i个物品在容量为j的背包中的最大价值。
最终代码如下:
class Solution {
public boolean canPartition(int[] nums) {
int sum = 0;
for(int num:nums){
sum+=num;
}
if(sum%2!=0) return false;//如果为奇数,意味着不可能为true。因为不可能分成等和的两个集合
//初始化dp数组
int[] dp = new int[sum/2+1];
//处理dp数组
for(int i = 1;i<nums.length;i++){
for(int j = sum/2;j>=nums[i];j--){//反向遍历,上面有提及
dp[j] = Math.max(dp[j],dp[j-nums[i]]+nums[i]);
}
}
return dp[sum/2]==sum/2?true:false;
}
}
这就是一道基本的中等leetcode题目。
3、最后一块石头的重量II
有一堆石头,用整数数组 stones 表示。其中 stones[i] 表示第 i 块石头的重量。每一回合,从中选出任意两块石头,然后将它们一起粉碎。假设石头的重量分别为 x 和 y,且 x <= y。那么粉碎的可能结果如下:
如果 x == y,那么两块石头都会被完全粉碎;
如果 x != y,那么重量为 x 的石头将会完全粉碎,而重量为 y 的石头新重量为 y-x。最后,最多只会剩下一块石头。返回此石头 最小的可能重量 。如果没有石头剩下,就返回 0。
示例 1:
输入:stones = [2,7,4,1,8,1]
输出:1
解释:
组合 2 和 4,得到 2,所以数组转化为 [2,7,1,8,1],
组合 7 和 8,得到 1,所以数组转化为 [2,1,1,1],
组合 2 和 1,得到 1,所以数组转化为 [1,1,1],
组合 1 和 1,得到 0,所以数组转化为 [1],这就是最优值。
示例 2:
输入:stones = [31,26,33,21,40]
输出:5
这道题就跟上面的分割等和子串一样的思路了:
class Solution {
public int lastStoneWeightII(int[] stones) {
//继续使用0-1背包方法练手
//首先很明显weight和value应该为stones[i],
//但是这里应该是尽量凑整两堆"尽可能重量相等"的情况。那假设在构建背包时发现容量为j=sum/2时,最大放置价值只有sum/2-x;那么另一堆就是sum-(sum/2-x)。返回的应该是sum-2*dp[sum/2](体现2x的差距)。
int sum = 0;
for(int stone:stones){sum+=stone;}
//设置初始化
int temp = sum/2;
int[] dp = new int[temp+1];
for(int i = 0;i<stones.length;i++){
for(int j = temp;j>=stones[i];j--){
dp[j] = Math.max(dp[j],dp[j-stones[i]]+stones[i]);
}
}
//
return sum-2*dp[temp];
}
}
4、目标和
原题:494. 目标和
给你一个整数数组 nums 和一个整数 target 。向数组中的每个整数前添加 '+' 或 '-' ,然后串联起所有整数,可以构造一个表达式 :
例如,nums = [2, 1] ,可以在 2 之前添加 '+' ,在 1 之前添加 '-' ,然后串联起来得到表达式 "+2-1" 。
返回可以通过上述方法构造的、运算结果等于 target 的不同 表达式的数目。
示例 1:
输入:nums = [1,1,1,1,1], target = 3
输出:5
解释:一共有 5 种方法让最终目标和为 3 。
-1 + 1 + 1 + 1 + 1 = 3
+1 - 1 + 1 + 1 + 1 = 3
+1 + 1 - 1 + 1 + 1 = 3
+1 + 1 + 1 - 1 + 1 = 3
+1 + 1 + 1 + 1 - 1 = 3
示例 2:
输入:nums = [1], target = 1
输出:1
这道题其实跟第3题很类似,也是找两堆子集合。将集合分成加法子集合和减法子集合,其中加法子集合的总和为a时,减法子集合总和应为sum-a。此时要得出a-(sum-a)=target,即让2a=sum+target即可。
此时设置一个背包容量为a即可。
具体代码如下:
class Solution {
public int findTargetSumWays(int[] nums, int target) {
//设置dp数组
int length = nums.length;
int sum = 0;
for(int num: nums){
sum+=num;
}
//将集合分成加法子集合和减法子集合,其中加法子集合的总和为a时,减法子集合总和应为sum-a。此时要得出a-(sum-a)=target,即让2a=sum+target即可
if( (sum+target) %2!=0) return 0;
int temp =(sum+target)/2;
if(temp<0) temp = -temp;
int[] dp = new int[temp+1];
dp[0] = 1;
for(int i = 0;i<length;i++){
for(int j = temp;j>=nums[i];j--){
dp[j] += dp[j-nums[i]];
}
}
return dp[temp];
}
}
5、1和0
原题:474. 一和零
给你一个二进制字符串数组 strs 和两个整数 m 和 n 。请你找出并返回 strs 的最大子集的长度,该子集中 最多 有 m 个 0 和 n 个 1 。如果 x 的所有元素也是 y 的元素,集合 x 是集合 y 的 子集 。
示例 1:
输入:strs = ["10", "0001", "111001", "1", "0"], m = 5, n = 3
输出:4
解释:最多有 5 个 0 和 3 个 1 的最大子集是 {"10","0001","1","0"} ,因此答案是 4 。
其他满足题意但较小的子集包括 {"0001","1"} 和 {"10","1","0"} 。{"111001"} 不满足题意,因为它含 4 个 1 ,大于 n 的值 3 。
示例 2:
输入:strs = ["10", "0", "1"], m = 1, n = 1
输出:2
解释:最大的子集是 {"0", "1"} ,所以答案是 2 。
本题的思路也是一个0-1背包,因为每个strs元素只能放置一次,那么可以先一个个将数组里面的字符串进行统计,即统计0和1的数目。
其次,理解这道题目的dp[i][j]
比较重要,实际上可以把它看成一个二维滚动数组。所以后续的遍历上都应该是倒叙遍历。具体代码如下:
class Solution {
public int findMaxForm(String[] strs, int m, int n) {
//这里的dp数组的含义是设置一个m容量和n容量的背包
int[][] dp = new int[m+1][n+1];
for(String s : strs){
int countN = 0;
int countM = 0;
for(char c :s.toCharArray()){
if(c=='0') countM++;
if(c=='1') countN++;
}
for(int i = m; i>=countM ; i--){
for(int j =n ; j>=countN ; j--){
dp[i][j] = Math.max(dp[i][j],dp[i-countM][j-countN]+1);
}
}
}
return dp[m][n];
}
}
以上就是动态规划中关于0-1背包的问题和基本的解决应用问题的思路。