login
Permutation of natural numbers induced by Catalan Automorphism *A089865 acting on the parenthesizations/binary trees encoded by A014486/A063171.
8

%I #13 Jun 27 2012 13:54:21

%S 0,1,2,3,4,5,6,8,7,9,10,11,12,13,14,15,19,20,21,16,22,17,18,23,24,25,

%T 26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,51,52,53,54,55,56,57,

%U 58,59,42,43,60,61,62,44,63,45,46,47,64,48,49,50,65,66,67,68,69

%N Permutation of natural numbers induced by Catalan Automorphism *A089865 acting on the parenthesizations/binary trees encoded by A014486/A063171.

%C This bijection of binary trees is obtained when we apply bijection *A074679 to the left subtree and keep the right subtree intact.

%C ....B...C.......A...B

%C .....\./.........\./

%C ..A...x....-->....x...C.................A..().........()..A....

%C ...\./.............\./...................\./....-->....\./.....

%C ....x...D...........x...D.................x...C.........x...C..

%C .....\./.............\./...................\./...........\./...

%C ......x...............x.....................x.............x....

%C ...............................................................

%C Compare to A154121.

%C See "Catalan Automorphisms" OEIS-Wiki page for a detailed explanation how to obtain a given integer sequence from this definition.

%H A. Karttunen, <a href="http://oeis.org/wiki/Catalan_Automorphisms">Catalan Automorphisms</a>

%H A. Karttunen, <a href="/A089408/a089408.c.txt">C-program for computing this sequence</a>

%H <a href="/index/Per#IntegerPermutationCatAuto">Index entries for signature-permutations induced by Catalan automorphisms</a>

%o (Scheme function implementing this automorphism on list-structures/S-expressions, both constructive (*A089865) and destructive (*A089865!) versions:)

%o (define (*A089865 s) (cond ((pair? s) (cons (*A074679 (car s)) (cdr s))) (else s)))

%o (define (*A089865! s) (if (pair? s) (*A074679! (car s))) s)

%Y Row 4207 of A089840. Inverse of A089866. a(n) = A069770(A154121(A069770(n))).

%Y Number of cycles: A089844. Number of fixed-points: A005807 (prepended with two 1's). Max. cycle size: A089410. LCM of cycle sizes: A089845 (in each range limited by A014137 and A014138).

%K nonn

%O 0,3

%A _Antti Karttunen_, Dec 20 2003

%E Further comments and constructive version of Scheme-implementation added by _Antti Karttunen_, Jun 04 2011