搜索： a073284-编号：a073285
|
| |
| |
|
|
|
0, 1, 0, 3, 1, 0, 2, 2, 1, 0, 7, 3, 3, 1, 0, 8, 4, 2, 3, 1, 0, 6, 6, 8, 2, 3, 1, 0, 4, 5, 7, 7, 2, 3, 1, 0, 5, 7, 6, 6, 8, 2, 3, 1, 0, 17, 8, 5, 8, 7, 7, 2, 2, 1, 0, 18, 9, 4, 4, 6, 8, 7, 3, 3, 1, 0, 20, 10, 22, 5, 5, 5, 8, 4, 2, 2, 1, 0, 21, 14, 21, 17, 4, 4, 6, 5, 8, 3, 3, 1, 0
(列表;桌子;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
0,4
|
|
|
评论
|
构造过程类似于原始递归函数到N的构造映射：我们有两个基本原语，A069770号（第0行）和A072796号（第1行），其中前者交换二叉树的左子树和右子树，后者交换平面一般树的两个最左子树的位置，除非树的度小于2，在这种情况下，它只是修复它。从此，偶数行是根据此表中的任何其他Catalan双射递归构造的，使用五种允许的递归类型之一：
0-应用给定的Catalan双射，然后递归到获得的新二叉树的两个子树。（行号的最后一位小数=2）
1-首先递归到旧二叉树的两个子树，然后才应用给定的Catalan双射。（最后一位=4）
2-应用给定的Catalan双射，然后递归到获得的新二叉树的右子树。（最后一位=6）
3-首先递归到旧二叉树的右子树，然后才应用给定的Catalan双射。（最后一位=8）
4-首先递归到旧二叉树的左子树，然后应用给定的Catalan双射，然后递归到新二叉树右子树。（最后一位=0）
奇数行>2是行0、1、2、4、6、8…的组合。。。（即其中一个基元A069770号或A072796号（或递归组合之一）和来自右侧同一数组的任何Catalan双射。请参阅scheme-functions index-for-recursive-sgtb和index-fort-composed-sgtb，了解如何计算此表中递归和普通组合的位置。
|
|
|
链接
|
|
|
|
黄体脂酮素
|
（Scheme函数显示如何计算此表中出现foo递归组合（矩形0-4）或lhs和rhs普通组合的行，其中foo、lhs、rhs也是此表的索引）：
（定义（index-for-recursive-sgtb foo矩形类型）（+2（*10 foo）（*2矩形类型））
（define（组合的sgtb-lhs-rhs的索引）（let（（new lhs（cond（（＜lhs 2）lhs））（（even？lhs）（1+（/lhs 2））））（else（error）仅原始加泰罗尼亚双射A069770号(0) &A072796号（1） 或者递归组合的加泰罗尼亚双宾语（偶数>=2）可以出现在组合的左侧。不允许奇数：“lhs）））（1+（packA054238（*2 new-lhs）rhs）））
|
|
|
交叉参考
|
此表的前21行：。
本表中发生的其他加泰罗尼亚双射诱发的EIS突变。只给出了已知的第一次出现。对合用*标记，其他用其逆：配对。
有关（某些）加泰罗尼亚自同构的更实用枚举系统，请参见表A089840号及其各种“递归推导”。
|
|
|
关键字
|
|
|
|
作者
|
|
|
|
状态
|
经核准的
|
| |
|
|
| |
| |
|
|
|
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美元和*129604英镑保持原样。这些排列的倒数可以在表中找到A130401型.
|
|
|
链接
|
|
|
|
黄体脂酮素
|
（方案：）（定义（INORDER f）（letrec（（g（λ
（定义（！INORDER f！）（letrec（（g！（lambda（s）（cond（（pair？s）（g
|
|
|
交叉参考
|
参见本表前22行：第0行（身份置换）：A001477号, 1:A069770号, 2:A073284号, 3:A122341号，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行：129604英镑.
|
|
|
关键字
|
|
|
|
作者
|
|
|
|
状态
|
经核准的
|
| |
|
|
| |
| |
|
|
|
0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 14, 10, 16, 19, 11, 15, 12, 17, 20, 13, 18, 21, 22, 23, 37, 24, 42, 51, 25, 38, 26, 44, 47, 27, 53, 56, 60, 28, 39, 29, 43, 52, 30, 40, 31, 45, 54, 32, 46, 57, 61, 33, 41, 34, 48, 55, 35, 49, 58, 62, 36, 50, 59, 63, 64, 65, 107, 66, 121, 149, 67
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
0,3
|
|
|
链接
|
|
|
|
黄体脂酮素
|
（在列表结构上实现此自同构的Scheme函数：）
（定义（gmA073285！s）
|
|
|
交叉参考
|
|
|
|
关键字
|
非n
|
|
|
作者
|
|
|
|
状态
|
经核准的
|
| |
|
|
| |
| |
|
|
|
0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 12, 11, 13, 17, 18, 16, 14, 15, 21, 19, 20, 22, 23, 24, 26, 25, 27, 31, 32, 30, 28, 29, 35, 33, 34, 36, 45, 46, 48, 49, 50, 44, 47, 42, 37, 38, 43, 39, 40, 41, 58, 59, 56, 51, 52, 57, 53, 54, 55, 63, 60, 61, 62, 64, 65, 66, 68, 67, 69
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
0,3
|
|
|
评论
|
|
|
|
链接
|
|
|
|
黄体脂酮素
|
（在列表结构上实现此自同构的Scheme函数：）
（定义（gma082342！s）
|
|
|
交叉参考
|
|
|
|
关键字
|
非n
|
|
|
作者
|
|
|
|
状态
|
经核准的
|
| |
|
搜索在0.006秒内完成
|
