搜索： 编号：a122204
|
| |
| |
|
|
|
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, 4, 5, 4, 5, 3, 2, 1, 0, 9, 5, 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, 17, 10, 12, 13
(列表;桌子;图表;参考文献;听;历史;文本;内部格式)
|
|
|
|
抵消
|
0,4
|
|
|
评论
|
第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840号使用递归方案“ENIPS”。在这个递归方案中，算法首先递归到二叉树的右侧分支，然后在其根上应用给定的自同构。这对应于应用于加泰罗尼亚语结构的向右折叠运算，例如被解释为括号化或类似Lisp的列表，其中（lambda（xy）（f（cons xy）））是给定给fold的二元函数，“f”是给定的自同构。相关方案程序ENIPS和！ENIPS可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每一行只出现一次。这些排列的倒数可以在表中找到A122203号.
由于“折叠的通用性”，递归格式ENIPS有一个定义良好的逆，即它在所有加泰罗尼亚自同构集上充当双射映射。具体地说，如果g=ENIPS（f），那么（fs）=（g（cons（cars）（g^{-1}（cdrs））），也就是说，为了获得在递归方案ENIPS下给出g的自同构f，我们将其自身的逆应用于s表达式的cdr分支（即二叉树上下文中的右子树）来合成g。这意味着对于表中的任何非递归自同构fA089840号，ENIPS^{-1}（f）也位于A089840号，这又意味着表的行A089840号形成此表行的（适当的）子集。
|
|
|
参考文献
|
A.Karttunen，正在准备论文，可通过电子邮件获取草稿。
|
|
|
链接
|
|
|
|
黄体脂酮素
|
（麻省理工学院方案：）（define（ENIPS foo）（lambda（s）（fold-right（lambda（x y）（foo（cons x y））））
（定义（！ENIPS foo！）（letrec（（bar！（lambda（s）（cond（（pair？s）（bar
|
|
|
交叉参考
|
参见本表前22行：第0行（身份置换）：A001477号, 1:A069768号, 2:A057510号, 3:A130342号, 4:A130348号, 5:A130346号, 6:A130344号, 7:A122282号, 8:A082340号, 9:A130354号, 10:A130352号, 11:130350英镑, 12:A057502号, 13:A130364号, 14:130366美元, 15:A069770号, 16:A130368号, 17:A074686美元, 18:A130356号, 19:A130358号, 20:130362美元, 21:A130360型其他行：第169行：A089859号，第253行：A123718号，第3608行：A129608号，第3613行：A072796号，第65167行：A074679号，第79361行：A123716号.
|
|
|
关键词
|
|
|
|
作者
|
|
|
|
状态
|
经核准的
|
| |
|
搜索在0.008秒内完成
|
