cp's OEIS Frontend

A129606 Signature-permutation of a Catalan automorphism, row 3613 of A089840.

%I A129606 #6 Mar 31 2012 13:21:14
%S A129606 0,1,2,3,4,6,5,7,8,9,14,10,16,19,11,15,12,17,18,13,20,21,22,23,24,37,
%T A129606 42,51,25,38,26,44,47,27,53,56,60,28,39,29,43,52,30,40,31,45,46,32,48,
%U A129606 49,50,33,41,34,54,55,35,57,58,59,36,61,62,63,64,65,66,67,68,69,107
%N A129606 Signature-permutation of a Catalan automorphism, row 3613 of A089840.
%C A129606 This involution effects the following transformation on the binary trees (labels A,B,C,D refer to arbitrary subtrees located on those nodes and () stands for a terminal node.)
%C A129606 .....C...D.........B...D
%C A129606 ......\./...........\./
%C A129606 ...B...X2........A...Y2......B..().......A..()
%C A129606 ....\./...........\./.........\./.........\./
%C A129606 .A...X1....-->.C...Y1......A...X1..-->.B...Y1
%C A129606 ..\./...........\./.........\./.........\./
%C A129606 ...X0............Y0..........X0..........Y0
%C A129606 Note that automorphism *A072796 = ENIPS(*A129606). See the definition given in A122204.
%H A129606 A. Karttunen, <a href="/A129606/b129606.txt">Table of n, a(n) for n = 0..2055</a>
%H A129606 A. Karttunen, <a href="/A089840/a089840p.txt">Prolog-program which illustrates the construction of this and similar nonrecursive Catalan automorphisms.</a>
%H A129606 <a href="/index/Per#IntegerPermutationCatAuto">Index entries for signature-permutations of Catalan automorphisms</a>
%o A129606 (Constructive and destructive Scheme implementation of this automorphism. These act on S-expressions, i.e. list-structures:)
%o A129606 (define (*A129606 s) (cond ((> (length s) 2) (cons (caddr s) (cons (car s) (cons (cadr s) (cdddr s))))) (else (*A072796 s))))
%o A129606 (define (*A129606! s) (cond ((< (length s) 3) (*A072796! s)) (else (let ((org_car (car s))) (set-car! s (caddr s)) (set-car! (cddr s) (cadr s)) (set-car! (cdr s) org_car) s))))
%Y A129606 Inverse: A129605.
%K A129606 nonn
%O A129606 0,3
%A A129606 _Antti Karttunen_, May 22 2007