C++ 拍卖算法优化：O(n log n) 解决 1000 规模收益最大化问题

拍卖定价问题在算法竞赛和实际商业场景中都很常见。想象你是一位农场主，手头有 m 批干草需要出售，n 个顾客给出了各自的报价。如何设定单价，才能在不超过库存的情况下获得最大收益？本文将带你从暴力解法出发，逐步优化到 O(n log n) 的优雅解决方案。

1. 问题分析与暴力解法

拍卖定价问题的核心在于找到一个平衡点：单价定得越高，单个商品的利润越大，但能购买的顾客越少；单价定得太低，虽然顾客多了，但总收益可能不理想。

最直观的暴力解法是：

1. 枚举所有可能的单价（即所有顾客的报价）
2. 对每个单价，统计有多少顾客的报价 ≥ 该单价
3. 计算当前单价下的总收益（单价 × min(合格顾客数, m)）
4. 记录最大收益对应的单价

// 暴力解法伪代码 int max_profit = 0; int best_price = 0; for (int i = 0; i < n; i++) { int price = a[i]; int count = 0; for (int j = 0; j < n; j++) { if (a[j] >= price) count++; } int profit = price * min(count, m); if (profit > max_profit || (profit == max_profit && price < best_price)) { max_profit = profit; best_price = price; } }

这种解法的时间复杂度是 O(n²)，当 n=1000 时，循环次数将达到百万级别，在算法竞赛中很可能超时。

2. 关键优化思路：排序与单次遍历

观察问题特性，我们可以发现两个关键点：

1. 最优单价必定是某个顾客的报价（否则可以提高到下一个报价点获得更高收益）
2. 排序后的报价数组能帮助我们快速计算 ≥ 当前价格的顾客数量

基于此，优化步骤如下：

1. 首先对报价数组进行排序（O(n log n)）
2. 遍历排序后的数组，对于每个位置 i：
   • 当前价格 a[i]
   • ≥ a[i] 的顾客数 = n - i
   • 实际销售数量 = min(n - i, m)
   • 当前收益 = a[i] × min(n - i, m)

// 优化后的核心逻辑 sort(a, a + n); for (int i = 0; i < n; i++) { int current_profit = a[i] * min(n - i, m); if (current_profit > max_profit || (current_profit == max_profit && a[i] < best_price)) { max_profit = current_profit; best_price = a[i]; } }

这样就将时间复杂度从 O(n²) 降到了 O(n log n)（主要由排序决定），完美解决了 1000 规模的问题。

3. 边界条件与代码健壮性

在实际实现中，我们需要考虑几种边界情况：

1. 顾客数少于库存（n < m）：此时最多只能卖出 n 批干草
2. 库存充足（m ≥ n）：可以卖给所有报价 ≥ 单价的顾客
3. 多个相同报价：排序后相同报价会相邻，不影响算法正确性
4. 多个最优解：题目要求选择单价最小的那个

以下是完整的 AC 代码实现：

#include <bits/stdc++.h> using namespace std; int main() { int m, n; cin >> m >> n; vector<int> a(n); for (int i = 0; i < n; i++) { cin >> a[i]; } sort(a.begin(), a.end()); int max_profit = 0; int best_price = 0; for (int i = 0; i < n; i++) { int current_profit = a[i] * min(n - i, m); if (current_profit > max_profit || (current_profit == max_profit && a[i] < best_price)) { max_profit = current_profit; best_price = a[i]; } } cout << best_price << " " << max_profit; return 0; }

4. 算法正确性证明

为什么这个算法能找到最优解？我们可以从几个方面来理解：

1. 完备性：我们检查了所有可能的候选单价（每个顾客的报价）
2. 有效性：对于每个候选单价，我们准确计算了可能的最大收益
3. 最优性：通过比较所有候选解，保留了收益最大（或收益相同但单价最小）的解

数学上可以证明，最优单价必定出现在某个顾客的报价点。假设存在一个非报价点的最优单价 p，那么：

• 设 p 位于 a[k] 和 a[k+1] 之间（a[k] < p < a[k+1]）
• 此时 ≥ p 的顾客数与 ≥ a[k+1] 的顾客数相同
• 但 a[k+1] > p，所以单价 a[k+1] 能获得更高收益
• 这与 p 是最优单价矛盾

因此，最优单价必定是某个 a[i]。

5. 复杂度分析与性能对比

让我们对比不同解法的性能：

虽然在这个规模下两种方法可能都能通过，但当 n 增加到 10^5 时：

• 暴力解法：10^10 次操作（不可行）
• 优化解法：~1.6×10^6 次操作（仍然高效）

6. 实际应用与变种问题

这种算法思想可以应用于多种场景：

1. 电商定价：确定最优商品价格以最大化收益
2. 广告拍卖：设置最低出价门槛
3. 资源分配：有限资源分配给出价最高的用户

变种问题可能包括：

• 多物品拍卖：每个顾客可以购买多件物品
• 预算限制：顾客有总预算限制
• 阶梯定价：不同数量区间不同价格

7. 调试技巧与常见错误

在实现这类算法时，容易犯的错误包括：

1. 忘记排序：导致后续计算 ≥ 当前价格的顾客数不正确
2. 边界处理不当：特别是当 m > n 时的情况
3. 初始化问题：max_profit 应初始化为 0 而非 INT_MIN
4. 相同收益处理：需要选择单价更小的解

调试时可以构造以下测试用例：

// 测试用例1：常规情况 5 4 2 8 10 7 // 期望输出：7 21 // 测试用例2：顾客少于库存 10 3 5 20 15 // 期望输出：15 30 // 测试用例3：多个相同最优解 3 5 4 4 2 5 5 // 期望输出：4 8

8. 扩展思考：更大规模数据

如果问题规模扩大到 n=10^5，我们的算法依然高效，但可以考虑以下优化：

1. 输入输出加速：使用更快的 IO 方法

   ios::sync_with_stdio(false); cin.tie(nullptr);

2. 避免使用 vector：对于固定大小数组，使用原生数组可能稍快
3. 并行排序：对于超大规模数据，可以考虑并行算法

不过对于竞赛场景，O(n log n) 的算法在 n=10^5 时已经足够高效，通常不需要进一步优化。

9. 与其他算法的对比

类似的优化思想也出现在其他经典问题中：

1. 股票买卖问题：记录历史最低价，计算当前可能的最大利润
2. 接雨水问题：通过预处理左右最大值来优化计算
3. 最大子数组和：Kadane 算法的优化思路

这些问题的共同点是都能通过预处理（如排序）或聪明地遍历，将 O(n²) 的暴力解法优化到 O(n log n) 或 O(n)。

10. 编码风格与工程实践

在真正的工程实现中，我们还需要考虑：

1. 模块化设计：将核心算法封装成函数

   pair<int, int> calculate_optimal_price(int m, const vector<int>& offers) { // 实现核心逻辑 return {best_price, max_profit}; }

2. 防御性编程：检查输入有效性
3. 文档注释：说明算法复杂度和前提条件
4. 单元测试：验证各种边界情况

这些实践虽然在竞赛编程中不必要，但在实际工程项目中至关重要。