检查排序后的数组是否可以分成总和为 k 的对

在一些算法问题中，需要检查给定数组是否可以分成总和为 k 的对。正如问题的描述所示，该数组是事先排序的。

例子：

输入: arr = [1, 2, 3, 4, 5], k = 7 输出: True 解释: 对可以分割为 (2,5) 和 (3,4) ，它们的和都是 7。

输入: arr = [1, 2, 3, 4, 5], k = 10 输出: False 解释: 在这种情况下，无法从数组中找到两个数字，它们的总和为 10。

下面是用Python语言实现的一个例子，可以判断是否可以将数组分成总和为 k 的对：

def check_array_pairs(arr, k):
    left, right = 0, len(arr) - 1

    while left < right:
        current_sum = arr[left] + arr[right]
        if current_sum == k:
            left += 1
            right -= 1
            return True
        elif current_sum < k:
            left += 1
        else:
            right -= 1

    return False

这里使用双指针技术，从左侧和右侧分别迭代数组，直到找到两个元素的总和等于 k 或者双指针相遇。

下面是程序的一些测试用例：

arr = [1, 2, 3, 4, 5]
assert(check_array_pairs(arr, 7) == True)
assert(check_array_pairs(arr, 10) == False)

arr = [-1, 0, 1, 2, 3, 4, 5, 6]
assert(check_array_pairs(arr, 5) == True)
assert(check_array_pairs(arr, 10) == True)
assert(check_array_pairs(arr, -1) == False)

arr = [1, 2, 2, 4, 5, 7, 8]
assert(check_array_pairs(arr, 10) == True)
assert(check_array_pairs(arr, 14) == True)
assert(check_array_pairs(arr, 16) == False)