|
|
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（x y）（f（cons x y））是给定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，正在准备论文，可通过电子邮件获取草稿。
|
|
|
链接
|
n=0..95时的n、a（n）表。
加泰罗尼亚语自同构的符号置换索引条目
|
|
|
黄体脂酮素
|
（麻省理工学院方案：）（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:A130350型, 12:A057502号, 13:A130364号, 14:A130366号, 15:A069770号, 16:A130368号, 17:A074686号, 18:A130356号, 19:A130358号, 20:A130362号, 21:A130360型其他行：第169行：A089859号，第253行：A123718号，第3608行：A129608号，第3613行：A072796号，第65167行：A074679号，第79361行：A123716号.
另请参见表格A089840号,A122200型,A122201型-A122203号,A122283号-A122284号,A122285号-A122288号,A122289号-A122290号.
上下文中的序列：A122203号 A122287号 A122283号*A122288号 A122201型 A122286号
相邻序列：A122201型 A122202号 A122203号*A122205号 A122206号 A122207号
|
|
|
关键词
|
非n,表
|
|
|
作者
|
安蒂·卡图恩2006年9月1日，2007年6月6日
|
|
|
状态
|
经核准的
|
|
