二叉树的这种自同构首先交换根的左子树和右子树,然后递归地转到(新的)左子树,在那里执行相同的操作.这是一个Catalan双射,它扩展到无限二叉树的唯一自同构,在本例中是A153142号.请参阅此处和中的更多评论A153141号.
这个双射Knack是简单交换的ENIPS转换:ENIPS(*A069770号)(即第1行A122204号). 此外,Knack和Knick(相反,A069767号)有一个特殊的属性,即FORK和KROF变换(在A122201型和A122202号)将它们转换为各自的倒数,即相互转换:FORK(Knick)=KROF(Knick)=Knack和FORKA122288号当然,双叉固定两者,例如,fork(fork,Knack)=Knack.
(此自同构的方案实现.这些作用于S表达式,即列表结构:)
在范围内[A014137号(n-1).A014138号(n-1)],循环数为A073431号,固定点数:A036987号(固定点本身:A084108号),所有循环尺寸的最大循环尺寸和LCM:A011782号.另请参见:A074080号.
第1行,共行A122204号和A122288号,第21行,共行A122285号和A130402型,第8行,共行A073200型.
另请参见bijectionsA073287号A082346号A082347号A082350型A130342号.