数组排列使相邻元素总和不能被3整除

在解决这个问题之前，我们需要先了解一下满足条件的数组元素有哪些。 当一个数被3除，可能会有三种余数：0、1、2。 根据这个原理，我们可以将数组元素按余数分成三类：余数为0的、余数为1的以及余数为2的。 当两个数相邻时，它们的余数加起来可能有三种情况：

• 0 + 0 = 0
• 0 + 1 = 1
• 0 + 2 = 2
• 1 + 1 = 2
• 1 + 2 = 0
• 2 + 2 = 1

我们可以发现，只有当相邻两个数的余数之和等于3或者是余数都为0时才会被3整除。 所以为了满足题目的要求，我们需要将余数为1和余数为2的元素进行排列，以避免出现相邻余数之和为3的情况。

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

def rearrange_array(arr):
    odd = []
    even = []
    # 将数组元素按余数分类
    for num in arr:
        if num % 2 == 0:
            even.append(num)
        else:
            odd.append(num)
    # 进行重新排列
    if len(even) > len(odd):
        return rearrange(odd, even)
    else:
        return rearrange(even, odd)

def rearrange(x, y):
    # 使用迭代器
    iter_x = iter(x)
    iter_y = iter(y)
    result = []
    x_val = next(iter_x, None)
    y_val = next(iter_y, None)
    while x_val and y_val:
        result.append(x_val)
        result.append(y_val)
        x_val = next(iter_x, None)
        y_val = next(iter_y, None)
    # 处理仅有一个数组有元素的情况
    if x_val:
        result.append(x_val)
    if y_val:
        result.append(y_val)
    return result

看一下代码中的注释，应该可以很容易地理解这个算法。 首先将数组元素按余数分类，然后根据元素数量进行排列，最后将排好序的数组拼接到一起作为最终的结果返回。

这个解法的时间复杂度为O(nlogn)，因为我们使用了Python内置的排序函数来排序数组元素。