登录
OEIS基金会得到了OEIS用户的捐赠和西蒙斯基金会的资助。

 

标志


提示
(问候来自整数序列在线百科全书!)
A122203 表中非递归Catalan自同构的SPINE变换的特征置换A089840号. 46
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,11,12,8,7,5,5,4,3,2,1,0,13,21,14,13,12 (列表;桌子;图表;参考文献;;历史;文本;内部格式)
抵消

0,4个

评论

第n行是Catalan自同构的签名置换,它是从表中第n个非递归自同构获得的A089840号使用递归方案“SPINE”。在这个递归方案中,给定的自同构首先应用于二叉树的根,然后再递归到新的右侧分支。相关计划程序脊椎和!SPINE可以用来从任何构造性或破坏性实现的自同构中获得这样的变换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到邮编:A122204.

递归方案SPINE有一个定义良好的逆,即它充当所有Catalan自同构集合上的双射映射。具体地说,如果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号,这又意味着表的行A089840号形成此表行的(适当的)子集。

参考文献

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

链接

n=0..95时的n,a(n)表。

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

黄体脂酮素

(方案:)(define(SPINE foo)(letrec((bar(lambda(s))(let((t(foo s))))(if(pair?t)(cons(car t)(bar(cdr t))))))))(巴)

(define(!SPINE foo!)(letrec((bar!(lambda(s)(条件((pair?s)(foo!s)(bar!(cdr s)))s))(条!))

交叉引用

参见本表的前22行:第0行(标识排列):A001477号,1:A069767号,2:A057509型,3:邮编:A130341,4:邮编:A130343,5:邮编:A130345,6:A130347号,7:邮编:A122282,8:A082339号,第9页:邮编:A130349,10:邮编:A130351,11:邮编:A130353,12:A074685号,13:A130355号,第14页:A130357号,15:邮编:A130359,第16页:邮编:A130361,17:A057501号,18岁:邮编:A130363,19:邮编:A130365,20:邮编:A130367,21:A069770号. 其他行:第251行:A089863号,第253行:邮编:A123717,第3608行:邮编:A129608,第3613行:A072796号,第65352行:A074680号,第79361行:邮编:A123715.

另请参见表格A089840号,A122200,邮编:A122201-邮编:A122204,邮编:A122283-邮编:A122284,邮编:A122285-邮编:A122288,邮编:A122289-邮编:A122290.

上下文顺序:邮编:A122289 邮编:A122290 邮编:A122284*邮编:A122287 邮编:A122283 邮编:A122204

相邻序列:A122200 邮编:A122201 邮编:A122202*邮编:A122204 A122205型 A122206

关键字

,

作者

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

状态

经核准的

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

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

上次修改时间:2021年10月20日00:57。包含348099个序列。(运行在oeis4上。)