|
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(car s)(g^{-1}(cdrs s))),也就是说,为了获得一个自同构f,该自同构f在递归方案ENIPS下给出g,我们将g的逆应用于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:2012年12月, 8:A082340号, 9:130354美元, 10:A130352号,11:A130350型, 12:A057502号, 13:A130364号, 14:A130366号, 15:A069770号, 16:A130368号, 17:A074686美元, 18:A130356号, 19:A130358号, 20:A130362号, 21:130360美元其他行:第169行:A089859号,第253行:A123718号,第3608行:A129608号,第3613行:A072796号,第65167行:A074679号,第79361行:A123716号.
|
|
关键词
|
|
|
作者
|
|
|
状态
|
已批准
|
|