登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志

年度呼吁:请向OEIS基金会捐款支持OEIS的持续开发和维护。我们现在已经60岁了,我们有超过367000个序列,我们已经获得了11000条引文(通常说“多亏了OEIS才发现”)。

其他给予方式
提示
(来自的问候整数序列在线百科全书!)
A122204号 ENIPS的签名置换——表中非递归加泰罗尼亚自同构的变换A089840号. 53
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号.
关键词
非n,
作者
安蒂·卡图恩2006年9月1日,2007年6月6日
状态
已批准

查找|欢迎光临|维基|寄存器|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:2023年12月5日16:12 EST。包含367592个序列。(在oeis4上运行。)