%I#24 2018年5月1日02:56:10
%S 0,1,2,3,4,5,6,8,7,9,10,11,12,13,14,15,19,21,22,16,20,17,18,23,24,25,
%电话:26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,51,52,56,59,60,62,
%U 63,64,42,43,53,57,61,44,54,45,46,47,55,48,49,50,65,66,67,68,69,70,71,72
%N加泰罗尼亚自同构*A089854引起的自然数对合作用于由A014486/A063171编码的二叉树/括号。
%C此自同构对未标记的有根平面二叉树(字母A、B、C表示位于这些节点上的任意子树,()表示隐含的终端节点)上的以下变换产生影响。
%C。A…B…………..B…A
%C.\.//
%C。。。x…C…-->。。。。x...C…………()。。A…………()。。答:。。
%C….\./……….\./…….\./….-->….\./。。。
%C。。。。。x…………..x。。。。
%C((a.b)。c) ->((b.a)。c) _____(()。a) -->(()。a)
%就S-表达式而言,如果S-exp的第一个元素不是(),则该自同构交换S-exp的caar和cdar。
%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”>为加泰罗尼亚自同构引起的签名置换索引条目</a>
%o(在列表结构/S表达式上实现此自同构的Scheme函数,包括构造(*A089854)和破坏(*A089 854!)版本:)
%o(定义(*A089854 s)(如果(和(配对)(配对)))(cons(配对)
%o(定义(*A089854!s)
%Y a(n)=A089859(A069770(n))=A069770。A089840的第7行。参见A122282。
%Y循环次数:A073191。固定点数:A073190。所有循环尺寸的最大循环尺寸和LCM:A046698(每个范围受A014137和A014138限制)。
%K nonn公司
%0、3
%2003年11月29日,安蒂·卡图内
%E 2011年6月4日_Antti Karttune_添加的方案功能(*A089854)的进一步意见和建设性实施
|