背包问题

✍ dations ◷ 2025-09-10 12:53:05 #最优化,运筹学,NP完全问题,计算复杂性理论,组合数学

背包问题(Knapsack problem)是一种组合优化的NP完全问题。问题可以描述为:给定一组物品,每种物品都有自己的重量和价格,在限定的总重量内,我们如何选择,才能使得物品的总价格最高。问题的名称来源于如何选择最合适的物品放置于给定背包中。

相似问题经常出现在商业、组合数学,计算复杂性理论、密码学和应用数学等领域中。

也可以将背包问题描述为决定性问题,即在总重量不超过的前提下,总价值是否能达到。

我们有 种物品,物品 的重量为,价格为。
我们假定所有物品的重量和价格都是非负的。背包所能承受的最大重量为。
如果限定每种物品只能选择0个或1个,则问题称为0-1背包问题。

可以用公式表示为:

如果限定物品最多只能选择个,则问题称为有界背包问题。
可以用公式表示为:

如果不限定每种物品的数量,则问题称为无界背包问题。
各类复杂的背包问题总可以变换为简单的0-1背包问题进行求解。

在计算机科学领域,人们对背包问题感兴趣的原因在于:

如果重量, ..., 和都是非负数,那么用动态规划,可以用伪多项式时间解决背包问题。下面描述了无界背包问题的解法。

简便起见,我们假定重量都是正数(wj > 0)。在总重量不超过的前提下,我们希望总价格最高。对于 ≤ ,我们将在总重量不超过的前提下,总价格所能达到的最高值定义为()。()即为问题的答案。

显然,()满足:

其中,为第种物品的价格。

关于第二个公式的一个解释:总重量为时背包的最高价值可能有两种情况,第一种是该重量无法被完全填满,这对应于表达式()。第二种是刚好填满,这对应于一个包含一系列刚好填满的可能性的集合,其中的可能性是指当最后放进包中的物品恰好是重量为的物品时背包填满并达到最高价值。而这时的背包价值等于重量为物品的价值和当没有放入该物品时背包的最高价值之和。故归纳为表达式 + ( - )。最后把所有上述情况中背包价值的最大值求出就得到了()的值。

如果总重量为0,总价值也为0。然后依次计算(0), (1), ..., (),并把每一步骤的结果存入表中供后续步骤使用,完成这些步骤后()即为最终结果。由于每次计算()都需要检查种物品,并且需要计算个()值,因此动态规划解法的时间复杂度为O()。如果把, ..., , 都除以它们的最大公因数,算法的时间将得到很大的提升。

尽管背包问题的时间复杂度为O(),但它仍然是一个NP完全问题。这是因为同问题的并不成线性关系。原因在于问题的输入大小仅仅取决于表达输入所需的比特数。事实上, l o g 2 W + 1 {\displaystyle \left\lfloor log_{2}W\right\rfloor +1} 所需的比特数,同问题的输入长度成线性关系。

类似的方法可以解决0-1背包问题,算法同样需要伪多项式时间。我们同样假定, ..., 和都是正整数。我们将在总重量不超过的前提下,前种物品的总价格所能达到的最高值定义为(, )。

(, )的递推关系为:

通过计算(, )即得到最终结果。为提高算法性能,我们把先前计算的结果存入表中。因此算法需要的时间和空间都为O(),通过对算法的改进,空间的消耗可以降至O()。

推广的背包问题有二次背包问题、多维背包问题、多目标背包问题等。

二次背包问题是背包问题的一种推广形式:

相关

  • 恩斯赫德恩斯赫德(荷兰语:Enschede,荷兰语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gent
  • 荷尔蒙 (泰国剧集)荷尔蒙(Hormones),全名为Hormones: The Series,是部泰国青少年电视剧系列,由GTH出品,于2013年首播第一季。 剧情聚焦在高中生的生活与彼此的关系,包含校园及家庭生活,以及所面临的各
  • 沭河沭河,古称沭水,俗称茅河,位于中国山东省南部和江苏省北部,原为淮河左岸支流,经黄河夺泗、河道演变和历代治理,今沭河源自山东省沂水县北部沂山南麓,南流经山东省沂水、莒县、莒南、
  • 东萨塞克斯郡东萨塞克斯(郡)(英语:East Sussex),英国英格兰东南部的郡,南临英吉利海峡。刘易斯是郡治。以人口计算,布赖顿-霍夫是第1大自治市镇(Borough),威尔登区是第2大自治市镇;布赖顿是第1大镇(To
  • 兰彻斯特方程兰彻斯特方程(Lanchester's laws),全称为兰彻斯特战斗动态方程,也常称为兰彻斯特作战模型。是二战后形成的军事运筹学、数理战术学的重要作战模拟理论。该理论于一战前期的1914
  • 林树梅林树梅(1808年-1851年),字瘦云,又字歗云,号歗云子、铁笛生,金门人,本姓陈,父亲为陈春甫,后过继给林廷福。曾做过台湾凤山知县曹谨幕僚,而后因有筹画长才为世所知,被闽浙总督邓维廷、颜伯
  • 乔安娜·克恩斯乔安娜·克恩斯(英语:Joanna Kerns,1953年2月12日-旧金山)是美国女演员、导演,在《成长的烦恼》中扮演玛吉·西弗而著名。
  • 杜臻杜臻(1633年-1703年),字肇余,榜名徐臻,浙江省嘉兴府秀水县(今浙江省嘉兴市)人,清朝政治人物、进士出身。顺治十五年,登进士,改庶吉士。顺治十八年,任翰林院编修。后任秘书院侍读。康熙八
  • 巴拿马历史巴拿马是中美洲划分北南美洲的国家。其历史可追溯至公元前的阿兹特克文明、玛雅文明。于1513年,哥伦布的助手到达一个小渔村(现今的巴拿马城),将之改称巴拿马,意思为渔乡、渔群。
  • 花园镇 (成都市)花园镇,是中华人民共和国四川省成都市郫都区下辖的一个乡镇级行政单位。2019年12月,撤销花园镇,将其所属行政区域划归友爱镇管辖。花园镇下辖以下地区:第一社区、第二社区、麻柳