背包问题

✍ dations ◷ 2025-10-30 23:17:02 #最优化,运筹学,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()。

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

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

相关

  • 心跳过速心跳过速(tachycardia、tachyarrhythmia),也称心动过速、心跳过快。是指心跳速度超出了正常范围,达到每分钟一百次以上的现象。剧烈的体育运动、紧张、焦虑或服用某些药物等可能
  • 药物依赖物质依赖(英语:Substance dependence)或称药物成瘾(drug addiction),指需要服用药物才能使日常生活表现正常的强迫行为。出现物质依赖状况后,若突然停止服用药物,可能出现药物戒断症
  • 云端运算云计算(英语:cloud computing),是一种基于互联网的计算方式,通过这种方式,共享的软硬件资源和信息可以按需求提供给计算机各种终端和其他设备,使用服务商提供的电脑基建作计算和资
  • 东京湾东京湾(日语:東京湾/とうきょうわん Tōkyō wan */?)是位于日本关东地方的海湾,因日本首都东京位于湾边而得名。日本六大都市中的东京与横滨分别位于该湾的西北岸与西岸。中近
  • 硫化铯硫化铯是一个无机盐类,化学式为Cs2S,在水溶液中水解呈强碱性。在空气中时,硫化铯会放出有臭鸡蛋气味的有毒硫化氢气体。和钠类似,可以使铯和硫在氨中或萘的存在下于四氢呋喃中反
  • 极洞站极洞站(韩语:극동역)是朝鲜民主主义人民共和国咸镜北道化城郡极洞劳动者区的一个铁路车站,属于平罗线。平罗线
  • 马里奥·普佐马里奥·詹路易吉·普佐(Mario Gianluigi Puzo,1920年10月15日-1999年7月2日)是一名有意大利血统的美国作家、编剧家和新闻从业员。他因为写作关于黑手党的犯罪小说而闻名,最著名
  • 硬囊海胆见内文硬囊海胆(学名:)是一属已灭绝的海胆,其化石主要分布在北美,尤其在美国东部的沙质石灰石表面很常见。它们巨大的介壳从侧面看呈锥形,长有许多短小纤细的壳针。并有扁平的基座
  • 天主教戈尔韦、基尔麦克杜柯暨基尔费诺拉教区天主教戈尔韦、基尔麦克杜柯暨基尔费诺拉教区(拉丁语:Dioecesis Galviensis, Duacensis et Finaborensis、爱尔兰语:Deoise Ghaillimh, Chill Mhic Dhuach agus Chill Fhionnú
  • 突尾艾蛛突尾艾蛛(学名:),又名突尾尘蛛,为园蛛科艾蛛属的动物。分布于全北区、台湾岛以及中国大陆的浙江等地。