编号：A122202-OEIS

搜索： 编号：a122202

显示1-1个结果（共1个）。

第页1

排序：相关性|参考文献|数|被改进的|创建格式：长的|短的|数据

A122202号

表中非递归Catalan自同构的KROF-变换的签名置换A089840号.

+0
36

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

	抵消	`0,4`
	评论	第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840号使用递归方案“KROF”。在这个递归方案中，算法首先向下递归到两个分支，然后在二叉树的根上应用给定的自同构。也就是说，当它被解释为二叉树时，这对应于加泰罗尼亚结构的后序（后缀）遍历。相关方案程序KROF和！KROF可以用于从任何构造性或破坏性实现的自同构中获得这样的变换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到A122201型. 递归方案KROF等价于递归方案ENIPS的组合（如A122204号)和NEPEED（如中所述A122284号)也就是说，KROF（f）=NEPEED（ENIPS（f））适用于所有加泰罗尼亚自同构f。由于“折叠的普遍性”，这些递归格式具有定义良好的逆，即它们是所有加泰罗自同构集上的双射映射。具体地说，如果g=KROF（f），那么（fs）=（g（cons（g^{-1}（cars））（g^}-1}，cdrs）），也就是说，为了获得在递归方案KROF下给出g的自同构f，我们将其自身的逆函数应用于s表达式的car-分支和cdr-分支（即二叉树上下文中的左子树和右子树）来合成g。这意味着对于表的任何非递归自同构fA089840号，KROF^{-1}（f）也在A089840号，这又意味着表的所有行A089840号也可以在表中找到A122202号（例如，第1行A089840号(A069770号)此处作为第1654720行出现），此外，表A122290号包含两个表的行，A122202号和A089840号作为其子集。类似的注释适用于中描述的递归方案FORKA122201型-安蒂·卡图恩2007年5月25日
	参考文献	`A.Karttunen，正在准备论文，可通过电子邮件获取草稿。`
	链接	`n=0..95时的n、a（n）表。` `加泰罗尼亚语自同构的符号置换索引条目`
	黄体脂酮素	`（麻省理工学院方案：）（define（KROF foo）（letrec（（bar（lambda（s）（fold-right（lambda（x y）（foo（cons（bar x）y））））bar））` `（定义（！KROF foo！）（letrec（（bar！（lambda（s）（cond（（pair？s）（bar`
	交叉参考	`此表的前22行：第0行（身份置换）：A001477号, 1:A057163号, 2:A057512号, 3:A122342号, 4:A122348号, 5:A122346号, 6:A122344号, 7:A122350型, 8:A082326号, 9:1994年12月1日, 10:A122292号, 11:A082359号, 12:A074683号, 13:A122358号, 14:A122360型, 15:A122302号, 16:A122362号, 17:A074682号, 18:A122296号, 19:A122298号, 20:122356英镑, 21:A122354号.其他行：第4069行：A082355号，第65518行：A082357号，第79361行：A123494号.` `另请参见表格A089840号，A122200型，A122201型-A122204号，A122283号-A122284号，A122285号-A122288号，A122289号-A122290号.` `第1654720行：A069770号.`
	关键词	`非n，表`
	作者	`安蒂·卡图恩2006年9月1日`
	状态	`经核准的`

第页1

搜索在0.014秒内完成