背包问题

✍ dations ◷ 2025-10-19 14:21:19 #最优化,运筹学,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()。

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

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

相关

  • 痂(音jiā)指伤口或疮口表面形成的块状物,质硬,主要成分为血小板、纤维蛋白、细菌残骸等。结痂是生物体的一种自我保护机制,防止伤口或疮口继续出血,在伤口或疮口愈合后会自行脱落
  • 布莱洛克-陶西格分流术布莱洛克-托马斯-陶西格分流术(英语:Blalock–Thomas–Taussig shunt),过去称布莱洛克-陶西格分流术(Blalock–Taussig shunt),简称布-陶分流或BT分流,是用来治疗青紫型先天性心脏病
  • 先驱者镀金铝板先驱者镀金铝板,是指安装在两艘无人驾驶太空探测器-先驱者10号及先驱者11号上,一块载有由人类发出的讯息的镀金铝板。板上刻有一男一女的画像,及一些符号用以表示这艘探测器的来
  • 临时大总统中华民国大总统,简称大总统,是中华民国建国时期的国家元首,为1947年行宪后的中华民国总统前身。对于首位中华民国大总统的说法不一。台海两岸主流意见、中华民国和中华人民共和
  • 反对派反对党(Opposition party),或反对派,是多党政治体制中与建制或执政联盟对立的政党,其主要职责是监督执政党的行为,同时也为在将来的选举中获胜从而成为执政党打基础。有效管治之实
  • 昭文馆昭文馆或弘文馆,中国古代收藏、校理典籍的官署。朝鲜王朝也设有弘文馆。最早在东汉有东观的设置。后有崇文馆、士林馆之名。唐、宋后改称弘文馆。与集贤书院、史馆合称“三馆
  • A.C.EA.C.E(韩语:에이스,日语:エース),是韩国经纪公司BEAT INTERACTIVE推出的五人男子组合,成员由东勋、Wow、Jun、金柄官、Chan组成,2017年5月23日以单曲〈CACTUS〉正式出道。团名“A.C.
  • 柏锡福柏锡福,或贝施福(James Whitford Bashford;1849年5月29日-1919年3月18日)是一位美国美以美会会督,也是中国第一位美以美会会督。柏锡福于1849年5月29日出生在威斯康星州费耶特。1
  • 核子时代核子时代(英语:Atomic Age)从1945年三位一体核试成功后开始,标志核技术成熟的象征。虽然1933年猜想核链反应,于1942年12月才产生了第一个人造自我维持的核链反应(芝加哥1号堆)。人
  • 拼贴画拼贴画(Collage),是为使用黏合剂把实物贴在画面上的一种特殊技法的意思,并有其独自的绘画意义。拼贴有时可能包括杂志和报纸的剪报,丝带,油漆,彩色或手工纸片,其他艺术品或文本的一