OEIS哀悼西蒙斯感谢西蒙斯基金会支持包括OEIS在内的许多科学分支的研究。
登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A122283号 表中非递归加泰罗尼亚自同构的DEEPEN-变换的签名置换A089840号. 41
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, 10, 12, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 17, 14, 13, 12 (列表;桌子;图表;参考;;历史;文本;内部格式)
抵消
0,4
评论
第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840号使用递归方案“DEEPEN”。在这个递归方案中,给定的自同构首先应用于一般树的根,然后算法递归到所有子树。也就是说,当它被解释为一般树时,这对应于加泰罗尼亚结构的预先顺序(前缀)遍历。相关方案包括DEEPEN和!DEEPEN可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到A122284号.
递归方案FORK(在A122201型)相当于递归方案SPINE的组合(如A122203号)和DEEPEN,即FORK(f)=DEEPEN(SPINE(f))适用于所有加泰罗尼亚自同构f。这些递归方案具有定义良好的逆,即它们是所有加泰罗自同构集上的双射映射。因此,我们可以等价地定义深(f)=叉(脊椎^{-1}(f))。具体地说,如果g=SPINE(f),那么(f s)=(cond((pair?s)(let(t(g s)))(cons(car t)(g^{-1}(cdr t))))。这意味着对于表中的任何非递归自同构fA089840号,SPINE ^{-1}(f)也在A089840号,这又意味着表的行A122283号形成表行的(适当的)子集A122201型例如,第1行A122283号是第21行A122201型,第2行,共行A122283号是的第3613行A122201型,第17行,共17行A122283号是的第65352行A122201型,第21行,共行A122283号是第251行A122201型. -安蒂·卡图恩2007年5月25日
参考文献
A.Karttunen,正在准备论文,可通过电子邮件获取草稿。
链接
黄体脂酮素
(方案:)(define(DEEPEN foo)(letrec((bar(lambda(s)(map bar(foo))))bar))
(define(!DEEPEN foo!)(letrec((bar!(lambda(s)(foo!s)(对于每个bar!s)))bar!))
交叉参考
关键词
非n,
作者
安蒂·卡图恩2006年9月1日
状态
经核准的

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

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

最后修改时间:美国东部时间2024年5月24日12:09。包含372773个序列。(在oeis4上运行。)