01背包

本文深入解析01背包问题,阐述其基本概念、状态转移方程及空间优化技巧。通过实例代码展示如何解决01背包问题,同时讨论了初始化细节对求解的影响,以及在不同需求下背包问题的解决方案。

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

01背包是在M件物品取出若干件放在空间为W的背包里,每件物品的体积为W1,W2至Wn,与之相对应的价值为P1,P2至Pn。01背包是背包问题中最简单的问题。01背包的约束条件是给定几种物品,每种物品有且只有一个,并且有权值和体积两个属性。在01背包问题中,因为每种物品只有一个,对于每个物品只需要考虑选与不选两种情况。如果不选择将其放入背包中,则不需要处理。如果选择将其放入背包中,由于不清楚之前放入的物品占据了多大的空间,需要枚举将这个物品放入背包后可能占据背包空间的所有情况。 

01背包题目的雏形是:

有N件物品和一个容量为V的背包。第i件物品的体积是c[i],价值是w[i]。求解将哪些物品装入背包可使价值总和最大。

从这个题目中可以看出,01背包的特点就是:每种物品仅有一件,可以选择放或不放。

其状态转移方程是:

当 j>=c[i] 时,dp[i][j]=max{ dp[i-1][j], dp[i-1][j-c[i]]+w[i] }

当 j<c[i] 时 ,dp[i][j]=dp[i-1][j];

对于这方方程其实并不难理解,方程之中,现在需要放置的是第i件物品,这件物品的体积是c[i],价值是w[i],因此f[i-1][v]代表的就是不将这件物品放入背包,而f[i-1][v-c[i]]+w[i]则是代表将第i件放入背包之后的总价值,比较两者的价值,得出最大的价值存入现在的背包之中.

虽然时间上不能再优化,但是空间上可以。

因为我们状态转移方程只有到了  i-1 时的数据,所以我们可以dp数组可以不用开那么大,我们可以开一个滚动数组,dp[2][v+1]

但事实上,我们只开一维数组就可以了,但是开一维数组我们内层循环要从v到c[i],具体原因见这篇博。https://www.cnblogs.com/buddho/p/01_backpack.html

代码如下:

package jisuanke;

import java.util.Scanner;

public class L4 {
//01背包
	public static void main(String[] args) {
		// TODO Auto-generated method stub

		Scanner sc=new Scanner(System.in);
		int n=sc.nextInt();
		int v=sc.nextInt();
		int[] w=new int[n+1];
		int[] c=new int[n+1];
		int[][] dp=new int[n+5][v+5];
		for(int i=1;i<=n;i++) {
			w[i]=sc.nextInt();
			c[i]=sc.nextInt();
		}
		for(int i=1;i<=n;i++) {
			for(int j=0;j<v;j++) {
				if(j<c[i])
					dp[i][j]=dp[i-1][j];
				else {
					dp[i][j]=Math.max(dp[i-1][j], dp[i-1][j-c[i]]+w[i]);
				}
			}
		}
		//关于空间的优化 
		int[] dpx=new int[v+5];
		for(int i=1;i<=n;i++) {
			for(int j=v;j>=c[i];j++) {
				dpx[j]=Math.max(dpx[j-c[i]]+w[i], dpx[j]);
			}
		}
		
	}

}

摘自背包九讲:

1.4 初始化的细节问题
            我们看到的求最优解的背包问题题目中,事实上有两种不太相同的问法。有的题目要求“恰好装满背包”时的最优解,有的题目则并没有要求必须把背包装满。一种区别这两种问法的实现方法是在初始化的时候有所不同。如果是第一种问法,要求恰好装满背包,那么在初始化时除了F[0] 为0,其它F[1::V ] 均设为负无穷,这样就可以保证最终得到的F[V ] 是一种恰好装满背包的最优解。          

             如果并没有要求必须把背包装满,而是只希望价格尽量大,初始化时应该将F[0::V ]全部设为0。这是为什么呢?可以这样理解:初始化的F 数组事实上就是在没有任何物品可以放入背包时的合法状态。如果要求背包恰好装满,那么此时只有容量为0 的背包可以在什么也不装且价值为0 的情况下被“恰好装满”,其它容量的背包均没有合法的解,属于未定义的状态,应该被赋值为-∞ 了。如果背包并非必须被装满,那么任何容量的背包都有一个合法解“什么都不装”,这个解的价值为0,所以初始时状态的值也就全部为0了。
 

 关于背包九讲的内循环常数级优化:可以看看这2个博客

https://www.jianshu.com/p/8d41d87fcbb7

https://www.cnblogs.com/crackpotisback/p/8554051.html

这个优化在背包体积特别大的情况下优势才明显。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值