0,3

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

……B……C……..C……B

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

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

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

…x…………..x。。。。

（a）（b））->（a）

就S-表达式而言，如果S-exp的长度>1，则此自同构交换S-exp中的cadr和cddr。

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

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

A.卡图恩，加泰罗尼亚自形

A.卡图恩，计算此序列的C程序

加泰罗尼亚自同构诱导的信号突变索引条目

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

（定义(*A089850型s） （如果（和（配对）（配对））

（定义(*A089850型! s） （cond（（not（pair？s））s）(*A069770号! （cdr）））

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

循环次数：A073191号.固定点数量：A073190号所有循环尺寸的最大循环尺寸和LCM：A046698号（在每个限制范围内A014137号和A014138号).

上下文中的序列：A154121号 A130375号 A154122号*A154450型 A154449号 A122304号

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

非n

安蒂·卡图恩2003年11月29日

新的邮件地址、Scheme-function的图形解释和构造性实现(*A089850型)由添加安蒂·卡图恩，2011年6月4日

经核准的