login
Sequence starting with 2 such that the sum of any two distinct terms is a semiprime having two distinct prime factors.
4

%I #18 Nov 22 2021 10:03:16

%S 2,4,31,91,183,4411,29611,59935,110791,10418851,658653031,20123369491

%N Sequence starting with 2 such that the sum of any two distinct terms is a semiprime having two distinct prime factors.

%C Choose the first number not leading to a contradiction.

%C The sequence starting with 1 is hard: {1, 5, 9, 86, 212, ...};

%C Sequence starting with 3: {3, 7, 19, 32, 55, 246, 39499, ...};

%C Sequence starting with 4: {4, 6, 29, 89, 137, 749, 1685, 16497, ...}.

%e The subset {2, 4, 31} produces the three sums {6, 33, 35} which factor as {2*3, 3*11, 5*7}.

%p with(numtheory):nn:=500000:T:=array(1..nn): U:=array(1..nn): for p from 1 to

%p nn do: T[p]:=p+1:U[p]:=2:od:for u from 1 to 10 do: k:=1+u:for n from u+1 to

%p nn do:s:=T[n]+T[u]:s1:=nops(factorset(s)):s2:=bigomega(s):if s1=2 and s2=2 then

%p U[k]:=T[n]:k:=k+1:else fi:od:for i from 1 to nn do:T[i]:=U[i]:od:od:for j from

%p 1 to 30 do:print( T[j]):od:

%t TwoDistinct[n_]:=Module[{p,e}, {p,e}=Transpose[FactorInteger[n]]; Length[p]==2 && e=={1,1}]; t={2}; k=2; Do[While[k++; !And@@TwoDistinct/@(k+t)]; AppendTo[t,k], {6}]; t

%Y Cf. A180514, A180565, A180615.

%K nonn

%O 1,1

%A _Michel Lagneau_, Jan 31 2011

%E Removed 84835 and a(10)-a(12) from _Donovan Johnson_, Feb 14 2011