所需的最小减量，以便数组中所有相邻对的总和不超过 K

这里我们需要写一个程序来找到一个数组，对该数组进行最小减量，以便所有相邻对的总和不超过给定的值 K。

思路

• 我们需要先对数组进行排序，这样可以方便地找到相邻的点。
• 然后我们需要遍历数组并检查相邻对的总和是否超过了 K。
• 如果超过了 K，则我们需要将数组中的数字减小，以便相邻对之和不超过 K。
• 为了尽可能减小数字，我们可以使用二分搜索来快速找到要减小的数字。

步骤

1. 对数组进行排序。
2. 初始化变量 sum，用于存储相邻对之和。
3. 遍历数组，每次检查相邻对之和是否超过了 K。
4. 如果超过了 K，则使用二分搜索找到要减小的数字，并减小它。
5. 将 sum 更新为减小数字后相邻对的总和。
6. 重复步骤 3-5，直到相邻对的总和不超过 K。

代码片段

def solve(arr, K):
    arr.sort()
    left, right = 0, len(arr)-1
    sum = 0
    while left <= right:
        while right > 0 and arr[left] + arr[right-1] >= K:
            right -= 1
        sum += right - left
        left += 1
    return sum

def minDecrement(arr, K):
    l, r = 0, max(arr)
    while l <= r:
        mid = (l+r)//2
        if solve(arr, K-mid) <= len(arr) - 1:
            r = mid - 1
        else:
            l = mid + 1
    return l

性能

该算法的时间复杂度是 O(nlogn)，其中 n 是数组的长度。该算法具有很好的性能，并且可以处理大型数组。