2

我被要求编写一段代码来检查哥德巴赫猜想是否适用于直到 N 的每个偶数，到目前为止，我有以下内容：

def gb(n):
    #give a list of all primes less than n using the sieve of Eratosthenes (not considering 1 to be prime like Goldbach):
    primes=list(range(2,n+1))

    for i in primes:

        j=2

        while i*j<=primes[-1]:
            if i*j in primes :
                primes.remove(i*j)
                j=j+1

    #give a list of even numbers less than n but starting from 4
    evens=list(range(4,n+1,2))

然后我需要检查是否所有偶数中的数字都可以作为两个素数之和。在这一点上我很困惑，我知道我需要使用循环，但我不确定如何检查它们是否都符合猜想？

4

2 回答 2

1

而不是循环遍历所有偶数，并且对于每个检查是否有两个素数的组合与该数字相加，您可以做相反的事情：收集一组中两个素数的所有和（在 O(1 )) 并为每个偶数检查它是否在该集合中。

>>> N = 1000
>>> primes = [p for p in range(N+1) if not any(p % q == 0 for q in range(2, p//2))]
>>> evens = [n for n in range(4, N+1, 2)]
>>> sums = set(p + q for p in primes for q in primes)
>>> all(n in sums for n in evens)
True

当然，primes可以使用筛子更有效地实现，但这在这里并不重要。给定primes，检查数字的复杂度为 O(P^2 + N)，其中 P 是小于 N 的素数的数量。

或者，如果您不想计算和存储两个素数的所有 P^2 组合的总和，您可以将素数转换为一个集合，并且对于每个偶数n，找到一个也在 中p的素数。这将具有复杂性 O(N * P)，但需要更少的空间n - pprimes

>>> primes = set(primes)
>>> all(any(n - p in primes for p in primes) for n in evens)
于 2016-12-07T21:52:36.933 回答
0

这应该这样做：

import itertools
import math

def check(n, primes):
    """Check if Goldbach's conjecture holds for n, given a list of primes"""

    for a,b in itertools.product((p for p in primes if p<n), repeat=2):
        if a+b == n: return True
    return False


def checkAll(N):
    """Check whether Goldbach's conjecture holds for all even numbers >2, <=N"""

    primes = getPrimes(N)
    for n in range(4, N+1):
        if not check(n, primes): return False
    return True


def checkPrime(n, primes):
    """Check whether n is prime, given a list of prime numbers smaller than it"""
    for p in primes:
        if p > math.ceil(n**0.5): return True
        if not n%p: return False
    return True


def getPrimes(N):
    """Get all prime numbers <=N"""
    answer = [2,3]
    for n in range(5, N+1):
        if check(n): answer.append(n)
于 2016-12-07T21:40:50.093 回答