登录
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可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到122284年.
递归方案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号,脊椎^{-1}(f)也位于A089840号,这反过来意味着表的行A122283号形成表行的(适当的)子集A122201型例如,第1行A122283号是第21行A122201型,第2行,共行A122283号是第3613行2001年12月1日,第17行,共行A122283号是的第65352行A122201型,第21行,共行A122283号是第251行A122201型. -安蒂·卡图恩2007年5月25日
参考文献
A.Karttunen,正在准备论文,可通过电子邮件获取草稿。
黄体脂酮素
(方案:)(define(DEEPEN foo)(letrec((bar(lambda(s)(map bar(foo))))bar))
(定义(!DEEPEN foo!)(letrec((bar!(lambda(s)(foo!s)(for-each bar!s)s))bar!)!))
关键词
非n,
作者
安蒂·卡图恩2006年9月1日
状态
经核准的