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

 

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

0,4

评论

第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840号使用递归方案“SPINE”。在这个递归方案中,给定的自同构首先应用于二叉树的根,然后算法递归到新的右侧分支。相关的方案将处理脊椎和!SPINE可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到A122204号.

递归方案SPINE有一个定义良好的逆,即它在所有加泰罗尼亚自同构集上充当双射映射。具体地说,如果g=SPINE(f),那么(f s)=(cond((pair?s)(let(t(g s)))(cons(car t)(g^{-1}(cdr t))))。这意味着对于表中的任何非递归自同构fA089840号,脊椎^{-1}(f)也位于A089840号,这又意味着表的行A089840号形成此表行的(适当的)子集。

参考文献

A.Karttunen,正在准备论文,可通过电子邮件获取草稿。

链接

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

加泰罗尼亚语自同构的符号置换索引条目

黄体脂酮素

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

(定义(!SPINE foo!)(letrec((bar!(lambda(s)(cond((pair?s)(foo!s)(ba!(cdr s))))bar!))

交叉参考

参见本表前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号

关键词

非n,

作者

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

状态

经核准的

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

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

上次修改时间:2023年2月5日00:04 EST。包含360082个序列。(在oeis4上运行。)