

A195061


a(n) is the minimum numbers of ks in the sum of a=b_k+c_k, b_k is positive even number and c_k is odd number greater than or equal to 1, and b and c has only prime factors smaller than sqrt(prime(n)), such that the prime factors of all b_k and c_k contain every primes that is smaller than the square root of nth prime.


1



1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

2,35


COMMENTS

From A196526, every prime number can be written into at least one ways in the form p=b+c, while b is a positive even number, and c is an odd number that is 1 or greater, and all prime factors of b and c are smaller than square root of the nth prime or equal to 2.
Defining the set of 2 and all primes that are smaller than square root prime(n) as set PP.
In principle any pair of b and corresponding c=pb are coprimes.
For each pair of b and c in the set of SS={{b1,c1},{b2,c2},...,{bk,ck}}, if we make a set s_k that lists all prime factors (no repetition) of bk and ck, s_k will be a subset of the set PP.
Then we can pick up a few elements of set SS, say {b_s1,cs1},{b_s2,c_s2}...{b_sm,c_sm}, such that the union of prime factor set s_s1, s_s1...s_sm, define as set TT, will be equal to the set PP.
a(n) is the minimum needed number of element m, such that the prime factors of the b and c in these picked elements will traverse all element of set PP.
The Mathematica program gives term 2 to 100.


LINKS

Table of n, a(n) for n=2..100.


EXAMPLE

for n=2, prime(2)=3, 3=2+1, PP={2}, b=2, c=1, TT={2}=PP, so a(2)=1;
for n=3, prime(3)=5, 5=2^2+1, PP={2}, b=2^2, c=1, TT={2}=PP, so a(3)=1;
...
for n=37, prime(37)=157, 157=2*5+3*7^2=2*11+3^3*5, PP={2,3,5,7,11}, b1=2*5, c1=3*7^2; b2=2*11, c2=3^3*5; TT={2,3,5,7,11}=PP, so a{37}=2


MATHEMATICA

AllPrimes[k_] :=
Module[{p, maxfactor, pset}, p = Prime[k];
maxfactor = NextPrime[IntegerPart[Sqrt[p]] + 1, 1];
If[maxfactor == 2, pset = {2}, p0 = 2; pset = {2};
While[p0 = NextPrime[p0]; p0 <= maxfactor,
pset = Union[pset, {p0}]]]; pset];
NextIntegerWithFactor[seed_, fset_] :=
Module[{m, a, l, i, fset1}, m = seed  1;
While[m++; If[Mod[m, 2] == 1, m++]; a = FactorInteger[m];
l = Length[a]; fset1 = {};
Do[fset1 = Union[fset1, {a[[i]][[1]]}], {i, 1, l}];
Intersection[fset1, fset] != fset1]; m];
FactorSet[seed_] :=
Module[{fset2, a, l, i}, a = FactorInteger[seed]; l = Length[a];
fset2 = {}; Do[fset2 = Union[fset2, {a[[i]][[1]]}], {i, 1, l}];
fset2]; SplitPrime[n_, q0_] :=
Module[{p, pset, q, r, rp, fs, rs, qs}, p = Prime[n];
pset = AllPrimes[n]; q = q0;
While[q++; q = NextIntegerWithFactor[q, pset]; r = p  q;
rp = Abs[r]; fs = FactorSet[rp];
rs = Complement[pset, FactorSet[q]];
qs = Intersection[fs,
rs]; (fs != {1}) && (fs != qs) && (q <= (p + 1))]; {p, q, r} ];
AllSplits[n_] :=
Module[{q, ss, spls}, q = 0; spls = {};
While[ss = SplitPrime[n, q]; q = ss[[2]];
If[q <= (Prime[n] + 1), spls = Union[spls, {ss}]];
q < (Prime[n] + 1)]; spls];
Checkk[k_, n_] :=
Module[{allp, checkp, fsp, alls, subs, esubs, lsub, found, i, j},
allp = AllPrimes[n]; alls = AllSplits[n]; subs = Subsets[alls, {k}];
lsub = Length[subs]; i = 0; found = 0;
While[(found == 0) && (i < lsub), i++; esubs = subs[[i]];
checkp = {};
Do[fsp = FactorSet[esubs[[j]][[2]]]; checkp = Union[checkp, fsp];
If[Abs[esubs[[j]][[3]]] != 1, fsp = FactorSet[esubs[[j]][[3]]];
checkp = Union[checkp, fsp]], {j, 1, k}];
If[Length[checkp] == Length[allp], found = 1]]; found];
Checks[n_] :=
Module[{found, i}, found = 0; i = 0;
While[found == 0, i++; found = Checkk[i, n]]; i]; Table[
Checks[i], {i, 2, 100}]


CROSSREFS

Cf. A196526.
Sequence in context: A140685 A055666 A251139 * A064130 A129139 A032539
Adjacent sequences: A195058 A195059 A195060 * A195062 A195063 A195064


KEYWORD

nonn,easy,uned


AUTHOR

Lei Zhou, Oct 03 2011


STATUS

approved



