登录
搜索: 编号:a130400
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
表中非递归加泰罗尼亚自同构INORDER变换的签名置换A089840号.
+0
24
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, 4, 5, 4, 5, 3, 2, 1, 0, 9, 5, 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号使用递归方案“INORDER”。在这个递归方案中,在算法沿分支(二叉树上下文中的左侧树)递归后,在二叉树的根上应用给定的自同构,但在算法递归到cdr分支之前(二叉树的右侧,相对于分支的新方向,可能会被应用的自同构改变)。也就是说,当它被解释为二叉树时,这对应于加泰罗尼亚结构的深度顺序遍历。关联的方案程序INORDER和!INORDER可以用于从任何构造性(或分别为:破坏性)实现的自同构中获得这样的变换自同构。本表中每一行仅出现一次,并且给出了类似注释,例如表A122202号在此处应用,例如A089840号所有这些都发生在这里。这个变换除了平凡的恒等式自同构之外还有许多不动点*A001477号:至少*A069770号, *A089863号和*A129604型保持原样。这些排列的倒数可以在表中找到A130401型.
黄体脂酮素
(方案:)(定义(INORDER f)(letrec((g(λ
(define(!INORDER f!)(letrec((g!(lambda(s))cond((pair?s)(g!(car s))(f!s)(g!(cdr s)))s)))g!)
交叉参考
参见本表前22行:第0行(身份置换):A001477号, 1:A069770号, 2:A073284号, 3:122341英镑, 4:A130381号, 5:A130383号, 6:A130385号, 7:A122350型, 8:A082341号, 9:A130387号, 10:A130389号, 11:A130391号, 13:A130393号, 14:130395英镑, 15:A130397号, 16:A130927号, 17:A071657号, 18:A130929号, 19:A130931号, 20:A130933号, 21:A089863号.其他行:第1654694行:A073280号,第1654720行:A129604型.
参见。序列不同于A130401型第一次,n=80,其中a(n)=11,而A130401型(n) =14。
关键词
非n,
作者
Antti Karttunen公司2007年6月11日
状态
经核准的

搜索在0.004秒内完成