0,3个

这种自同构对未标记的有根平面二叉树（字母A、B、C表示位于这些节点上的任意子树，（）表示隐含的终端节点）

…B…C………C…B

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

.A…x…-->……A…x……………A…（）…A…（）。。

..\./.............\./...................\./....-->....\./...

…x………x………x………x………x。。。。

（a.（b.c））->（a.（c.b））-->（a.）

在S表达式方面，如果S-exp的长度大于1，这种自同构交换了S-exp的cadr和cddr。

请看中的示例A069770号看看这将如何产生给定的整数序列。

n=0..72的n，a（n）表。

A、 卡图宁，加泰罗尼亚自同构

A、 卡图宁，计算这个序列的C程序

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

（Scheme函数在列表结构/S表达式上实现这种自同构，构造性的(*A089850型)破坏性的(*A089850型!) 版本：）

（定义(*A089850型s） （if（和（对）（对（cdr）））（cons（car s）（cons（cddr s）（cadr s））（s））

（定义(*A089850型! s） （条件（（非（对）s）（非（对（cdr））s）（否则(*A069770号! （cdr s）s）

a（n）=A069770号(A089859号（n） ）=A089863号(A069770号（n） ）=A057163(A089854号(A057163（n） ））。第3行，共A089840号. 第3771行，共A122203第3677行邮编：A122204.

循环次数：A073191号. 固定点数量：A073190型. 最大循环尺寸：A046698号（在每个范围内受A014137号和A014138号).

上下文顺序：A154121号 A130375号 A154122型*A154450号 A154449号 A122304号

相邻序列：A089847号 A089848号 A089849号*A089851号 A089852号 A089853号

不

安蒂·卡尔图宁2003年11月29日

新的邮件地址、图解说明及方案功能的构造性实现(*A089850型)添加人安蒂·卡尔图宁2011年6月4日

经核准的