贪心算法解决LeetCode 1877题：最小化最大数对和

李放放

1. 问题解析：理解最大数对和的最小值

LeetCode 1877题要求我们找到一个数组中的数对分配方式，使得所有数对和的最大值尽可能小。具体来说，给定一个包含偶数个元素的数组，我们需要将元素两两配对，然后计算所有配对的和，最后找出这些和中的最大值。我们的目标是让这个最大值尽可能小。

这个问题看似简单，但背后蕴含着深刻的算法思想。首先我们需要明确几个关键点：

数组长度n保证是偶数，这意味着所有元素都能完美配对，没有剩余
我们需要考虑所有可能的配对方式
我们的目标是最小化所有配对和中最大的那个

举个例子，对于数组[3,5,2,3]，一种可能的配对方式是(3,5)和(2,3)，对应的和是8和5，最大值为8。另一种配对方式是(3,3)和(5,2)，对应的和是6和7，最大值为7。显然第二种配对方式更好，因为它使最大和更小。

2. 解题思路：贪心算法的应用

2.1 为什么贪心算法适用

解决这个问题的关键在于认识到贪心算法的适用性。贪心算法在每一步都做出局部最优的选择，希望这些选择能导致全局最优解。对于这个问题，我们可以通过以下观察得出贪心策略：

如果我们把最大的数和最小的数配对，可以防止最大的数"拖累"其他较大的数
这样配对后，次大的数就可以和次小的数配对，以此类推
这种策略确保没有单个数会过度影响最终的最大和

2.2 数学证明

让我们更严谨地证明这个策略的正确性。假设数组排序后为a₁ ≤ a₂ ≤ ... ≤ aₙ。

假设存在一个最优解，其中a₁没有与aₙ配对。那么a₁必须与某个aⱼ配对(1 < j < n)，而aₙ与某个aᵢ配对(1 < i < n)。此时我们有：
a₁ + aⱼ ≤ aᵢ + aₙ

因为aⱼ ≤ aₙ且a₁ ≤ aᵢ，所以如果我们交换配对，让a₁与aₙ配对，aⱼ与aᵢ配对，新的和为：
a₁ + aₙ 和 aⱼ + aᵢ

由于aⱼ ≤ aₙ且a₁ ≤ aᵢ，所以aⱼ + aᵢ ≤ aᵢ + aₙ，这意味着交换后的最大和不会比原来更大。因此，存在一个最优解包含a₁和aₙ的配对。

通过数学归纳法，我们可以将这个结论推广到剩下的n-2个元素，从而证明整个贪心策略的正确性。

3. 代码实现与优化

3.1 基础实现

基于上述分析，我们可以得出以下实现步骤：

首先对数组进行排序
使用双指针法，一个指向开头，一个指向末尾
计算每对数的和，并跟踪最大值
向中间移动指针，直到所有数都配对完毕

以下是C++的实现代码：

cpp复制class Solution {
public:
    int minPairSum(vector<int>& nums) {
        sort(nums.begin(), nums.end());
        int left = 0, right = nums.size() - 1;
        int max_sum = 0;
        while (left < right) {
            int current_sum = nums[left] + nums[right];
            max_sum = max(max_sum, current_sum);
            left++;
            right--;
        }
        return max_sum;
    }
};