A122304-编号：A122304

搜索： a122304-编号：a122304

显示找到的2个结果中的1-2个。

第页1

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

A122284号

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

+10
38

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, 10, 12, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 22, 14, 13, 12

(列表;桌子;图表;参考;听;历史;文本;内部格式)

抵消

0,4

第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840号使用递归方案“NEPEED”。在这个递归方案中，算法首先递归到所有子树，然后在一般树的根上应用给定的自同构。也就是说，这对应于加泰罗尼亚结构的后序（后缀）遍历，当它被解释为一般树时。相关方案程序NEPEED和！NEPEED可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到122283英镑.

递归方案KROF（如A122202号)相当于递归方案ENIPS的组合（如A122204号)NEPEED，即KROF（f）=NEPEED（ENIPS（f））适用于所有加泰罗尼亚自同构f。由于“折叠的通用性”，这些递归格式具有定义良好的逆，即它们是所有加泰罗自同构集上的双射映射。因此，我们可以等价地定义NEPEED（f）=KROF（ENIPS^{-1}（f））。具体地说，如果g=ENIPS（f），那么（fs）=（g（cons（cars）（g^{-1}（cdrs））），也就是说，为了获得在递归方案ENIPS下给出g的自同构f，我们将其自身的逆应用于s-表达式的cdr-分支（即二叉树上下文中的右子树）来合成g。这意味着对于表中的任何非递归自同构fA089840号，ENIPS^{-1}（f）也位于A089840号，这又意味着表的行A122284号形成表行的（适当的）子集A122202号例如，第1行A122284号是第15行A122202号，第2行，共行A122284号是的第3617行A122202号，第12行，共行A122284号是的第65167行A122202号，第15行，共行A122284号是第169行A122202号. -安蒂·卡图恩2007年5月25日

递归方案FORK（在2001年12月1日)相当于递归方案SPINE的组合（如A122203号)和DEEPEN，即FORK（f）=DEEPEN（SPINE（f））适用于所有加泰罗尼亚自同构f。这些递归方案具有定义良好的逆，即它们是所有加泰罗自同构集上的双射映射。因此，我们可以等价地定义深（f）=叉（脊椎^{-1}（f））。具体地说，如果g=SPINE（f），那么（f s）=（cond（（pair？s）（let（t（g s）））（cons（car t）（g^{-1}（cdr t））））。这意味着对于表中的任何非递归自同构fA089840号，SPINE ^｛-1｝（f）也在A089840号，这又意味着表的行122283英镑形成表行的（适当的）子集2001年12月1日例如，第1行122283英镑是第21行2001年12月1日，第2行，共2行122283英镑是第3613行2001年12月1日，第17行，共行122283英镑是的第65352行2001年12月1日，第21行，共行122283英镑是第251行2001年12月1日. -安蒂·卡图恩2007年5月25日

参考文献

A.Karttunen，正在准备论文，可通过电子邮件获取草稿。

链接

n=0..95时的n、a（n）表。

加泰罗尼亚语自同构的符号置换索引条目

黄体脂酮素

（方案：）（define（NEPEED foo）（letrec（（bar（lambda（s）（foo（map bar s）））））））

（定义（！NEPEED foo！）（letrec（（bar！（lambda（s）（for-each bar！s）（foo！s）s））bar！）

交叉参考

此表的前22行：第0行（身份置换）：A001477号, 1:A122302号, 2:A122300个, 3:A122304号, 4:A122310号, 5:A122308号, 6:A122306号, 7:A122312号, 8:A122314号, 9:A122320型, 10:A122318号, 11:A122316号, 12:A122332号, 13:A122334号, 14:A122336号, 15:A122340号, 16:A122338号, 17:A122322号, 18:A122324号, 19:A122326号, 20:122330英镑, 21:A122328号。另请参阅表格A089840号,A122200型,2001年12月1日-A122204号,A122285号-A122288号,A122289号-A122290号.

关键词

非n,表

作者

安蒂·卡图恩2006年9月1日

状态

经核准的

A122303号

第3行，共行122283英镑.

+10
2

0, 1, 2, 3, 5, 4, 6, 7, 8, 12, 13, 11, 9, 10, 15, 14, 16, 18, 17, 19, 20, 21, 22, 32, 31, 34, 35, 36, 30, 33, 28, 23, 24, 29, 25, 26, 27, 40, 41, 39, 37, 38, 43, 42, 47, 49, 50, 44, 48, 45, 46, 52, 51, 53, 55, 54, 56, 57, 59, 58, 60, 61, 62, 63, 64, 91, 92, 90, 87, 88, 97, 96

(列表;图表;参考;听;历史;文本;内部格式)

抵消

0,3

由第三个非递归自同构导出的自同构的符号置换*A089850型使用递归模式DEEPEN（请参见122283英镑定义）。

链接

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

加泰罗尼亚语自同构的符号置换索引条目

交叉参考

反向：A122304号.

关键词

非n

作者

安蒂·卡图恩2006年9月1日

状态

经核准的

第页1

搜索在0.007秒内完成