如何判断整数数组可通过双元素各减1操作转化为全零数组

只要同时满足以下两个条件，数组就可以通过指定操作转化为全零数组：

• 数组所有元素的总和为偶数
• 数组中的最大元素值 ≤ 其余所有元素的总和

额外说明：如果数组长度为1，只有元素本身就是0时可以得到全零数组，否则无法执行操作自然无法实现转换。

每次操作会选中两个不同元素各减1，数组总数值会减少2，最终要得到总和为0的全零数组，初始总和必然是偶数，这是基础必要条件。
而最大元素的每一次减1，都需要搭配另一个不同元素的减1来完成操作，所以最大元素需要的配对次数，不可能超过其余所有元素能提供的总配对次数，也就是最大元素的值不能超过其余元素的总和。
两个条件同时满足时，只要优先用最大元素和其余元素配对，再处理剩余的数值，一定可以得到全零数组。

• 示例1数组[1, 2, 1, 1]：总和为5是奇数，不满足第一个条件，无法转化为全零数组，和示例运行结果一致。
• 示例2数组[1, 1, 2, 2]：总和为6是偶数，最大元素为2，其余元素总和为4，2≤4满足第二个条件，可转化为全零数组，和示例运行结果一致。

内容的提问来源于stack exchange，提问作者Đức Long