A154453 Signature permutation of a Catalan bijection induced by generator "a" of the leftward recursing instance of Basilica group wreath recursion: a = (b,1), b = s(a,1).

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

Offset

0,3

Comments

This automorphism of rooted plane binary trees switches the two descendant trees for every other vertex as it returns back toward the root, after descending down to the leftmost tip of the tree along the 000... ray, so that the last vertex whose descendants are swapped, is the left-hand side child of the root and the root itself is fixed. Specifically, *A154453 = psi(A154443), where the isomorphism psi is given in A153141 (see further comments there).

Links

A. Karttunen, Table of n, a(n) for n = 0..2055

Index entries for signature-permutations of Catalan automorphisms

Prog

(Scheme function, destructive implementation of this automorphism acting on S-expressions:) (define (*A154453! s) (if (pair? s) (*A154455! (car s))) s)

Crossrefs

Inverse: A154454. a(n) = A154451(A069767(n)) = A057163(A154449(A057163(n))). Cf. A154455.

Differs from its inverse A154454 for the first time at n=49, where a(49)=63, while A154454(49)=64. Differs from A089854 for the first time at n=63, where a(63)=50, while A089854(63)=49. Differs from A131173 for the first time at n=26, where a(26)=26, while A131173(26)=27.

Sequence in context: A089865 A089866 A089854 * A154454 A131173 A073286

Adjacent sequences: A154450 A154451 A154452 * A154454 A154455 A154456

Keyword

nonn

Author

Antti Karttunen, Jan 17 2009

Status

approved