A122203-OEIS公司

A122203号

表中非递归加泰罗尼亚自同构的SPINE变换的签名置换A089840号.

0, 1, 0, 2, 1, 0, 3, 3, 1, 0, 4, 2, 2, 1, 0, 5, 7, 3, 2, 1, 0, 6, 8, 4, 3, 2, 1, 0, 7, 6, 6, 5, 3, 2, 1, 0, 8, 5, 5, 4, 5, 3, 2, 1, 0, 9, 4, 7, 6, 6, 6, 3, 2, 1, 0, 10, 17, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 18, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 11, 12, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 21, 14, 13, 12 (列表;桌子;图表;参考;听;历史;文本;内部格式)

	抵消	`0,4`
	评论	`第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840号使用递归方案“SPINE”。在这个递归方案中，给定的自同构首先应用于二叉树的根，然后算法递归到新的右侧分支。相关的方案将处理脊椎和！SPINE可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到A122204号.` `递归方案SPINE有一个定义良好的逆，即它在所有加泰罗尼亚自同构集上充当双射映射。具体地说，如果g=SPINE（f），那么（f s）=（cond（（pair？s）（let（t（g s）））（cons（car t）（g^{-1}（cdr t））））。这意味着对于表中的任何非递归自同构fA089840号，脊椎^{-1}（f）也位于A089840号，这又意味着表的行A089840号形成此表行的（适当的）子集。`
	参考文献	`A.Karttunen，正在准备论文，可通过电子邮件获取草稿。`
	链接	`n=0..95时的n、a（n）表。` `加泰罗尼亚语自同构的符号置换索引条目`
	黄体脂酮素	`（方案：）（define（SPINE foo）（letrec（（bar（lambda（s）（let（t（foo））））（if（pair？t）（cons（car t）（bar（cdr t）））bar）））` `（定义（！SPINE foo！）（letrec（（bar！（lambda（s）（cond（（pair？s）（foo！s）（ba！（cdr s））））bar！））`
	交叉参考	参见本表前22行：第0行（身份置换）：A001477号，1:A069767美元, 2:A057509号, 3:A130341号，4：A130343号, 5:A130345号, 6:A130347号, 7:A122282号, 8:A082339号, 9:A130349号, 10:A130351号, 11:A130353号, 12:A074685号, 13:A130355号，第14页：A130357号, 15:A130359号，第16页：A130361号, 17:A057501号, 18:130363美元, 19:A130365型, 20:A130367号，第21页：A069770号其他行：第251行：A089863号，第253行：2017年12月17日，第3608行：129608英镑，第3613行：A072796号，第65352行：A074680号，第79361行：A123715号. `另请参见表格A089840号,A122200型,A122201型-A122204号,A122283号-A122284号,A122285号-A122288号,A122289号-A122290号.` `上下文中的序列：A122289号 A122290号 A122284号A122287号 A122283号 A122204号` `相邻序列：A122200型 A122201型 A122202号A122204号 A122205号 A122206号`
	关键词	`非n,表`
	作者	`安蒂·卡图恩2006年9月1日，2007年6月6日`
	状态	`经核准的`