OFFSET
1,5
COMMENTS
The Goldbach conjecture states that any even number 2n >= 6 can be written as the sum of two unordered odd prime numbers p and q, or 2n = p + q, where 0 <= q-p < 2n.
It appears that the Goldbach conjecture still holds if the span of q-p allowed is reduced by half, from [0, 2n) to [0, n). This stronger form of the Goldbach conjecture is true if a(n) >= 1 for n >= 3. Any further reduction of the q-p span from [0, n) to [0, m), with m < n, results in the number of prime decompositions for at least one of the even numbers being zero.
The values of a(n) and the Goldbach partitions G(n) for n up to 100000 are given in the LINKS section.
Note that a(n) listed above is for the decomposition of even numbers 2n >=6 into unordered odd primes. The sequence for the decomposition of even number 2n >=4 into unordered primes is the same as a(n), except that the second term of the sequence becomes 1.
LINKS
EXAMPLE
a(1)=0 because 2*1 cannot be written as the sum of two primes.
a(2)=0. Although 2*2 can be written as 2+2, 2 is not an odd prime.
a(3)=1 because 2*3 = 3+3.
a(4)=1 because 2*4 = 3+5.
a(5)=2 because 2*5 = 5+5 and 3+7.
a(6)=1 because 2*6 = 5+7.
a(7)=1 because 2*7 = 7+7. 3+11 is not a valid partition as 11-3 > 7.
PROG
(PARI) a(n) = {my(nb=0, m=2*n, q); forprime(p=3, m, if (isprime(q=m-p) && (q%2) && ((q-p)>=0) && ((q-p)<n), nb++); ); nb; } \\ Michel Marcus, May 28 2020
CROSSREFS
KEYWORD
nonn
AUTHOR
Ya-Ping Lu, May 27 2020
STATUS
approved