cp's OEIS Frontend

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

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