显示找到的49个结果中的1-10个。
1, 1, 2, 4, 11, 31, 96, 305, 1007, 3389, 11636, 40498, 142714, 507870, 1823040, 6591885, 23989419, 87795473, 322922652, 1193058230, 4425547638, 16475756738, 61539293424, 230548633954, 866095934598, 3261868457698, 12313423931624
0, 1, 3, 2, 8, 7, 5, 6, 4, 22, 21, 20, 18, 17, 13, 12, 15, 19, 16, 11, 14, 10, 9, 64, 63, 62, 59, 58, 61, 57, 55, 50, 49, 54, 48, 46, 45, 36, 35, 34, 32, 31, 41, 40, 52, 60, 56, 43, 53, 47, 44, 33, 30, 39, 51, 42, 29, 38, 27, 26, 28, 37, 25, 24, 23, 196, 195, 194, 190, 189
0, 1, 3, 2, 8, 6, 7, 5, 4, 22, 21, 19, 15, 14, 20, 16, 18, 13, 12, 17, 11, 10, 9, 64, 63, 62, 59, 58, 60, 56, 52, 41, 40, 51, 39, 38, 37, 61, 57, 53, 43, 42, 55, 47, 50, 36, 35, 49, 34, 32, 31, 54, 44, 48, 33, 30, 46, 29, 27, 26, 45, 28, 25, 24, 23, 196, 195, 194, 190, 189
0, 1, 3, 2, 7, 5, 8, 4, 6, 17, 18, 12, 11, 15, 20, 13, 21, 9, 10, 22, 14, 16, 19, 45, 46, 48, 49, 50, 31, 32, 30, 28, 29, 40, 39, 43, 52, 54, 55, 34, 33, 41, 57, 35, 58, 23, 24, 59, 25, 26, 27, 61, 36, 62, 37, 38, 63, 42, 44, 47, 64, 51, 53, 56, 60, 129, 130, 132, 133, 134
表中第一个非恒等非递归Catalan自同构的特征置换A089840号:交换二叉树的顶部分支。非负整数的对合。
+10 91
0, 1, 3, 2, 7, 8, 6, 4, 5, 17, 18, 20, 21, 22, 16, 19, 14, 9, 10, 15, 11, 12, 13, 45, 46, 48, 49, 50, 54, 55, 57, 58, 59, 61, 62, 63, 64, 44, 47, 53, 56, 60, 42, 51, 37, 23, 24, 38, 25, 26, 27, 43, 52, 39, 28, 29, 40, 30, 31, 32, 41, 33, 34, 35, 36, 129, 130, 132, 133, 134
评论
这是在单位双射之后最简单的可能的加泰罗尼亚自同构(A001477号). 它对未标记的有根平面二叉树(字母A和B表示位于这些向量上的任意子树)产生以下变换:
A B B A
\ / --> \ /
x x x
(a.b)----->(b.a)
例子
为了获得签名置换,我们将这些变换应用于按以下方式编码和排序的二叉树A014486号对于每个n,a(n)将是第n棵树转换到的树的位置,如下所示:
.
一棵内部树
空树(非叶)节点
x个\/
n=0 1
a(n)=0 1(两者总是固定的)
.
.
\/ \/ \/ \/
\/ \/ \/ \/ \/ \/ \/ \/
\/ \/ \/ \/ \_/ \/ \/
n=2 3 4 5 6 7 8
.
交换左右手子树后的新形状为:
.
\/ \/ \/ \/
\/ \/ \/ \/ \/ \/ \/ \/
\/ \/ \/ \/ \_/ \/ \/
a(n)=3 2 7 8 6 4 5
因此我们得到了这个序列的前九项:0,1,3,2,7,8,6,4,5。
黄体脂酮素
(此自同构的方案实现。这些作用于S表达式,即列表结构:)
(建设版本:)(定义(*A069770号s) (if(配对)(cons(cdr)(cars))
(破坏性版本:)(定义(*A069770号! s) (if(配对)(let((ex-car(cars)))(set-car!s(cdr-s))(set-cdr!s ex-car))
扩展
条目修订人安蒂·卡图恩2006年10月11日和2024年3月30日
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
评论
构造过程类似于原始递归函数到N的构造映射:我们有两个基本原语,A069770号(第0行)和A072796号(第1行),其中前者交换二叉树的左子树和右子树,后者交换平面一般树的两个最左子树的位置,除非树的度小于2,在这种情况下,它只是修复它。从此,偶数行是根据此表中的任何其他Catalan双射递归构造的,使用五种允许的递归类型之一:
0-应用给定的Catalan双射,然后递归到获得的新二叉树的两个子树。(行号的最后一位小数=2)
1-首先递归到旧二叉树的两个子树,然后才应用给定的Catalan双射。(最后一位=4)
2-应用给定的Catalan双射,然后递归到获得的新二叉树的右子树。(最后一位=6)
3-首先递归到旧二叉树的右子树,然后应用给定的加泰罗尼亚双射。(最后一位=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(index-for-composed-sgtb lhs-rhs)(let((new-lhs(cond((<lhs2)lhs))((偶数?lhs(1+(/lhs2))))(else(error“Only the primitive Catalan bijectionsA069770号(0) &A072796号(1) 或者递归组合的加泰罗尼亚双宾语(偶数>=2)可以出现在组合的左侧。不允许奇数:“lhs)))(1+(packA054238(*2 new-lhs)rhs)))
交叉参考
此表的前21行:。
本表中发生的其他加泰罗尼亚双射诱发的EIS突变。只给出了已知的第一次出现。对合用*标记,其他用其逆:配对。
关于(一些)加泰罗尼亚自同构的更实用的枚举系统,请参见表A089840号及其各种“递归推导”。
非递归加泰罗尼亚自同构的特征置换(即有限平面二叉树的双射,从根到无限距离没有无限递归),根据其定义子句中所需的最小开放节点数排序。
+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美元.
桌子122200澳元,A122201型,A122202号,A122203号,A122204号,A122283号,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))))
(定义(!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:A130354号, 10:A130352号, 11:A130350型, 12:A057502号, 13:A130364号, 14:A130366号, 15:A069770号, 16:130368英镑, 17:A074686号, 18:130356英镑, 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, 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)))
(定义(!SPINE foo!)(letrec((bar!(lambda(s)(cond((pair?s)(foo!s)(ba!(cdr s))))bar!))
交叉参考
参见本表前22行:第0行(身份置换):A001477号, 1:A069767号, 2:2005年5月09日, 3:A130341号, 4:130343美元, 5:A130345号, 6:A130347号, 7:A122282号, 8:A082339号, 9:A130349号, 10:A130351号, 11:130353美元, 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号.
加泰罗尼亚自同构的签名置换:如果可能,将二叉树向左旋转,否则交换其边。
+10 37
0, 1, 3, 2, 6, 7, 8, 4, 5, 14, 15, 16, 17, 18, 19, 20, 21, 9, 10, 22, 11, 12, 13, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 23, 24, 59, 25, 26, 27, 60, 61, 62, 28, 29, 63, 30, 31, 32, 64, 33, 34, 35, 36, 107, 108, 109, 110, 111
评论
此自同构对未标记的有根平面二叉树(字母A、B、C表示位于这些节点上的任意子树,()表示隐含的终端节点)上的以下变换产生影响
……B……C……A……B
....\./.........\./
.A.…x…-->。。。。x..C…………..A..()。。。。。。。。。()..答:。。
..\./.............\./...................\./....-->....\./...
…x…………..x。。。。
(a、(b、c))->(a、b)。c) ______(())-->()。a)
也就是说,如果可能的话,我们将二叉树向左旋转,否则(如果树的右手边是终端节点)交换左右子树(使终端节点结束于左手边),即应用自同构*A069770号。请看中的示例A069770号看看这将如何生成给定的整数序列。
黄体脂酮素
(此自同构的方案实现。这些作用于S表达式,即列表结构:)
(建设版本:)(定义(*A074679号s) (cond((非(配对))s)((配对(cdr)s))(cons(配对(汽车)(cadr))(cddrs)))(else(配对(cdr)(汽车)))
(破坏性版本:)(定义(*A074679号! s) (条件((对)(条件(对))
(定义(robl!s)(let((ex-car(cars)))(set-car!s(cddrs))(set-cdr!(cdr s)ex-car)(swap!(cdrs))
(define(swap!s)(let((ex car(car s)))(set car!s(cdr s))(set cdr!s ex car)s)
交叉参考
这种自同构有几个变体,其中第一个子句是相同的(如果可能的话,将二叉树向左旋转),但如果右手边是空的,则会执行其他操作(不仅仅是交换边):A082335号,A082349号,A123499型,A123695号。以下自同构可以从该自同构递归导出:A057502号,A074681号,A074683号,A074685号,A074687号,A074690号,A089865号,A120706号,A122321号,A122332号。另见一些类似的:A069773号,A071660型,A071656号,A071658号,A072091号,A072095型,A072093型.
作者
安蒂·卡图恩,2002年9月11日,描述于2006年10月10日澄清。
搜索在0.026秒内完成
查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。
许可协议、使用条款、隐私政策。.
上次修改时间:美国东部夏令时2024年9月21日04:44。包含376079个序列。(在oeis4上运行。)
|