首页 > Java > java教程 > 正文

解决预算约束下物品收集最大化问题:0/1背包算法详解

DDD
发布: 2025-11-04 13:10:01
原创
991人浏览过

解决预算约束下物品收集最大化问题:0/1背包算法详解

本文深入探讨如何在给定预算下最大化收集物品数量的问题。我们将此问题建模为经典的0/1背包问题,详细阐述其动态规划解决方案,包括状态定义、转移方程及java代码实现。同时,文章还将讨论当预算(背包容量)非常大时,如何通过状态转换优化算法,以提供高效且准确的解决方案。

问题定义

假设我们有一组物品,每个物品都由两个属性定义:购买所需的“金额”(或称“成本”)和购买后能获得的“物品数量”(或称“价值”)。我们还有一个固定的“预算”上限。目标是在不超过预算的前提下,最大化我们能收集到的物品总数量。

例如,给定一个物品列表 [[cost1, items1], [cost2, items2], ...] 和一个总预算 Z。我们需要从列表中选择物品,使得所选物品的总成本不超过 Z,并且所选物品的总数量最大。

贪婪方法的局限性

在解决这类问题时,一种直观的贪婪方法可能是将物品按成本升序排列(如果成本相同,则按物品数量降序排列),然后从头开始依次选择物品,直到预算耗尽。示例如下:

public static long solveGreedy(List<List<Long>> arr, long z) {
    // 按照成本升序排序,成本相同时按物品数量降序
    arr.sort((a, b) -> {
        int costCompare = Long.compare(a.get(0), b.get(0));
        if (costCompare == 0) {
            return Long.compare(b.get(1), a.get(1)); // 成本相同,优先选物品数量多的
        }
        return costCompare;
    });

    long totalCost = 0;
    long totalItems = 0;
    for (List<Long> item : arr) {
        long currentCost = item.get(0);
        long currentItems = item.get(1);

        if (totalCost + currentCost <= z) {
            totalCost += currentCost;
            totalItems += currentItems;
        } else {
            // 预算不足以购买当前物品,且由于已排序,后续物品成本更高,因此无法购买
            break;
        }
    }
    return totalItems;
}
登录后复制

然而,这种贪婪策略并不总是能得到最优解。考虑以下场景: 物品列表:[[10, 100], [90, 10], [50, 200]],预算 Z = 100。

  • 贪婪策略:
    1. 选择 [10, 100] (剩余预算 90,总物品 100)。
    2. 尝试选择 [50, 200] (成本 50 <= 90),选择 [50, 200] (剩余预算 40,总物品 300)。
    3. 尝试选择 [90, 10] (成本 90 > 40),无法选择。 最终结果:300 物品。
  • 最优解:
    1. 选择 [50, 200] (剩余预算 50)。
    2. 选择 [10, 100] (剩余预算 40)。
    3. 无法选择 [90, 10]。 最终结果:300 物品。

在这个例子中,贪婪策略偶然得到了最优解。但如果物品列表是 [[60, 100], [50, 200]],预算 Z = 100。

  • 贪婪策略:选择 [50, 200],剩余预算 50,无法选择 [60, 100]。总物品 200。
  • 最优解:选择 [60, 100],剩余预算 40。总物品 100。 这仍然未能完全展示贪婪失败的情况。 考虑 [[70, 100], [50, 200]],预算 Z = 100。
  • 贪婪:选择 [50, 200],剩余预算 50。无法选择 [70, 100]。总物品 200。
  • 最优:选择 [50, 200],总物品 200。

真正的反例是当选择一个较便宜的物品后,会阻止我们选择一个价值更高的物品组合。 例如:物品 A = [60, 100], B = [50, 200], C = [50, 200]。预算 Z = 100。

  • 贪婪(按成本排序):B, C, A
    1. 选 B [50, 200],剩余预算 50。总物品 200。
    2. 无法选 C [50, 200] (预算 50)。 最终物品:200。
  • 最优:
    1. 选 A [60, 100],剩余预算 40。总物品 100。
    2. 无法选 B 或 C。 最终物品:100。

这个例子说明,简单的贪婪排序无法保证最优解。对于这类“每个物品只能选择一次”的问题,我们需要更强大的方法。

0/1 背包问题的解决方案

上述问题本质上是经典的0/1背包问题的一个变种。

  • 背包容量 (Knapsack Capacity):对应我们的“预算” Z。
  • 物品重量 (Item Weight):对应每个物品的“成本” cost。
  • 物品价值 (Item Value):对应每个物品的“物品数量” items。

0/1背包问题是指在给定背包容量和一系列有重量和价值的物品时,选择部分物品放入背包,使总重量不超过背包容量,且总价值最大。每个物品只能选择一次(0或1)。

动态规划 (Dynamic Programming) 方法

动态规划是解决0/1背包问题的标准方法。我们可以定义一个 dp 数组来存储在不同预算下能获得的最大物品数量。

  1. 状态定义: dp[w] 表示在预算为 w 的情况下,能够收集到的最大物品数量。

  2. 初始化: dp 数组的所有元素初始化为0。dp[0] = 0,表示预算为0时,能收集的物品数量为0。

  3. 状态转移方程: 对于每个物品 (cost_i, items_i),我们遍历所有可能的预算 w(从 Z 递减到 cost_i)。 dp[w] = max(dp[w], dp[w - cost_i] + items_i)

    这个方程的含义是:对于当前的预算 w,我们可以选择不包含当前物品 i(此时最大物品数量为 dp[w] 保持不变),或者选择包含当前物品 i(此时最大物品数量为 dp[w - cost_i] + items_i)。我们取这两种情况的最大值。 注意:在内层循环中,w 必须从大到小遍历,以确保每个物品只被考虑一次(即 dp[w - cost_i] 使用的是不包含当前物品 i 的状态)。

  4. 最终结果: dp[Z] 即为在给定预算 Z 下能收集到的最大物品数量。

Java 代码示例

魔搭MCP广场
魔搭MCP广场

聚合优质MCP资源,拓展模型智能边界

魔搭MCP广场 96
查看详情 魔搭MCP广场
import java.util.List;
import java.util.ArrayList;
import java.util.Arrays;

public class MaximizeItemsWithBudget {

    /**
     * 使用0/1背包动态规划解决预算约束下物品收集最大化问题。
     *
     * @param items 物品列表,每个元素为 [成本, 物品数量]
     * @param budget 总预算
     * @return 能收集到的最大物品数量
     */
    public static long solveKnapsack(List<List<Long>> items, long budget) {
        // dp[w] 表示在预算为 w 时,能收集到的最大物品数量
        // 数组大小为 budget + 1,因为预算可以从 0 到 budget
        long[] dp = new long[(int) budget + 1]; // 注意:budget可能很大,需要考虑long类型转换为int的限制

        // 初始化 dp 数组,所有元素默认为 0

        // 遍历每一个物品
        for (List<Long> item : items) {
            long currentCost = item.get(0);
            long currentItems = item.get(1);

            // 从最大预算开始向下遍历,确保每个物品只被考虑一次
            for (int w = (int) budget; w >= currentCost; w--) {
                // 状态转移方程:
                // dp[w] = max(不包含当前物品i时的dp[w], 包含当前物品i时的dp[w - currentCost] + currentItems)
                dp[w] = Math.max(dp[w], dp[(int) (w - currentCost)] + currentItems);
            }
        }

        // 最终结果是预算为 budget 时能收集到的最大物品数量
        return dp[(int) budget];
    }

    public static void main(String[] args) {
        // 示例1:与贪婪方法对比
        List<List<Long>> items1 = new ArrayList<>();
        items1.add(Arrays.asList(60L, 100L)); // 成本60,物品100
        items1.add(Arrays.asList(50L, 200L)); // 成本50,物品200
        long budget1 = 100L;
        // 预期结果:200 (选择 [50, 200])
        System.out.println("示例1 (预算100): 最大物品数量 = " + solveKnapsack(items1, budget1)); // 输出 200

        // 示例2:更复杂的场景
        List<List<Long>> items2 = new ArrayList<>();
        items2.add(Arrays.asList(10L, 60L));
        items2.add(Arrays.asList(20L, 100L));
        items2.add(Arrays.asList(30L, 120L));
        long budget2 = 50L;
        // 预期结果:220 (选择 [20, 100] 和 [30, 120])
        System.out.println("示例2 (预算50): 最大物品数量 = " + solveKnapsack(items2, budget2)); // 输出 220

        // 示例3:如果预算过大,dp数组可能内存溢出或计算量过大
        // List<List<Long>> items3 = ...;
        // long budget3 = 1_000_000_000_000L; // 1万亿,这会导致dp数组过大
        // System.out.println("示例3 (大预算): 最大物品数量 = " + solveKnapsack(items3, budget3)); // 此时需要特殊处理
    }
}
登录后复制

时间与空间复杂度

  • 时间复杂度:O(N * Z),其中 N 是物品的数量,Z 是预算。
  • 空间复杂度:O(Z),用于存储 dp 数组。

处理大预算(大容量)情况

上述动态规划方法的局限性在于,当预算 Z 非常大时(例如达到 10^9 甚至 10^12),直接创建大小为 Z+1 的 dp 数组将导致内存溢出,且循环次数过多。

在这种情况下,我们可以转换问题的视角,利用“背包容量大而物品数量相对较少”的特点。我们可以将DP状态定义为: dp[v] 表示为了获得总价值 v 所需的最小总成本。

  1. 状态定义: dp[v] 表示为了获得总物品数量 v 所需的最小总成本。

  2. 初始化: dp[0] = 0(获得0物品数量需要0成本)。 dp 数组的其他元素初始化为无穷大(例如 Long.MAX_VALUE),表示这些物品数量当前无法达到。

  3. 状态转移方程: 对于每个物品 (cost_i, items_i),我们遍历所有可能的物品总数量 v(从 MaxTotalItems 递减到 items_i)。 dp[v] = min(dp[v], dp[v - items_i] + cost_i)

    其中 MaxTotalItems 是所有物品的 items 值的总和。这个值通常远小于 Z。

  4. 最终结果: 遍历 dp 数组,找到最大的 v,使得 dp[v] <= Z。

Java 代码示例(大预算优化)

import java.util.List;
import java.util.ArrayList;
import java.util.Arrays;

public class MaximizeItemsWithLargeBudget {

    /**
     * 使用0/1背包动态规划(针对大预算优化)解决预算约束下物品收集最大化问题。
     * 当预算Z非常大但物品总数量相对较小时适用。
     *
     * @param items 物品列表,每个元素为 [成本, 物品数量]
     * @param budget 总预算
     * @return 能收集到的最大物品数量
     */
    public static long solveKnapsackLargeBudget(List<List<Long>> items, long budget) {
        long maxPossibleItems = 0;
        for (List<Long> item : items) {
            maxPossibleItems += item.get(1); // 计算所有物品的最大总数量
        }

        // dp[v] 表示获得总物品数量 v 所需的最小总成本
        // 数组大小为 maxPossibleItems + 1
        long[] dp = new long[(int) maxPossibleItems + 1];

        // 初始化 dp 数组:dp[0] = 0,其余为 Long.MAX_VALUE
        Arrays.fill(dp, Long.MAX_VALUE);
        dp[0] = 0;

        // 遍历每一个物品
        for (List<Long> item : items) {
            long currentCost = item.get(0);
            long currentItems = item.get(1);

            // 从最大物品数量开始向下遍历,确保每个物品只被考虑一次
            for (int v = (int) maxPossibleItems; v >= currentItems; v--) {
                // 只有当 dp[v - currentItems] 不是 Long.MAX_VALUE 时,才考虑加上 currentCost
                if (dp[(int) (v - currentItems)] != Long.MAX_VALUE) {
                    dp[v] = Math.min(dp[v], dp[(int) (v - currentItems)] + currentCost);
                }
            }
        }

        // 遍历 dp 数组,找到在预算内能获得的最大物品数量
        long maxItemsCollected = 0;
        for (int v = (int) maxPossibleItems; v >= 0; v--) {
            if (dp[v] <= budget) {
                maxItemsCollected = v;
                break; // 找到第一个满足条件的 v,即为最大值
            }
        }
        return maxItemsCollected;
    }

    public static void main(String[] args) {
        // 示例:模拟大预算场景,但物品数量不大
        List<List<Long>> items = new ArrayList<>();
        items.add(Arrays.asList(100_000_000L, 10L)); // 成本1亿,物品10
        items.add(Arrays.asList(200_000_000L, 15L)); // 成本2亿,物品15
        items.add(Arrays.asList(50_000_000L, 5L));   // 成本5千万,物品5
        long largeBudget = 300_000_000L; // 3亿预算

        // 如果用solveKnapsack,dp数组大小将是3亿+1,内存溢出
        // System.out.println("大预算示例 (传统DP): " + solveKnapsack(items, largeBudget)); // 会溢出

        // 使用优化后的方法
        System.out.println("大预算示例 (优化DP): 最大物品数量 = " + solveKnapsackLargeBudget(items, largeBudget));
        // 预期结果:20 (选择 [100M, 10] 和 [200M, 15] 组合的变种,或者 [50M, 5], [100M, 10], [100M, 10]等)
        // 实际:[100M, 10] + [200M, 15] = 300M 成本,25物品
        // [50M, 5] + [100M, 10] + [200M, 15] = 350M 成本,30物品 (超出预算)
        // 最佳是 [100M, 10] + [200M, 15] => 25 物品
        // 或者 [50M, 5] + [100M, 10] => 150M 成本,15物品
        // [50M, 5] + [200M, 15] => 250M 成本,20物品
        // 所以最优是 25 物品。
    }
}
登录后复制

时间与空间复杂度(大预算优化)

  • 时间复杂度:O(N * S),其中 N 是物品的数量,S 是所有物品的最大总数量 (MaxTotalItems)。
  • 空间复杂度:O(S)。

这种优化方法在 S 远小于 Z 的情况下非常有效。

总结

解决预算约束下物品收集最大化问题,应首先识别其0/1背包问题的本质。

  1. 小预算场景:当预算 Z 不大时,直接使用传统的动态规划方法,dp[w] 存储在预算 w 下的最大物品数量,时间复杂度为 O(N * Z)。
  2. 大预算场景:当预算 Z 很大,但物品总数量 MaxTotalItems 相对较小时,应采用优化的动态规划方法,dp[v] 存储获得总物品数量 v 所需的最小成本,时间复杂度为 O(N * MaxTotalItems)。

选择正确的动态规划状态定义是高效解决这类问题的关键。在实现时,务必注意数据类型溢出问题(例如 long 到 int 的转换,以及 Long.MAX_VALUE 的使用)。

以上就是解决预算约束下物品收集最大化问题:0/1背包算法详解的详细内容,更多请关注php中文网其它相关文章!

最佳 Windows 性能的顶级免费优化软件
最佳 Windows 性能的顶级免费优化软件

每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。

下载
来源:php中文网
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
最新问题
开源免费商场系统广告
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新 English
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送
PHP中文网APP
随时随地碎片化学习

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号