从绝对差为 2 或 0 的对中重复删除最小元素后剩余的数组元素

在一个数组中，我们定义一个“好”的对是指这对元素的绝对值差为 2 或 0。如果一个数组中有多个好的对，则我们可以选择其中一个好的对，并删除其中较小的那个元素。重复这个过程，直到数组中没有好的对为止。最终剩余下来的数组元素即为所求。

举个例子，对于数组 [1, 2, 3, 4, 5, 6]，它包含了三个好的对：(1, 3), (2, 4) 和 (3, 5)。如果我们选择删除 (1, 3) 中的 1 元素，则新数组为 [2, 3, 4, 5, 6]；接着删除 (2, 4) 中的 2 元素，得到 [3, 4, 5, 6]；最后删除 (3, 5) 中的 3 元素，剩余的数组为 [4, 5, 6]，没有好的对了，退出循环，返回 [4, 5, 6]。

下面是一个简单的 Python 实现：

def good_pairs(nums):
    """
    找出所有好的对。
    """
    pairs = []
    for i in range(len(nums)):
        for j in range(i+1, len(nums)):
            if abs(nums[i] - nums[j]) in [0, 2]:
                pairs.append((i,j))
    return pairs

def delete_smaller(nums, pairs):
    """
    在所有好的对中，选择其中一个好的对，
    删除较小的那个元素，返回新的数组。
    """
    if not pairs:
        return nums
    i, j = pairs.pop()
    if nums[i] < nums[j]:
        del nums[i]
    else:
        del nums[j]
    return nums

def remaining_elements(nums):
    """
    重复删除好的对中的较小元素，直到没有好的对为止。
    """
    pairs = good_pairs(nums)
    while pairs:
        nums = delete_smaller(nums, pairs)
        pairs = good_pairs(nums)
    return nums

print(remaining_elements([1,2,3,4,5,6])) # [4, 5, 6]

以上代码中，我们首先定义了一个 good_pairs 函数，用于找出所有好的对。该函数通过两个嵌套的循环，枚举所有可能的下标对，计算它们的值之间的差，并判断是否为 0 或 2，如果是，则将该下标对添加到一个列表中。

接着，我们定义了一个 delete_smaller 函数，它的输入为数组 nums 和好的对列表 pairs。该函数首先弹出 pairs 列表中的最后一个元素（我们随意地选择了这个元素作为要删除的好的对），然后比较这个好的对中的两个元素的大小，删除较小的那个元素，并返回新的数组。

最后，我们定义了一个 remaining_elements 函数，用于重复删除好的对中的较小元素，直到没有好的对为止。该函数首先调用 good_pairs 函数，找出所有好的对；接着调用 delete_smaller 函数，选择其中一个好的对，并将较小的那个元素删除，返回新的数组；最后再次调用 good_pairs 函数，判断是否还有好的对，如果有则重复上述操作，如果没有则返回剩余的数组。

可以看到，这个算法的时间复杂度为 $O(n^2)$，其中 $n$ 是数组的长度。如果数组很长，该算法的性能可能会受到影响。