%I#16 2018年4月30日10:56:02
%S 0,1,3,2,6,8,7,4,5,14,15,19,21,22,16,20,17,9,10,18,11,12,13,37,38,39,
%电话:40,41,51,52,56,58,59,60,62,63,64,42,43,53,57,61,44,54,45,23,24,46,25,
%单位:26,27,47,55,48,28,29,49,30,31,32,50,33,34,35,36107108110111
%N加泰罗尼亚自同构*A089858作用于由A014486/A063171编码的二叉树/括号引起的自然数置换。
%C此自同构对未标记的有根平面二叉树(字母A、B、C表示位于这些节点上的任意子树,()表示隐含的终端节点。)
%C。。。。。B……C……B……A
%C……\./……\/
%C。。。A…x…-->。x..C…………..A..()。。。。。。。。。()..答:。。
%C….\./……….\./…….\./….-->….\./。。。
%C。。。。。x…………..x。。。。
%C((a.b)。c) ->((b.a)。c) ______(a)())--->()。a)
%C有关如何从该定义获取给定整数序列的详细说明,请参阅Karttune-OEIS-Wiki链接。
%H A.Karttunen,<A href=“http://oeis.org/wiki/Catalan_Automorphisms“>加泰罗尼亚自形</a>
%H A.Karttunen,用于计算此序列的c程序</a>
%H<a href=“/index/Per#IntegerPermutationCatAuto”>加泰罗尼亚语自同构诱导的signature-permutation的索引条目</a>
%o(在列表结构/S表达式上实现此自同构的Scheme函数,包括构造(*A089858)和破坏(*A089 858!)版本:)
%o(定义(*A089858秒)
%o(定义(*A089858!s)
%o(定义(交换!s)(let((ex-car(cars)))(set-car!s(cdr-s))(set-cdr!s ex-car)s))
%o(定义(robl!s)(let(ex-car(cars)))(set-car!s(cddrs))(set-cdr!(cdr s)ex-car)(swap!(cdrs))
%A089840的Y行13。A089861的逆运算。a(n)=A072797(A069770(n))=A069770。
%Y循环次数:A073193。定点数量:A019590。最大循环尺寸:A089422。循环大小的LCM:A089423(在A014137和A014138限制的每个范围内)。
%K nonn公司
%0、3
%2003年11月29日,安蒂·卡图内
%E 2011年6月4日_Antti Karttune_添加的方案功能(*A089858)的进一步意见和建设性实施
|