%I#6 2012年3月31日13:21:14

%S 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，

%电话：42,51,25,38,26,44,47,27,53,56,60,28,39,29,43,52,30,40,31,45,46,32,48，

%U 49,50,33,41,34,54,55,35,57,58,59,36,61,62,63,64,65,66,68,69107单位

%N特征-加泰罗尼亚自同构的突变，A089840的第3613行。

%C这种对合作用于二叉树上的以下变换（标签A、B、C、D表示位于这些节点上的任意子树，（）表示终端节点。）

%C。。。。。C…D……B…D

%C……\.//

%C。。。B.…X2………….A.…Y2……B..（）。。。。。。。A.（）

%C….\./……..\.//

%C、。A…X1……-->。C…Y1……A…X1..-->。B…Y1

%C..\./……..\.//

%C。。。X0…………Y0…….X0….Y0

%C注意自同构*A072796=ENIPS（*A129606）。参见A122204中给出的定义。

%H A.Karttunen，n的表格，n=0..2055时的A（n）</a>

%H A.Karttunne，《序言》，解释了这种和类似的非递归加泰罗尼亚自同构的构造</a>

%H<a href=“/index/Per#IntegerPermutationCatAuto”>加泰罗尼亚自同构的签名置换索引条目</a>

%o（此自同构的构造性和破坏性Scheme实现。它们作用于S表达式，即列表结构：）

%o（定义（*A129606 s）（cond（（>（长度s）2）（cons（caddrs）（汽车cons（cars）（cdddr））））（其他（*A072796 s）））

%o（define（*A129606！s）（cond（（<（length s）3）（*A072796！s

%Y反向：A129605。

%K nonn公司

%0、3

%2007年5月22日，安蒂·卡图内