设计一个分治算法求整数数组a中（长度至少为2）中第二大的元素

设计一个分治算法求整数数组`a`中第二大的元素，可以按照以下步骤进行：

1. **划分**（Divide）：首先将整个数组分为两部分。如果数组长度小于2，直接返回数组为空或只有一个元素，这种情况显然不存在第二大值。对于长度大于等于2的数组，取中间元素作为分界点，左边的子数组叫左半部分，右边的子数组叫右半部分。

2. **递归处理**（Conquer）：对左右两个子数组分别递归地寻找各自的最大值`max_left`和`max_right`。这一步实际上是在解决较小规模的问题，直到达到基本情况。

3. **合并结果**（Combine）：当所有子数组都处理完毕后，我们需要找到整个数组中的第二大值。这是通过比较原数组的第一个元素（不是最大值）和左右两个子数组的最大值之间的大小来完成的：
- 如果`max_left > max_right`，那么当前数组的第一大值在左半部分，第二大值就是`max_right`。
- 否则，第二大值就在右半部分，即`max_left`。

4. **返回结果**：最终返回经过上述过程计算得到的第二大元素。

下面是伪代码形式的算法描述：

def find_second_largest(arr):
    if len(arr) < 2:
        return None

    mid = len(arr) // 2
    left_max = find_second_largest(arr[:mid])  # 分治左半部分
    right_max = find_second_largest(arr[mid:])  # 分治右半部分

    if left_max is not None and (right_max is None or left_max > right_max):  # 比较并合并结果
        return right_max if left_max == arr[0] else left_max
    else:
        return left_max if right_max == arr[0] else right_max