A276034 - OEIS

%I #15 Nov 21 2018 02:34:18

%S 0,0,1,1,2,1,2,2,2,2,2,2,2,2,2,0,3,2,1,2,2,2,1,2,1,0,2,1,1,2,2,3,3,2,

%T 2,2,2,3,2,1,2,4,3,1,5,3,2,5,1,2,2,2,5,2,3,4,5,3,2,5,2,1,4,0,1,5,3,1,

%U 3,5,4,4,3,2,4,3,3,4,2,3,7,2,2,3,2,2,2

%N a(n) is the number of decompositions of 2n into an unordered sum of two primes in A274987.

%C The two primes are allowed to be the same.

%C It is conjectured that the primes in A274987 (a subset of all primes) are sufficient to decomposite even numbers into two primes in A274987 when n > 958.

%C This sequence provides a very tight alternative of the Goldbach conjecture for all positive integers, in which indices of zero terms form a complete sequence {1, 2, 16, 26, 64, 97, 107, 122, 146, 167, 194, 391, 451, 496, 707, 856, 958}.

%C There is no more zero terms of a(n) tested up to n = 100000.

%H Lei Zhou, <a href="/A276034/b276034.txt">Table of n, a(n) for n = 1..10000</a>

%H Lei Zhou, <a href="/A276034/a276034.png">List plot of the first 10000 terms of a(n)</a>.

%e A274987 = {3, 5, 7, 11, 13, 17, 23, 31, 37, 53, 59, 61, 73, 79, 83, 89, 101, 103, 109, ...}.

%e For n=3, 2n=6 = 3+3, one case of decomposition, so a(3)=1;

%e for n=4, 2n=8 = 3+5, one case of decomposition, so a(4)=1;

%e ...

%e for n=17, 2n=34 = 3+31 = 11+23 = 17+17, three cases of decompositions, so a(17)=3.

%t p = 3; sp = {p}; a = Table[m = 2*n; l = Length[sp]; While[sp[[l]] < m, While[p = NextPrime[p]; cp = 2*3^(Floor[Log[3, 2*p - 1]]) - p; ! PrimeQ[cp]]; AppendTo[sp, p]; l++]; ct = 0; Do[If[(2*sp[[i]] <= m) && (MemberQ[sp, m - sp[[i]]]), ct++], {i, 1, l}]; ct, {n, 1, 87}]

%Y Cf. A002375, A045917, A001031, A274987, A171611, A240708, A240712, A230443.

%K nonn,easy,base,look

%O 1,5

%A _Lei Zhou_, Nov 15 2016