搜索： a130347-编号：a130347
|
| |
| |
|
|
|
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，正在准备论文，可通过电子邮件获取草稿。
|
|
|
链接
|
|
|
|
程序
|
（方案：）（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:130355美元, 14:A130357号, 15:A130359号, 16:A130361号, 17:A057501号, 18:A130363号, 19:130365美元, 20:A130367号, 21:A069770号其他行：第251行：A089863号，第253行：2017年12月17日，第3608行：A129608号，第3613行：A072796号，第65352行：A074680号，第79361行：A123715号.
|
|
|
关键词
|
|
|
|
作者
|
|
|
|
状态
|
已批准
|
| |
|
|
| |
| |
|
|
|
0, 1, 2, 3, 5, 6, 4, 7, 8, 13, 15, 12, 16, 19, 11, 14, 9, 17, 18, 10, 20, 21, 22, 36, 41, 35, 43, 52, 34, 40, 31, 44, 47, 32, 53, 56, 60, 33, 39, 30, 42, 51, 28, 37, 23, 45, 46, 24, 48, 49, 50, 29, 38, 25, 54, 55, 26, 57, 58, 59, 27, 61, 62, 63, 64, 106, 120, 105, 125, 153
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
0,3
|
|
|
评论
|
|
|
|
链接
|
|
|
|
交叉参考
|
|
|
|
关键词
|
非n
|
|
|
作者
|
|
|
|
状态
|
已批准
|
| |
|
|
| |
| |
|
|
|
0, 1, 2, 3, 6, 4, 5, 7, 8, 14, 16, 19, 11, 9, 15, 10, 12, 20, 17, 13, 18, 21, 22, 42, 39, 37, 53, 44, 51, 47, 56, 28, 30, 60, 33, 25, 23, 38, 43, 52, 29, 24, 40, 26, 34, 54, 57, 31, 61, 48, 45, 41, 27, 32, 55, 46, 35, 49, 62, 58, 36, 50, 59, 63, 64, 123, 154, 126, 112, 114
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
0,3
|
|
|
评论
|
|
|
|
链接
|
|
|
|
交叉参考
|
|
|
|
关键词
|
非n
|
|
|
作者
|
|
|
|
状态
|
已批准
|
| |
|
|
| |
| |
|
|
|
0, 1, 2, 3, 6, 4, 5, 7, 8, 14, 16, 19, 11, 9, 15, 10, 12, 17, 18, 13, 20, 21, 22, 42, 39, 37, 53, 44, 51, 47, 56, 30, 33, 60, 28, 25, 23, 38, 43, 52, 29, 24, 40, 26, 31, 45, 46, 32, 48, 49, 50, 41, 27, 34, 54, 55, 35, 57, 58, 59, 36, 61, 62, 63, 64, 123, 154, 126, 112, 114
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
0,3
|
|
|
评论
|
|
|
|
链接
|
|
|
|
交叉参考
|
|
|
|
关键词
|
非n
|
|
|
作者
|
|
|
|
状态
|
已批准
|
| |
|
搜索在0.005秒内完成
|
