A192598 -id:A192598 - cp's OEIS frontend

A192580 Monotonic ordering of set S generated by these rules: if x and y are in S and xy+1 is a prime, then xy+1 is in S, and 2 is in S.

2, 5, 11, 23, 47

Offset: 1

Clark Kimberling, Jul 04 2011

Following the discussion at A192476, the present sequence introduces a restriction: that the generated terms must be prime. A192580 is the first of an ascending chain of finite sequences, determined by the initial set called "start":
A192580:  f(x,y)=xy+1 and start={2}
A192581:  f(x,y)=xy+1 and start={2,4}
A192582:  f(x,y)=xy+1 and start={2,4,6}
A192583:  f(x,y)=xy+1 and start={2,4,6,8}
A192584:  f(x,y)=xy+1 and start={2,4,6,8,10}
For other choices of the function f(x,y) and start, see A192585-A192598.
A192580 consists of only 5 terms, A192581 of 7 terms, and A192582 of 28,...; what can be said about the sequence (5,7,28,...)?
2, 5, 11, 23, 47 is the complete Cunningham chain that begins with 2. Each term except the last is a Sophie Germain prime A005384. - Jonathan Sondow, Oct 28 2015

			2 is in the sequence by decree.
The generated numbers are 5=2*2+1, 11=2*5+1, 23=2*11+1, 47=2*23+1.

Wikipedia, Cunningham chain

Cf. A005384, A192476, A192581, A192582, A192583, A192584.

start = {2}; primes = Table[Prime[n], {n, 1, 10000}];
f[x_, y_] := If[MemberQ[primes, x*y + 1], x*y + 1]
b[x_] := Block[{w = x}, Select[Union[Flatten[AppendTo[w, Table[f[w[[i]], w[[j]]], {i, 1, Length[w]}, {j, 1, i}]]]], # < 50000 &]];
t = FixedPoint[b, start]  (* A192580 *)

A192612 Monotonic ordering of set S generated by these rules: if x and y are in S and x^2+2y^2 is a prime, then x^2+2y^2 is in S, and 1 and 2 are in S.

Original entry on oeis.org

1, 2, 3, 11, 17, 19, 139, 251, 307, 379, 587

Offset: 1

Clark Kimberling, Jul 05 2011

See the discussions at A192476 and A192580. The start-set for A192612 is {1,2}. For results using start-sets {1}, and {1,2,4}, see A192598 and A192613.

Cf. A192476, A192580, A192613.

start = {1, 2}; primes = Table[Prime[n], {n, 1, 20000}];
f[x_, y_] := If[MemberQ[primes, x^2 + 2 y^2], x^2 + 2 y^2]
b[x_] :=
  Block[{w = x},
   Select[Union[
     Flatten[AppendTo[w,
       Table[f[w[[i]], w[[j]]], {i, 1, Length[w]}, {j, 1,
         Length[w]}]]]], # < 30000 &]];
t = FixedPoint[b, start]  (* A192612 *)

cp's OEIS Frontend

A192580 Monotonic ordering of set S generated by these rules: if x and y are in S and xy+1 is a prime, then xy+1 is in S, and 2 is in S.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica