login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 60th year, we have over 367,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

Other ways to Give
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A335225 Partitions of a stronger form of Goldbach Conjecture: the number of decompositions of an even number 2n into the sum of two odd prime numbers p and q with 0 <= q-p < n. 2
0, 0, 1, 1, 2, 1, 1, 1, 2, 1, 1, 2, 2, 1, 2, 1, 2, 2, 1, 2, 3, 1, 2, 2, 2, 1, 2, 1, 2, 4, 2, 2, 3, 1, 2, 3, 2, 2, 2, 1, 3, 4, 1, 2, 5, 1, 2, 3, 2, 3, 4, 3, 2, 4, 3, 3, 5, 2, 2, 6, 2, 2, 5, 1, 3, 4, 3, 2, 4, 4, 4, 6, 4, 3, 7, 2, 4, 6, 2, 4, 5, 2, 3, 5, 4, 3, 5, 3, 3, 6, 2, 4, 6, 2, 4, 5, 2, 3, 6, 3 (list; graph; refs; listen; history; text; internal format)
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
Sequence in context: A034380 A328966 A077479 * A070106 A182595 A109706
KEYWORD
nonn
AUTHOR
Ya-Ping Lu, May 27 2020
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified December 9 23:44 EST 2023. Contains 367696 sequences. (Running on oeis4.)