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

 

标志
提示
(问候来自整数序列在线百科全书!)
邮编:A122284 表中非递归Catalan自同构的NEPEED变换的特征置换A089840号. 38
1、0、1、0、0、2、1、0、3、3、3、1、1、0、4、2、2、2、1、1、0、0、5、7、3、2、1、1、0、6、3、8、4、3、2、1、0、7、6、6、5、3、3、2、1、1、0、8、8、5、5、4、1、2、9、4、1、4、6、7、6、6、6、6、6、6、6、6、6、6、6、7、3、2、2、1、0、11、18、9、8、8、7、4、4、4、3、3、2、4、4、4、3、3、2、10、10、6、6、3、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行是Catalan自同构的签名置换,它是从表中第n个非递归自同构获得的A089840号使用递归方案“NEPEED”。在这个递归方案中,算法首先递归到所有子树,然后将给定的自同构应用于一般树的根。一、 当它被解释为一个后置结构时,它对应于一个后置结构。相关的计划程序NEPEED和!NEPEED可以用来从任何构造性或破坏性实现的自同构中获得这样的变换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到邮编:A122283.

递归方案KROF(如中所述邮编:A122202)相当于递归方案ENIPS的组合(如中所述)邮编:A122204)而NEPEED,即KROF(f)=NEPEED(ENIPS(f))对所有的Catalan自同构f成立。由于“折叠的普遍性质”,这些递归格式具有定义良好的逆,即它们是所有Catalan自同构集合上的双射映射。因此我们可以等价地定义NEPEED(f)=KROF(ENIPS^{-1}(f))。具体地说,如果g=ENIPS(f),那么(fs)=(g(cons(cars)(g^{-1}(cdr s))),也就是说,为了得到一个自同构f,当g服从递归方案ENIPS时,我们用它自己的逆来组合g,并将其应用于s表达式的cdr分支(即二叉树上下文中的右子树)。这意味着对于表中的任何非递归自同构fA089840号,ENIPS^{-1}(f)也在A089840号,这又意味着表的行邮编:A122284形成表行的(适当的)子集邮编:A122202例如,第1行邮编:A122284是第15排的吗邮编:A122202,第2行,共邮编:A122284是第3617行的吗邮编:A122202,第12行,共邮编:A122284是第65167行的邮编:A122202,第15行,共邮编:A122284是第169行的邮编:A122202. -安蒂·卡尔图宁2007年5月25日

递归方案FORK(如中所述邮编:A122201)相当于递归方案SPINE的组合(如中所述A122203)depend,即FORK(f)=depend(SPINE(f))适用于所有的Catalan自同构f。这些递归格式具有定义良好的逆,即它们是所有Catalan自同构集合上的双射映射。因此,我们可以等价地定义depend(f)=FORK(SPINE^{-1}(f))。具体地说,如果g=SPINE(f),那么(f s)=(cond((pair?s)(let((t(g s))))(cons(car t)(g^{-1}(cdr t t))))(else s))(即,为了得到一个自同构f,当g服从递归方案SPINE时,我们用它自己的逆来构造g,并将其逆应用到s表达式的cdr分支上。这意味着对于表中的任何非递归自同构fA089840号,脊椎^{-1}(f)也在A089840号,这又意味着表的行邮编:A122283形成表行的(适当的)子集邮编:A122201例如,第1行邮编:A122283是第21排邮编:A122201,第2行,共邮编:A122283是第3613行的吗邮编:A122201,第17行,共邮编:A122283是第65352行的邮编:A122201,第21行,共邮编:A122283是第251行的吗邮编:A122201. -安蒂·卡尔图宁2007年5月25日

参考文献

A、 Karttunen,文件正在编写中,草稿可通过电子邮件获得。

链接

n=n的表。。95

Catalan自同构签名置换的索引项

黄体脂酮素

(方案:)(define(NEPEED foo)(letrec((bar(lambda(s)(foo(map bar s))))(条形图))

(定义(!NEPEED foo!)(letrec((bar!(lambda(s)(每个bar!s)(foo!s))bar!))

交叉引用

此表的前22行:第0行(标识排列):A001477号,1:A122302号,2:A122300,3:A122304号,4:A122310,5:邮编:A122308,6:A122306号,7:A122312,8:A122314,第9页:A122320,10:A122318型,11:A122316号,12:A122332号,13:A122334号,第14页:A122336号,15:A122340号,第16页:A122338,17:A122322,18岁:A122324号,19:邮编:A122326,20:A122330型,21:邮编:A122328另见表A089840号,A122200,邮编:A122201-邮编:A122204,邮编:A122285-邮编:A122288,邮编:A122289-邮编:A122290.

上下文顺序:A130401 邮编:A122289 邮编:A122290*A122203 邮编:A122287 邮编:A122283

相邻序列:邮编:A122281 邮编:A122282 邮编:A122283*邮编:A122285 邮编:A122286 邮编:A122287

关键字

,

作者

安蒂·卡尔图宁2006年9月1日

状态

经核准的

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

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

上次修改时间:2022年1月16日23:21。包含350377个序列。(运行在oeis4上。)