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.

Showing 1-10 of 11 results. Next

A089405 Number of cycles in range [A014137(n-1)..A014138(n-1)] of permutation A073288/A073289.

Original entry on oeis.org

1, 1, 2, 4, 9, 20, 47, 112, 279, 712, 1868, 5020, 13792, 38630, 110105, 318756, 935817, 2782424, 8368484, 25434314, 78047606
Offset: 0

Views

Author

Antti Karttunen, Nov 29 2003

Keywords

Comments

The number of orbits to which the corresponding automorphism(s) partitions the set of A000108(n) binary trees with n internal nodes.

A073200 Number of simple Catalan bijections of type B.

Original entry on oeis.org

0, 1, 0, 3, 1, 0, 2, 2, 1, 0, 7, 3, 3, 1, 0, 8, 4, 2, 3, 1, 0, 6, 6, 8, 2, 3, 1, 0, 4, 5, 7, 7, 2, 3, 1, 0, 5, 7, 6, 6, 8, 2, 3, 1, 0, 17, 8, 5, 8, 7, 7, 2, 2, 1, 0, 18, 9, 4, 4, 6, 8, 7, 3, 3, 1, 0, 20, 10, 22, 5, 5, 5, 8, 4, 2, 2, 1, 0, 21, 14, 21, 17, 4, 4, 6, 5, 8, 3, 3, 1, 0
Offset: 0

Views

Author

Antti Karttunen, Jun 25 2002

Keywords

Comments

Each row is a permutation of nonnegative integers induced by a Catalan bijection (constructed as explained below) acting on the parenthesizations/plane binary trees as encoded and ordered by A014486/A063171.
The construction process is akin to the constructive mapping of primitive recursive functions to N: we have two basic primitives, A069770 (row 0) and A072796 (row 1), of which the former swaps the left and the right subtree of a binary tree and the latter exchanges the positions of the two leftmost subtrees of plane general trees, unless the tree's degree is less than 2, in which case it just fixes it. From then on, the even rows are constructed recursively from any other Catalan bijection in this table, using one of the five allowed recursion types:
0 - Apply the given Catalan bijection and then recurse down to both subtrees of the new binary tree obtained. (last decimal digit of row number = 2)
1 - First recurse down to both subtrees of the old binary tree and only after that apply the given Catalan bijection. (last digit = 4)
2 - Apply the given Catalan bijection and then recurse down to the right subtree of the new binary tree obtained. (last digit = 6)
3 - First recurse down to the right subtree of old binary tree and only after that apply the given Catalan bijection. (last digit = 8)
4 - First recurse down to the left subtree of old binary tree, after that apply the given Catalan bijection and then recurse down to the right subtree of the new binary tree. (last digit = 0)
The odd rows > 2 are compositions of the rows 0, 1, 2, 4, 6, 8, ... (i.e. either one of the primitives A069770 or A072796, or one of the recursive compositions) at the left hand side and any Catalan bijection from the same array at the right hand side. See the scheme-functions index-for-recursive-sgtb and index-for-composed-sgtb how to compute the positions of the recursive and ordinary compositions in this table.

Crossrefs

Four other tables giving the corresponding cycle-counts: A073201, counts of the fixed elements: A073202, the lengths of the largest cycles: A073203, the LCM's of all the cycles: A073204. The ordinary compositions are encoded using the N X N -> N bijection A054238 (which in turn uses the bit-interleaving function A000695).
The first 21 rows of this table:.
Row 0: A069770. Row 1: A072796. Row 2: A057163. Row 3: A073269, Row 4: A057163 (duplicate), Row 5: A073270, Row 6: A069767, Row 7: A001477 (identity perm.), Row 8: A069768, Row 9: A073280.
Row 10: A069770 (dupl.), Row 11: A072796 (dupl.), Row 12: A057511, Row 13: A073282, Row 14: A057512, Row 15: A073281, Row 16: A057509, Row 17: A073280 (dupl.), Row 18: A057510, Row 19: A073283, Row 20: A073284.
Other Catalan bijection-induced EIS-permutations which occur in this table. Only the first known occurrence is given. Involutions are marked with *, others paired with their inverse:.
Row 164: A057164*, Row 168: A057508*, Row 179: A072797*.
Row 41: A073286 - Row 69: A073287. Row 105: A073290 - Row 197: A073291. Row 416: A073288 - Row 696: A073289.
Row 261: A057501 - Row 521: A057502. Row 2618: A057503 - Row 5216: A057504. Row 2614: A057505 - Row 5212: A057506.
Row 10435: A073292 - Row ...: A073293. Row 17517: A057161 - Row ...: A057162.
For a more practical enumeration system of (some) Catalan automorphisms see table A089840 and its various "recursive derivations".

A023359 Number of compositions (ordered partitions) of n into powers of 2.

Original entry on oeis.org

1, 1, 2, 3, 6, 10, 18, 31, 56, 98, 174, 306, 542, 956, 1690, 2983, 5272, 9310, 16448, 29050, 51318, 90644, 160118, 282826, 499590, 882468, 1558798, 2753448, 4863696, 8591212, 15175514, 26805983, 47350056, 83639030, 147739848, 260967362
Offset: 0

Views

Author

Keywords

Comments

a(n) is the number of partitions of 2n into n parts, with each partition realized into non-symmetric permutations ignoring 1's. For example a(6): the partitions of 12 into 6 are: 111117 (1), 111126 (1), 111135 (1), 111144 (1), 111225 (2), 111234 (3), 111333 (1), 112233 (3), 112224 (2), 122223 (2), 222222 (1), where the number in brackets is the number of non-symmetric permutations ignoring 1's (e.g., 111234, ignore 1's -> 234 and we can also have 243 and 324, 112233->2233 or 2323 or 2332). The sum of the bracketed numbers is a(6)=18. - Jon Perry, Jun 22 2003
a(n) is an eigensequence for the sequence array of the Fredholm-Rueppel sequence A036987. - Paul Barry, Nov 03 2010
a(n) is the number of ways to express n in Napier's location numerals (see Wikipedia). - P. Christopher Staecker, Jul 04 2024

Examples

			A(x) = A(x^2) + x*A(x^2)^2 + x^2*A(x^2)^3 + x^3*A(x^2)^4 + ... = 1 + x + 2x^2 + 3x^3 + 6x^4 + 10x^5 + 18x^6 + 31x^7 + ....
From _Joerg Arndt_, Dec 28 2012: (Start)
There are a(6)=18 compositions of 6 into powers of 2:
[ 1]  [ 1 1 1 1 1 1 ]
[ 2]  [ 1 1 1 1 2 ]
[ 3]  [ 1 1 1 2 1 ]
[ 4]  [ 1 1 2 1 1 ]
[ 5]  [ 1 1 2 2 ]
[ 6]  [ 1 1 4 ]
[ 7]  [ 1 2 1 1 1 ]
[ 8]  [ 1 2 1 2 ]
[ 9]  [ 1 2 2 1 ]
[10]  [ 1 4 1 ]
[11]  [ 2 1 1 1 1 ]
[12]  [ 2 1 1 2 ]
[13]  [ 2 1 2 1 ]
[14]  [ 2 2 1 1 ]
[15]  [ 2 2 2 ]
[16]  [ 2 4 ]
[17]  [ 4 1 1 ]
[18]  [ 4 2 ]
(End)
		

Crossrefs

The column sums of the table A073265.

Programs

  • Maple
    a:= proc(n) option remember;
          `if`(n=0, 1, add(a(n-2^i), i=0..ilog2(n)))
        end:
    seq(a(n), n=0..50);  # Alois P. Heinz, Jan 11 2014
  • Mathematica
    CoefficientList[Series[1/(1 - Sum[x^(2^i), {i, 0, 20}]), {x, 0, 20}], x]
    a[0] = 1; a[n_] := a[n] = Sum[a[n-2^k], {k, 0, Log[2, n]}]; Table[a[n], {n, 0, 50}] (* Jean-François Alcover, Oct 25 2015, after Alois P. Heinz *)
  • PARI
    {a(n) = local(A, m); if( n<0, 0, m=1; A = 1 + O(x); while( m<=n, m*=2; A = 1 /(1 / subst(A, x, x^2) - x)); polcoeff(A, n))}; /* Michael Somos, Dec 20 2002 */
    
  • PARI
    N=66; x='x+O('x^N);
    Vec( 1/(1-sum(k=0,ceil(log(N)/log(2)), x^(2^k) ) ) )
    /* Joerg Arndt, Oct 21 2012 */

Formula

G.f.: 1 / (1 - Sum_{k>=0} x^(2^k)). - Joerg Arndt, Oct 21 2012
a(n) = [n=0] + Sum_{k>=0} a(n-2^k). - Len Smiley, May 07 2001
A(x) = A(x^2)/(1 - x*A(x^2)). - Paul D. Hanna, Dec 16 2002
INVERT transform of characteristic function of powers of 2, i.e., A036987 interpreted with an offset 1 instead of 0. - Antti Karttunen, Dec 12 2003
a(n) seems to be asymptotic to A*B^n where A=0.332198..., B=1.766398... - Benoit Cloitre, Dec 17 2002. More accurately: B=1.76639811455017359722848839244009973023206928795707277527828507440838434..., A=0.58679374529351144845013208294162259198824401250194713608555348278359775... - Vaclav Kotesovec, Apr 30 2014
Satisfies A(x) = 1 + A(x) * Sum_{k>=0} x^(2^k). a(m) == 1 (mod 2) when m=2^n-1, otherwise a(m) == 0 (mod 2). - Paul D. Hanna, Aug 27 2003
a(m) == 0 (mod 4) if A000120(m+2) >= 4. In general, a(m) == 0 (mod 2^N) if A000120(m+2^(N-1)) >= 2^N. - Giedrius Alkauskas, Mar 05 2010

Extensions

Edited by Franklin T. Adams-Watters, Aug 05 2005

A130403 Signature permutations of SPINE-transformations of A057163-conjugates of Catalan automorphisms in table A122204.

Original entry on oeis.org

0, 1, 0, 2, 1, 0, 3, 3, 1, 0, 4, 2, 2, 1, 0, 5, 7, 3, 2, 1, 0, 6, 8, 4, 3, 2, 1, 0, 7, 6, 5, 4, 3, 2, 1, 0, 8, 4, 7, 5, 4, 3, 2, 1, 0, 9, 5, 6, 6, 5, 4, 3, 2, 1, 0, 10, 17, 8, 8, 8, 5, 4, 3, 2, 1, 0, 11, 18, 9, 7, 6, 8, 5, 5, 3, 2, 1, 0, 12, 20, 10, 9, 7, 7, 7, 4, 4, 3, 2, 1, 0, 13, 21, 12, 10, 9, 6
Offset: 0

Views

Author

Antti Karttunen, Jun 11 2007

Keywords

Comments

Row n is the signature permutation of the Catalan automorphism which is obtained from A057163-conjugate of the n-th automorphism in the table A122204 with the recursion scheme "SPINE", i.e. row n is obtained as SPINE(A057163 o ENIPS(A089840[n]) o A057163). See A122203 and A122204 for the description of SPINE and ENIPS. Each row occurs only once in this table. Inverses of these permutations can be found in table A130402. This table contains also all the rows of A122203 and A089840.

Crossrefs

Cf. The first 22 rows of this table: row 0 (identity permutation): A001477, 1: A082345, 2: A130936, 3: A073288, 4: A130942, 5: A130940, 6: A130938, 7: A130944, 8: A130946, 9: A130952, 10: A130950, 11: A130948, 12: A057161, 13: A130962, 14: A130964, 15: A069767, 16: A130966, 17: A074688, 18: A130954, 19: A130956, 20: A130960, 21: A130958, Other rows: 169: A069770, 3617: A082339, 65167: A057501.
Cf. As a sequence differs from A130403 for the first time at n=92, where a(n)=21, while A130403(n)=22.

A073289 Permutation of natural numbers induced by the Catalan bijection gma073289! acting on the parenthesizations encoded by A014486.

Original entry on oeis.org

0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 13, 12, 14, 15, 19, 22, 21, 16, 20, 17, 18, 23, 24, 25, 27, 26, 28, 29, 33, 36, 35, 30, 34, 31, 32, 37, 38, 39, 41, 40, 51, 52, 60, 64, 63, 56, 62, 58, 59, 42, 43, 53, 61, 57, 44, 54, 45, 46, 47, 55, 48, 49, 50, 65, 66, 67, 69, 68, 70, 71
Offset: 0

Views

Author

Antti Karttunen, Jun 25 2002

Keywords

Crossrefs

Inverse permutation: A073288. Occurs for first time in A073200 as row 696.
The scheme function gma073287! referred to below given in A073287.

A082345 Permutation of natural numbers induced by the Catalan bijection gma082345 acting on the parenthesizations encoded by A014486/A063171.

Original entry on oeis.org

0, 1, 3, 2, 7, 8, 6, 4, 5, 17, 18, 20, 21, 22, 16, 19, 14, 9, 10, 15, 11, 13, 12, 45, 46, 48, 49, 50, 54, 55, 57, 58, 59, 61, 62, 63, 64, 44, 47, 53, 56, 60, 42, 51, 37, 23, 24, 38, 25, 27, 26, 43, 52, 39, 28, 29, 41, 33, 35, 36, 40, 30, 34, 32, 31, 129, 130, 132, 133, 134
Offset: 0

Views

Author

Antti Karttunen, Apr 17 2003

Keywords

Crossrefs

Inverse of A082346. Occurs in A073200 as row 66. Cf. also A069767, A073288-A073289, A082347-A082348.

A082346 Permutation of natural numbers induced by the Catalan bijection gma082346 acting on the parenthesizations encoded by A014486/A063171.

Original entry on oeis.org

0, 1, 3, 2, 7, 8, 6, 4, 5, 17, 18, 20, 22, 21, 16, 19, 14, 9, 10, 15, 11, 12, 13, 45, 46, 48, 50, 49, 54, 55, 61, 64, 63, 57, 62, 58, 59, 44, 47, 53, 60, 56, 42, 51, 37, 23, 24, 38, 25, 26, 27, 43, 52, 39, 28, 29, 40, 30, 31, 32, 41, 33, 34, 35, 36, 129, 130, 132, 134, 133
Offset: 0

Views

Author

Antti Karttunen, Apr 17 2003

Keywords

Crossrefs

Inverse of A082345. Occurs in A073200 as row 88. Cf. also A069768, A073288-A073289, A082347-A082348.

A127380 Signature-permutation of the inverse of Callan's 2006 bijection on Dyck Paths, mirrored version (A057164-conjugate).

Original entry on oeis.org

0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 13, 12, 14, 15, 19, 21, 22, 16, 20, 18, 17, 23, 24, 25, 27, 26, 28, 29, 33, 35, 36, 30, 34, 32, 31, 37, 38, 39, 41, 40, 51, 52, 56, 58, 59, 60, 62, 64, 63, 42, 43, 53, 54, 55, 47, 61, 49, 50, 44, 57, 48, 46, 45, 65, 66, 67, 69, 68, 70, 71
Offset: 0

Views

Author

Antti Karttunen, Jan 16 2007

Keywords

Comments

This automorphism is RIBS-transformation (explained in A122200) of the automorphism A127378 and Callan's original variant A127382 is obtained as A057164(A127380(A057164(n))).

Crossrefs

Inverse: A127379. a(n) = A057164(A127382(A057164(n))). A127302(a(n)) = A127302(n) holds for all n.
Differs from A073288 for the first time at n=49, where a(n)=64, while A073288(49)=63 and differs from A122350 for the first time at n=54, where a(n)=54, while A122350(54)=57.

A082347 Permutation of natural numbers induced by the Catalan bijection gma082347 acting on the parenthesizations encoded by A014486/A063171.

Original entry on oeis.org

0, 1, 3, 2, 8, 7, 6, 5, 4, 22, 21, 20, 17, 18, 19, 16, 15, 13, 12, 14, 11, 10, 9, 64, 63, 62, 58, 59, 61, 57, 54, 45, 46, 55, 48, 49, 50, 60, 56, 53, 44, 47, 52, 43, 41, 36, 35, 40, 34, 31, 32, 51, 42, 39, 33, 30, 38, 29, 27, 26, 37, 28, 25, 24, 23, 196, 195, 194, 189, 190
Offset: 0

Views

Author

Antti Karttunen, Apr 17 2003

Keywords

Crossrefs

Inverse of A082348. Occurs in A073200 as row 86. Cf. also A069768, A073288-A073289, A082345-A082346.

A082348 Permutation of natural numbers induced by the Catalan bijection gma082348 acting on the parenthesizations encoded by A014486/A063171.

Original entry on oeis.org

0, 1, 3, 2, 8, 7, 6, 5, 4, 22, 21, 20, 18, 17, 19, 16, 15, 12, 13, 14, 11, 10, 9, 64, 63, 62, 59, 58, 61, 57, 55, 49, 50, 54, 48, 46, 45, 60, 56, 53, 47, 44, 52, 43, 40, 31, 32, 41, 34, 35, 36, 51, 42, 39, 30, 33, 38, 29, 26, 27, 37, 28, 25, 24, 23, 196, 195, 194, 190, 189
Offset: 0

Views

Author

Antti Karttunen, Apr 17 2003

Keywords

Crossrefs

Inverse of A082347. Occurs in A073200 as row 68. Cf. also A069767, A073288-A073289, A082345-A082346.
Showing 1-10 of 11 results. Next