OFFSET
0,4
COMMENTS
Usually successive powers of 2, but "stutters" when n is power of 2. (G.f. must satisfy some interesting functional equations!). Empty partition of 0 defined as 1.
This is an instance of what I like to call "numbral theory": whenever you have a set of indexed objects that you can do some kind of arithmetic on, then the indices act as "shadows" of the objects and you can generally talk about lots of analogs, such as partitions, primes, even generating functions, etc. It would be worthwhile to systematically "fill out" the entries for as many of these systems as possible in the OEIS.
The "AND" version is just the all-ones sequence. - Christian G. Bower, Jun 07 2005
a(n) is the number of orbits of the FlipAfter1 map on integers with n+1 binary digits. The FlipAfter1 map on an integer in binary form is: flip each bit that is immediately preceded by a "1". For example, the orbits on 4-bit numbers are 1000 -> 1100 -> 1010 -> 1111 and 1001 -> 1101 -> 1011 -> 1110. The orbits on n-bit numbers are all of length 2^floor(log_2(n-1)+1) (for n >= 2), A062383. There is precisely one member of each orbit in the following set: integers in binary form such that each bit at distance a power of two from the leading "1" is 0. This set of orbit representatives begins 1, 10, 100, 1000, 1001, 10000, 10010, 100000, 100001, 100100, 100101. - David Callan, Oct 13 2012
LINKS
FORMULA
EXAMPLE
a(5)=4 thus: 5 4+1 5+3+2+1 4+3+2 (where "+" = XOR).
MATHEMATICA
a[n_] := 2^(n - Ceiling[ Log[2, n] ] - 1); Table[a[n], {n, 1, 36}] (* Jean-François Alcover, Apr 04 2013 *)
PROG
(PARI) a(n)=2^(n-1-log(n+.5)\log(2)) \\ Charles R Greathouse IV, Apr 08 2012
CROSSREFS
KEYWORD
easy,nonn,nice
AUTHOR
Marc LeBrun, Feb 08 2000
STATUS
approved