数学领域著名的“哥德巴赫猜想”的大致意思是：任何一个大于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

以下是Python实现的程序，思路与C++实现相同。

import math

MAXN = 2000000

def sieve(n):
    isPrime = [True] * (n+1)
    primes = []
    for i in range(2, int(math.sqrt(n))+1):
        if isPrime[i]:
            for j in range(i*i, n+1, i):
                isPrime[j] = False
    for i in range(2, n+1):
        if isPrime[i]:
            primes.append(i)
    return primes

n = int(input())
primes = sieve(n)
for p in primes:
    q = n - p
    if q in primes:
        print(n, '=', p, '+', q)
        break

需要注意的是，Python的执行速度相对于C++较慢，对于20亿以内的数，程序的执行时间可能会比较长。如果需要优化程序的执行速度，可以考虑使用一些Python的优化技巧，如使用numpy库进行数组计算等。