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

 

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

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

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

上次修改时间:美国东部夏令时2024年3月28日18:04。包含371254个序列。(在oeis4上运行。)