显示找到的15个结果中的1-10个。
0, 1, 3, 2, 7, 8, 6, 4, 5, 18, 17, 20, 22, 21, 16, 19, 14, 10, 9, 15, 11, 13, 12, 49, 50, 48, 45, 46, 55, 54, 61, 63, 64, 57, 62, 58, 59, 47, 44, 53, 60, 56, 42, 51, 38, 26, 27, 37, 25, 23, 24, 43, 52, 39, 29, 28, 41, 33, 35, 36, 40, 30, 34, 31, 32, 143, 142, 146, 148, 147
0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 14, 16, 19, 11, 15, 12, 17, 18, 13, 20, 21, 22, 23, 28, 25, 26, 27, 37, 38, 42, 44, 47, 51, 53, 56, 60, 24, 29, 39, 43, 52, 30, 40, 31, 45, 54, 34, 48, 49, 50, 33, 41, 32, 46, 55, 35, 57, 58, 62, 36, 61, 59, 63, 64, 65, 67, 79, 84, 93, 66, 81
非递归Catalan自同构的签名置换（即有限平面二叉树的双射，从根到无限距离没有无限递归），根据其定义子句中所需的最小打开节点数进行排序。
+10
86
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, 10, 12, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 21, 14, 13, 12, 8, 7, 6
评论
每行是自然数的排列，只出现一次。表的行组成已关闭（请参见A089839号)它包含每一个的倒数（它们的位置如所示A089843美元).表中的排列构成了所有大小保持的“Catalan双射”（有限个未标记根平面二叉树中的双射）组的可枚举子群。每个元素的顺序显示在A089842号.
参考文献
A.Karttunen，正在准备论文，可通过电子邮件获取草稿。
交叉参考
此表的前22行：第0行（身份置换）：A001477号, 1:A069770号, 2:A072796号, 3:A089850型, 4:A089851号, 5:A089852号, 6:A089853号, 7:A089854号, 8:A072797号, 9:A089855号, 10:A089856号, 11:A089857号, 12:A074679号, 13:A089858号, 14:A073269号, 15:A089859号, 16:A089860号, 17:A074680号, 18:A089861号, 19:A073270型, 20:A089862号, 21:A089863美元.
桌子A122200型,A122201型,A122202号,A122203号,A122204号,122283英镑,A122284号,A122285号,A122286号,A122287号,122288英镑,A122289号,A122290号,A130400个-A130403型给出这些非递归自同构的各种“递归推导”。另请参见A089831号,A073200型.
作者
安蒂·卡图恩2003年12月5日；上次修订日期：2009年1月6日
0, 1, 0, 2, 1, 0, 3, 3, 1, 0, 4, 2, 2, 1, 0, 5, 8, 3, 2, 1, 0, 6, 7, 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, 22, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 21, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 14, 13, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 17, 10, 12, 13
评论
第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840号使用递归方案“ENIPS”。在这个递归方案中，算法首先递归到二叉树的右侧分支，然后在其根上应用给定的自同构。这对应于应用于加泰罗尼亚语结构的右折叠式操作，例如解释为括号或类Lisp列表，其中（lambda（x y）（f（cons x y））是给定fold的二进制函数，“f”是给定的自同构。相关方案程序ENIPS和！ENIPS可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每一行只出现一次。这些排列的倒数可以在表中找到A122203号.
由于“折叠的通用性”，递归格式ENIPS有一个定义良好的逆，即它在所有加泰罗尼亚自同构集上充当双射映射。具体地说，如果g=ENIPS（f），那么（fs）=（g（cons（cars）（g^{-1}（cdrs））），也就是说，为了获得在递归方案ENIPS下给出g的自同构f，我们将其自身的逆应用于s表达式的cdr分支（即二叉树上下文中的右子树）来合成g。这意味着对于表中的任何非递归自同构fA089840号，ENIPS^{-1}（f）也位于A089840号，这又意味着表的行A089840号形成此表行的（适当的）子集。
参考文献
A.Karttunen，正在准备论文，可通过电子邮件获取草稿。
黄体脂酮素
（麻省理工学院方案：）（define（ENIPS foo）（lambda（s）（fold-right（lambda（x y）（foo（cons x y））））
（define（！ENIPS foo！）（letrec（（bar！（lambda（s）（cond（（pair？s）（bar！))
交叉参考
参见本表前22行：第0行（身份置换）：A001477号, 1:A069768号, 2:A057510号, 3:A130342号, 4:A130348号, 5:A130346号, 6:A130344号, 7:A122282号, 8:A082340号, 9:130354美元, 10:A130352号, 11:A130350型, 12:A057502号, 13:A130364号, 14:A130366号, 15:A069770号, 16:A130368号, 17:A074686号, 18:A130356号, 19:A130358号, 20:A130362号, 21:A130360型其他行：第169行：A089859美元，第253行：A123718号，第3608行：A129608号，第3613行：A072796号，第65167行：A074679号，第79361行：A123716号.
0, 1, 0, 2, 1, 0, 3, 3, 1, 0, 4, 2, 2, 1, 0, 5, 8, 3, 2, 1, 0, 6, 7, 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, 22, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 21, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 11, 12, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 18, 14, 13, 12
评论
第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840号使用递归方案“FORK”。在这个递归方案中，给定的自同构首先应用于二叉树的根，然后算法递归到两个分支（新的分支，可能会被给定的自构所改变）。也就是说，当它被解释为二叉树时，这对应于加泰罗尼亚结构的预先顺序（前缀）遍历。相关方案将FORK和！FORK可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到A122202号.
参考文献
A.Karttunen，正在准备论文，可通过电子邮件获取草稿。
黄体脂酮素
（方案：）（define（FORK foo）（letrec（（bar（lambda（s）（let（t（foo））））（if（pair？t）（cons（bar（car t））（bar（cdr t）））bar）））
（define（！FORK foo！）（letrec（（bar！（lambda（s））（cond（（pair？s）（foo！s）（bar！（car s））（bar！（cdr s））））））bar！))
交叉参考
此表的前22行：第0行（身份置换）：A001477号, 1:A057163号, 2:A057511号, 3:122341英镑, 4:A122343号, 5:A122345号, 6:A122347号, 7:A122349号, 8:A082325号, 9:A082360型, 10:A122291号, 11:A122293号, 12:A074681号, 13:A122295号, 14:A122297号, 15:A122353号, 16:122355英镑, 17:A074684号, 18:A122357号, 19:A122359号, 20:A122361号, 21:A122301号.其他行：第4253行：A082356号，第65796行：A082358号，第79361行：A123493号.
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
评论
第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）））
（define（！SPINE foo！）（letrec（（bar！（lambda（s）（cond（（pair？s）（foo！s）（bar！))
交叉参考
参见本表前22行：第0行（身份置换）：A001477号, 1:A069767号, 2:A057509号, 3:A130341号, 4:A130343号, 5:130345美元, 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号.
0, 1, 0, 2, 1, 0, 3, 3, 1, 0, 4, 2, 2, 1, 0, 5, 8, 3, 2, 1, 0, 6, 7, 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, 22, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 21, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 10, 12, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 17, 14, 13, 12
评论
第n行是加泰罗尼亚自同构的特征置换，它是从表中的第n个非递归自同构获得的A089840号使用递归方案“DEEPEN”。在这个递归方案中，给定的自同构首先应用于一般树的根，然后算法递归到所有子树。也就是说，当它被解释为一般树时，这对应于加泰罗尼亚结构的预先顺序（前缀）遍历。相关方案包括DEEPEN和！DEEPEN可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到A122284号.
参考文献
A.Karttunen，正在准备论文，可通过电子邮件获取草稿。
黄体脂酮素
（方案：）（define（DEEPEN foo）（letrec（（bar（lambda（s）（map bar（foo））））bar））
（定义（！DEEPEN foo！）（letrec（（bar！（lambda（s）（foo！s）（for-each bar！s）s））bar！）！))
交叉参考
此表的前22行：第0行（身份置换）：A001477号, 1:A122301号, 2:A122300个, 3:A122303号, 4:A122305号, 5:A122307号, 6:A122309号, 7:A122311号, 8:A122313号, 9:A122315号, 10:A122317号, 11:A122319号, 12:A122321号, 13:A122323号, 14:A122325号, 15:A122327号, 16:122329英镑, 17:A122331号, 18:A122333号, 19:A122335号, 20:A122337号, 21:122339英镑。另请参阅表格A089840号,A122200型,A122201型-A122204号,A122285号-122288英镑,A122289号-A122290号.
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, 10, 12, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 22, 14, 13, 12
评论
第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840号使用递归方案“NEPEED”。在这个递归方案中，算法首先向下递归到所有子树，然后在一般树的根上应用给定的自同构。也就是说，这对应于加泰罗尼亚结构的后序（后缀）遍历，当它被解释为一般树时。相关方案程序NEPEED和！NEPEED可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每行只出现一次。这些排列的倒数可以在表中找到A122283号.
参考文献
A.Karttunen，正在准备论文，可通过电子邮件获取草稿。
黄体脂酮素
（方案：）（define（NEPEED foo）（letrec（（bar（lambda（s）（foo（map bar））））bar））
（define（！NEPEED foo！）（letrec（（bar！（lambda（s）（for-each bar！s）（foo！s）s）））bar！))
交叉参考
此表的前22行：第0行（身份置换）：A001477号, 1:A122302号, 2:A122300个, 3:A122304号, 4:A122310号, 5:A122308号, 6:A122306号, 7:2012年12月1日, 8:A122314号, 9:A122320型, 10:A122318号, 11:A122316号, 12:A122332号, 13:A122334号, 14:A122336号, 15:A122340号, 16:122338英镑, 17:A122322号, 18:A122324号, 19:A122326号, 20:A122330号, 21:A122328号。另请参阅表格A089840号,A122200型,A122201型-A122204号,A122285号-A122288号,A122289号-A122290号.
0, 1, 0, 2, 1, 0, 3, 3, 1, 0, 4, 2, 2, 1, 0, 5, 8, 3, 2, 1, 0, 6, 7, 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, 22, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 21, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 14, 13, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 18, 10, 12, 13
评论
第n行是从表中的第n个非递归自同构获得的加泰罗尼亚自同构的签名置换A089840号使用递归方案“KROF”。在这个递归方案中，算法首先向下递归到两个分支，然后在二叉树的根上应用给定的自同构。也就是说，当它被解释为二叉树时，这对应于加泰罗尼亚结构的后序（后缀）遍历。相关方案涉及KROF和！KROF可用于从任何构造性或破坏性实现的自同构中获得这样的转换自同构。此表中每一行只出现一次。这些排列的倒数可以在表中找到A122201型.
参考文献
A.Karttunen，正在准备论文，可通过电子邮件获取草稿。
黄体脂酮素
（麻省理工学院方案：）（define（KROF foo）（letrec（（bar（lambda（s）（fold-right（lambda（x y）（foo（cons（bar x）y））））bar））
（define（！KROF foo！）（letrec（（bar！（lambda（s））（cond（（pair？s）（bar！（car s））（bar！（cdr s））（foo！s））））bar！))
交叉参考
此表的前22行：第0行（身份置换）：A001477号, 1:A057163号, 2:A057512号, 3:A122342号, 4:A122348号, 5:A122346号, 6:A122344号, 7:A122350型, 8:A082326号, 9:A122294号, 10:A122292号, 11:A082359号, 12:A074683号, 13:A122358号, 14:A122360型, 15:A122302号, 16:A122362号, 17:A074682号, 18:A122296号, 19:A122298号, 20:A122356号, 21:A122354号.其他行：第4069行：A082355号，第65518行：A082357号，第79361行：123494英镑.
0, 1, 0, 2, 1, 0, 3, 3, 1, 0, 4, 2, 2, 1, 0, 5, 8, 3, 2, 1, 0, 6, 7, 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, 22, 8, 7, 4, 5, 6, 3, 2, 1, 0, 11, 21, 9, 8, 7, 4, 4, 4, 3, 2, 1, 0, 12, 20, 14, 13, 8, 7, 5, 5, 4, 3, 2, 1, 0, 13, 18, 11, 12, 13
参考文献
A.Karttunen，正在准备论文，可通过电子邮件获取草稿。
交叉参考
此表的前22行：第0行（身份置换）：A001477号, 1:A082348号, 2:2005年5月08日, 3:A131141号, 4:A131143号, 5:A131145号, 6:A131147号, 7:A131173号, 8:A131169号, 9:A131149号, 10:A131151号, 11:A131153号, 12:A131171号, 13:A131155号, 14:A131157号, 15:A131159号, 16:A131161号, 17:A057503号, 18:A131163号, 19:A131165号, 20:A131167号, 21:A069768号其他行：第251行：A130360型, 3608:A130339号, 3613:A057510号, 65352:A074686号.
搜索在0.013秒内完成
| 