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-5 of 5 results.

A122203 Signature permutations of SPINE-transformations of non-recursive Catalan automorphisms in table A089840.

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, 6, 5, 3, 2, 1, 0, 8, 5, 5, 4, 5, 3, 2, 1, 0, 9, 4, 7, 6, 6, 6, 3, 2, 1, 0, 10, 17, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 18, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 11, 12, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 21, 14, 13, 12
Offset: 0

Views

Author

Antti Karttunen, Sep 01 2006, Jun 06 2007

Keywords

Comments

Row n is the signature permutation of the Catalan automorphism which is obtained from the n-th nonrecursive automorphism in the table A089840 with the recursion scheme "SPINE". In this recursion scheme the given automorphism is first applied at the root of binary tree, before the algorithm recurses down to the new right-hand side branch. The associated Scheme-procedures SPINE and !SPINE can be used to obtain such a transformed automorphism from any constructively or destructively implemented automorphism. Each row occurs only once in this table. Inverses of these permutations can be found in table A122204.
The recursion scheme SPINE has a well-defined inverse, that is, it acts as a bijective mapping on the set of all Catalan automorphisms. Specifically, if g = SPINE(f), then (f s) = (cond ((pair? s) (let ((t (g s))) (cons (car t) (g^{-1} (cdr t))))) (else s)) that is, to obtain an automorphism f which gives g when subjected to recursion scheme SPINE, we compose g with its own inverse applied to the cdr-branch of a S-expression. This implies that for any non-recursive automorphism f in the table A089840, SPINE^{-1}(f) is also in A089840, which in turn implies that the rows of table A089840 form a (proper) subset of the rows of this table.

References

  • A. Karttunen, paper in preparation, draft available by e-mail.

Crossrefs

Cf. The first 22 rows of this table: row 0 (identity permutation): A001477, 1: A069767, 2: A057509, 3: A130341, 4: A130343, 5: A130345, 6: A130347, 7: A122282, 8: A082339, 9: A130349, 10: A130351, 11: A130353, 12: A074685, 13: A130355, 14: A130357, 15: A130359, 16: A130361, 17: A057501, 18: A130363, 19: A130365, 20: A130367, 21: A069770. Other rows: row 251: A089863, row 253: A123717, row 3608: A129608, row 3613: A072796, row 65352: A074680, row 79361: A123715.

Programs

  • Scheme
    (define (SPINE foo) (letrec ((bar (lambda (s) (let ((t (foo s))) (if (pair? t) (cons (car t) (bar (cdr t))) t))))) bar))
    (define (!SPINE foo!) (letrec ((bar! (lambda (s) (cond ((pair? s) (foo! s) (bar! (cdr s)))) s))) bar!))

A122286 Signature permutations of SPINE-transformations 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, 8, 3, 2, 1, 0, 6, 7, 4, 3, 2, 1, 0, 7, 6, 6, 5, 3, 2, 1, 0, 8, 5, 5, 4, 5, 3, 2, 1, 0, 9, 4, 7, 6, 6, 6, 3, 2, 1, 0, 10, 22, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 21, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 14, 13, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 17, 11, 12, 13
Offset: 0

Views

Author

Antti Karttunen, Sep 01 2006, Jun 20 2007

Keywords

Comments

Row n is the signature permutation of the Catalan automorphism which is obtained from the n-th automorphism in the table A122204 with the recursion scheme "SPINE", or equivalently row n is obtained as SPINE(ENIPS(n-th row of A089840)). 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 A122285. This table contains also all the rows of A122203 and A089840.

References

  • A. Karttunen, paper in preparation, draft available by e-mail.

Crossrefs

The first 22 rows of this table: row 0 (identity permutation): A001477, 1: A082347, 2: A057508, 3: A131142, 4: A131148, 5: A131146, 6: A131144, 7: A131173, 8: A131170, 9: A131154, 10: A131152, 11: A131150, 12: A057504, 13: A131164, 14: A131166, 15: A069767, 16: A131168, 17: A131172, 18: A131156, 19: A131158, 20: A131162, 21: A131160. Other rows: row 169: A130359, 3608: A130339, 3617: A057509, 65167: A074685.
See also tables A089840, A122200, A122201-A122204, A122283-A122284, A122285-A122288, A122289-A122290, A130400-A130403. As a sequence differs from A122285 for the first time at n=92, where a(n)=17, while A122285(n)=18.

A130360 Row 21 of A122204.

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, 9, 10, 64, 63, 62, 59, 58, 61, 57, 55, 49, 50, 54, 48, 45, 46, 60, 56, 53, 47, 44, 52, 43, 40, 31, 32, 41, 34, 35, 36, 51, 42, 39, 30, 33, 37, 28, 23, 24, 38, 29, 25, 26, 27, 196, 195, 194, 190, 189
Offset: 0

Views

Author

Antti Karttunen, Jun 05 2007

Keywords

Comments

The signature-permutation of the Catalan automorphism which is derived from the 21st non-recursive Catalan automorphism *A089863 with recursion schema ENIPS (see A122204 for the definition).

Crossrefs

Inverse: A130359.

A130999 Signature permutation of a Catalan automorphism: row 15 of A122288.

Original entry on oeis.org

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

Views

Author

Antti Karttunen, Jun 20 2007

Keywords

Comments

Derived from automorphism *A130359 with recursion scheme KROF.

Crossrefs

Inverse: A131000.

A131159 Signature permutation of a Catalan automorphism: row 15 of A122285.

Original entry on oeis.org

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

Views

Author

Antti Karttunen, Jun 20 2007

Keywords

Comments

Derived from automorphism *A130359 with recursion scheme ENIPS.

Crossrefs

Inverse: A131160.
Showing 1-5 of 5 results.