0,3个

这种自同构对未标记的有根平面二叉树（字母A、B、C和D表示位于这些节点上的任意子树）产生以下变换

.....B、 。。。C、 。。。。。B、 。。。C、 。。。。。。。。。。。A、 。。。B、 。。。。。。。。。。。。。A、 。。。B、 。。。

......\./.......\./.............\./...............\./....

.......x、 。。。D、 。。。。。x、 。。。D、 。。。。。。。。。。。x、 。。。C、 。。。。。。。。。。。。。x、 。。。C。

........\./.......\./.............\./...............\./..

.....A、 。。。x、 …-->。。。x、 。。。A、 。。。。。。。。。。。x、 。。。D、 …-->。。。D、 。。。x、 。。。

......\./...........\./.............\./...........\./....

.......x、 。。。。。。。。。。。。。x、 。。。。。。。。。。。。。。。x、 。。。。。。。。。。。。。x、 。。。。。

n=0的n，a（n）表。。71

A、 卡图宁，Prolog程序，说明了这个和其他类似的非递归Catalan自同构的构造。

Catalan自同构签名置换的索引项

（Scheme函数，作用于S表达式的这种自同构的破坏性实现：）（定义(*A123492年! s） （条件（（空？s）s）（（and（pair？（cdr s））（pair？（cadr s）））(*A069770号! s） ）（（和（对（车厢））（对（caar s）））(*A069770号! s） ）s）

第79361行，共A089840号.用于构造A123493年,邮编：A123494,邮编：A123715和邮编：A123716.Cf。A069770号.

上下文顺序：A338242 A353827飞机 A353826飞机*A123493年 邮编：A123715 A082313型

相邻序列：A123489号 A123490号 A123491号*A123493年 邮编：A123494 A123495年

不

安蒂·卡尔图宁2006年10月11日

经核准的