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

 

标志
提示
(来自的问候整数序列在线百科全书!)
搜索: a122311-编号:a122311
显示找到的2个结果中的1-2个。 第页1
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
A122283号 表中非递归加泰罗尼亚自同构的DEEPEN-变换的签名置换A089840号. +10
41
0、1、0、2、1、0、3、1、0、4、2、1、0、5、8、3、2、1、0、6、7、4、3、2、1、0、7、6、5、3、2、1、0、8、4、5、4、5、5、3、2、1、0、9、5、7、6、6、3、2、1、0、10、22、8、7、4、5、6、3、2、1、0、11、21、9、8、7、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号,脊椎^{-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,正在准备论文,可通过电子邮件获取草稿。
链接
黄体脂酮素
(方案:)(define(DEEPEN foo)(letrec((bar(lambda(s)(map bar(foo s)))))))
(定义(!DEEPEN foo!)(letrec((bar!(lambda(s)(foo!s)(for-each bar!s)s))bar!)
交叉参考
关键字
非n,
作者
安蒂·卡图恩2006年9月1日
状态
经核准的
2012年12月1日 第7行,共7行A122284号. +10
2
0、1、2、3、4、5、6、8、7、9、10、11、12、13、14、15、19、21、22、16、20、18、17、23、24、25、26、27、28、29、30、31、32、33、34、36、35、37、38、39、40、41、51、52、56、58、59、60、62、63、64、42、43、53、57、61、47、55、49、50、44、54、48、46、45、65、66、67、68、69、70、71 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
由第七个非递归自同构导出的自同构的符号置换*A089854号使用递归模式NEPEED(请参见A122284号定义)。
链接
交叉参考
反向:A122311号。不同于A073286号第一次,n=35,其中a(n)=36,而A073286号(n) =35。
关键字
非n
作者
安蒂·卡图恩2006年9月1日
状态
经核准的
第页1

搜索在0.003秒内完成

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

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

上次修改时间:2024年4月24日15:57 EDT。包含371961个序列。(在oeis4上运行。)