cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A118967 If n doesn't occur among the first (n-1) terms of the sequence, then a(n) = 2n. If n occurs among the first (n-1) terms of the sequence, then a(n) = n/2.

Original entry on oeis.org

1, 4, 6, 2, 10, 3, 14, 16, 18, 5, 22, 24, 26, 7, 30, 8, 34, 9, 38, 40, 42, 11, 46, 12, 50, 13, 54, 56, 58, 15, 62, 64, 66, 17, 70, 72, 74, 19, 78, 20, 82, 21, 86, 88, 90, 23, 94, 96, 98, 25, 102, 104, 106, 27, 110, 28, 114, 29, 118, 120, 122, 31, 126, 32, 130, 33, 134, 136
Offset: 1

Views

Author

Leroy Quet, May 07 2006

Keywords

Comments

Sequence is a permutation of the positive integers. It also is its own inverse (i.e. a(a(n)) = n).
From Carl R. White, Aug 23 2010: (Start)
Powers of two with even exponent exchange places with the next lowest power of two with odd exponent and vice versa, i.e., 4 swaps with 2, 256 with 128, etc.
For other numbers where n > 1, the even component (the power of two in n's prime factorization) is exchanged the opposite way: A power of two with odd component is exchanged for the next lowest (even exponent) power of two and vice versa. (End)

Examples

			a(6) = 2^1*3 -> 2^0*3 = 3; a(12) = 2^2*3 -> 2^3*3 = 24; a(25)=2^0*25 -> 2^1*25 = 50; a(1024) = 2^10 -> 2^9 = 512; a(5120) = 2^10*5 -> 2^11*5 = 10240. - _Carl R. White_, Aug 23 2010
		

Crossrefs

Cf. A118966.
Matches A073675 for all non-powers-of-two. - Carl R. White, Aug 23 2010

Programs

  • Mathematica
    f[s_] := Block[{n = Length@s}, Append[s, If[ MemberQ[s, n], n/2, 2n]]]; Drop[ Nest[f, {1}, 70], {2}] (* Robert G. Wilson v, May 16 2006 *)
  • bc
    /* GNU bc */ scale=0;1;for(n=2;n<=100;n++){m=0;for(k=n;!k%2;m++)k/=2;if(k==1){2^(m-(-1)^m)}else{k*2^(m+(-1)^m)}} /* Carl R. White, Aug 23 2010 */

Formula

From Carl R. White, Aug 23 2010: (Start)
a(1) = 1;
a(2^m) = 2^(m-(-1)^m), m > 0;
a(k*2^m) = k*2^(m+(-1)^m), m > 0, odd k > 1. (End)

Extensions

More terms from Robert G. Wilson v, May 16 2006