编写一个python实现三分递归找假硬币

编写一个Python函数，用于使用分治策略（三分法）来查找数组中唯一的一个假硬币，其重量比真硬币轻或重。假设我们有n个硬币和一个天平，初始时我们将硬币分为三组，然后通过比较两组之间的重量来确定假硬币在哪一组。如果假硬币在最轻的一组或最重的一组，递归过程会终止；否则，我们会将疑似区域再次一分为三，继续这个过程直到找到假硬币。

这是一个简单的实现：

def find_impostor(coins, real_weight):
    def _find_impostor(arr, low, high):
        if low == high:  # 如果只剩下一个元素，直接检查是否异常
            return arr[low] != real_weight
        mid = (low + high) // 3
        left_heavy = _find_impostor(arr[:mid], low, mid - 1)
        middle_light = _find_impostor(arr[mid:], mid, high)

        # 根据中间部分判断假硬币在哪一侧
        if left_heavy and middle_light:
            # 假设假硬币在较轻的那一侧
            return _find_impostor(arr[:mid], low, mid - 1)
        elif not left_heavy:
            # 假如假硬币在较重的那一侧或中间那一组
            return middle_light or arr[mid] != real_weight

    n = len(coins)
    if n <= 3:
        return False  # 如果只有三个或更少的硬币，无法确定假币
    else:
        return _find_impostor(coins, 0, n - 1)


# 使用示例
coins = [1, 2, 3, 4, 5]  # 假设真实重量是3
real_weight = 3
impostor_found = find_impostor(coins, real_weight)
print(f"假硬币存在: {impostor_found}")