也就是说,如果可能的话,我们将二叉树向左旋转,否则(如果树的右手边是终端节点)交换左右子树(使终端节点结束于左手边),即应用自同构*A069770号.请看中的示例A069770号看看这将如何生成给定的整数序列.
这是表中第一个多子句非递归自同构A089840号而第一个顺序不是有限的,即这个置换中循环的最大大小是无界的(参见A089842号). 循环计数在范围内[A014137号(n-1).A014138号(n) 此排列的]表示为A001683号(n+1),否则与加泰罗尼亚自同构相同*A057161号/*A057162号,但右移了一次.有关解释,请参阅OEIS Wiki中的注释.
A.卡图恩,加泰罗尼亚语自同构和双宾语简介,(未完成的草稿)
A.卡图恩,关于这个置换轨道的注记,OEIS Wiki.
这种自同构有几个变体,其中第一个子句是相同的(如果可能的话,将二叉树向左旋转),但如果右手边是空的,则会执行其他操作(不仅仅是交换边):A082335号A082349号A123499型A123695号.以下自同构可以从该自同构递归导出:A057502号A074681号A074683号A074685号A074687号A074690号A089865号A120706号A122321号A122332号.另见一些类似的:A069773号A071660型A071656号A071658号A072091号A072095型A072093型.
非n
安蒂·卡图恩2002年9月11日,描述于2006年10月10日澄清.