数学领域著名的“哥德巴赫猜想”的大致意思是：任何一个大于2的偶数总能表示为两个素数之和。比如：24=5+19，其中5和19都是素数。请设计一个程序，验证20亿以内的偶数都可以分解成两个素数之和。 【输入形式】 在一行中给出一个(2,2 000 000 000]范围内的偶数N。 【输出形式】 在一行中按照格式“N = p + q”输出N的素数分解，其中p ≤ q均为素数。又因为这样的分解不唯一（例如24还可以分解为7+17），要求必须输出所有解中p最小的解。 【样例输入】 18 【样例输出】 18 = 5 + 13

以下是 Python 代码实现：

def is_prime(n):
    """判断 n 是否为素数"""
    if n <= 1:
        return False
    for i in range(2, int(n ** 0.5) + 1):
        if n % i == 0:
            return False
    return True

n = int(input())
for i in range(2, n // 2 + 1):
    if is_prime(i) and is_prime(n - i):
        print(f"{n} = {i} + {n - i}")
        break

程序的思路是，枚举所有可能的素数 $i$，然后判断 $n - i$ 是否也是素数。若是，则输出结果，并结束程序。注意，这里只输出了一组解，如果需要输出所有解，可以将 `break` 去掉。