
本文深入探讨如何在给定预算下最大化收集物品数量的问题。我们将此问题建模为经典的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。
在这个例子中,贪婪策略偶然得到了最优解。但如果物品列表是 [[60, 100], [50, 200]],预算 Z = 100。
真正的反例是当选择一个较便宜的物品后,会阻止我们选择一个价值更高的物品组合。 例如:物品 A = [60, 100], B = [50, 200], C = [50, 200]。预算 Z = 100。
这个例子说明,简单的贪婪排序无法保证最优解。对于这类“每个物品只能选择一次”的问题,我们需要更强大的方法。
上述问题本质上是经典的0/1背包问题的一个变种。
0/1背包问题是指在给定背包容量和一系列有重量和价值的物品时,选择部分物品放入背包,使总重量不超过背包容量,且总价值最大。每个物品只能选择一次(0或1)。
动态规划 (Dynamic Programming) 方法
动态规划是解决0/1背包问题的标准方法。我们可以定义一个 dp 数组来存储在不同预算下能获得的最大物品数量。
状态定义: dp[w] 表示在预算为 w 的情况下,能够收集到的最大物品数量。
初始化: dp 数组的所有元素初始化为0。dp[0] = 0,表示预算为0时,能收集的物品数量为0。
状态转移方程: 对于每个物品 (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 的状态)。
最终结果: dp[Z] 即为在给定预算 Z 下能收集到的最大物品数量。
Java 代码示例
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)); // 此时需要特殊处理
}
}时间与空间复杂度
上述动态规划方法的局限性在于,当预算 Z 非常大时(例如达到 10^9 甚至 10^12),直接创建大小为 Z+1 的 dp 数组将导致内存溢出,且循环次数过多。
在这种情况下,我们可以转换问题的视角,利用“背包容量大而物品数量相对较少”的特点。我们可以将DP状态定义为: dp[v] 表示为了获得总价值 v 所需的最小总成本。
状态定义: dp[v] 表示为了获得总物品数量 v 所需的最小总成本。
初始化: dp[0] = 0(获得0物品数量需要0成本)。 dp 数组的其他元素初始化为无穷大(例如 Long.MAX_VALUE),表示这些物品数量当前无法达到。
状态转移方程: 对于每个物品 (cost_i, items_i),我们遍历所有可能的物品总数量 v(从 MaxTotalItems 递减到 items_i)。 dp[v] = min(dp[v], dp[v - items_i] + cost_i)
其中 MaxTotalItems 是所有物品的 items 值的总和。这个值通常远小于 Z。
最终结果: 遍历 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 物品。
}
}时间与空间复杂度(大预算优化)
这种优化方法在 S 远小于 Z 的情况下非常有效。
解决预算约束下物品收集最大化问题,应首先识别其0/1背包问题的本质。
选择正确的动态规划状态定义是高效解决这类问题的关键。在实现时,务必注意数据类型溢出问题(例如 long 到 int 的转换,以及 Long.MAX_VALUE 的使用)。
以上就是解决预算约束下物品收集最大化问题:0/1背包算法详解的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号