Python 数组分割：判断能否分成和相等的子数组

一个正整数数组，能否分成2份，每份的和相等

以下是一个Python的实现，使用递归的方式进行搜索：

def can_partition(nums):
    total = sum(nums)
    if total % 2 != 0:
        return False
    target = total // 2
    return search(nums, target, 0, 0)

def search(nums, target, index, current_sum):
    if current_sum == target:
        return True
    if current_sum > target or index >= len(nums):
        return False
    if search(nums, target, index+1, current_sum + nums[index]):
        return True
    return search(nums, target, index+1, current_sum)

该函数接受一个正整数数组 nums 作为输入，返回一个布尔值，表示是否能将该数组分成两个和相等的子数组。

首先计算整个数组的总和 total，如果 total 是奇数，那么无法分成两个和相等的子数组，直接返回 False。

否则，将 total 除以 2，得到目标和 target。我们可以在搜索过程中维护一个当前和 current_sum，从数组的第一个元素开始搜索，每次将当前元素加入 current_sum，然后递归搜索下一个元素。如果 current_sum 等于 target，那么说明找到一组解，返回 True。如果 current_sum 大于 target 或者已经遍历完整个数组，那么说明无法找到解，返回 False。在搜索过程中，我们可以对每个元素进行选择或不选择两种情况的搜索，只要其中一条路径能够找到解，就可以提前返回 True。

该算法的时间复杂度为 $O(2^n)$，其中 $n$ 是数组的长度。因为对于每个元素，都有两种选择（选或不选），所以一共有 $2^n$ 种可能的组合。但是，由于使用了递归的方式进行搜索，实际的运行时间可能会受到函数调用栈的限制，可能无法处理非常大的输入数据。