cp's OEIS Frontend

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

%I A073270 #19 May 01 2018 02:56:03
%S A073270 0,1,3,2,7,8,5,4,6,17,18,20,21,22,12,13,11,9,10,15,14,16,19,45,46,48,
%T A073270 49,50,54,55,57,58,59,61,62,63,64,31,32,34,35,36,30,33,28,23,24,29,25,
%U A073270 26,27,40,41,39,37,38,43,42,44,47,52,51,53,56,60,129,130,132,133,134
%N A073270 Permutation of natural numbers induced by Catalan Automorphism *A073270 acting on the binary trees/parenthesizations encoded by A014486/A063171.
%C A073270 This automorphism effects the following transformation on the unlabeled rooted plane binary trees (letters A, B, C refer to arbitrary subtrees located on those nodes and () stands for an implied terminal node).
%C A073270 .A...B...............C...B
%C A073270 ..\./.................\./
%C A073270 ...x...C...-->.....A...x...............()..A.........A..()..
%C A073270 ....\./.............\./.................\./....-->....\./...
%C A073270 .....x...............x...................x.............x....
%C A073270 ((a . b) . c) --> (a . (c . b)) ____ (() . a) ----> (a . ())
%C A073270 See the Karttunen OEIS-Wiki link for a detailed explanation of how to obtain a given integer sequence from this definition.
%H A073270 A. Karttunen, <a href="http://oeis.org/wiki/Catalan_Automorphisms">Catalan Automorphisms</a>
%H A073270 <a href="/index/Per#IntegerPermutationCatAuto">Index entries for signature-permutations induced by Catalan automorphisms</a>
%o A073270 (Scheme functions implementing this automorphism on list-structures/S-expressions, both constructive (*A073270) and destructive (*A073270!) versions:)
%o A073270 (define (*A073270 s) (cond ((not (pair? s)) s) ((not (pair? (car s))) (cons (cdr s) (car s))) (else (cons (caar s) (cons (cdr s) (cdar s))))))
%o A073270 (define (*A073270! s) (*A072796! (*A069770! s)))
%Y A073270 Row 19 of A089840. Inverse permutation: A073269. a(n) = A072796(A069770(n)).
%K A073270 nonn
%O A073270 0,3
%A A073270 _Antti Karttunen_, Jun 25 2002
%E A073270 A graphical description and Scheme-implementations of automorphism added by _Antti Karttunen_, Jun 04 2011