A122204-OEIS公司

A122204号

ENIPS的签名置换——表中非递归加泰罗尼亚自同构的变换A089840号.

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:130344美元, 7:A122282号, 8:A082340号, 9:A130354号, 10:A130352号, 11:130350英镑, 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日

状态

经核准的