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

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

%第30、33、37、39、42、44、47、51、53、56、60、25、29、38、43、52、26、40、31、45、46、32、48页，

%U 49、50、27、41、34、54、55、35、57、58、59、36、61、62、63、64、65、66、67、68、69、79、80

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

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

%C。。。。。C…D……A…D

%C……\.//

%C。。。B.…X2………….C.…Y2……B..（）。。。。。。。答：（）

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

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

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

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

%C注意自同构*A072796=脊椎（*A129605）。见A122203中给出的定义。

%H A.Karttunen，<A href=“/A129605/b129605.txt”>n的表，A（n）表示n=0..2055</a>

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

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

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

%o（定义（*A129605 s）（cond（（>（长度s）2）（cons（cadr s）（cons（caddr s）（汽车）（cdddr s））））（其他（*A072796 s））

%o（定义（*A129605！s）（cond（（<（length s）3）（*A072796！s））（其他（let（（org_car（cars）））（set-car！s（cadr s））

%Y反转：A129606。

%K nonn公司

%0、3

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