登录
搜索: a154126-编号:a154126
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
表中第一个非同一非递归加泰罗尼亚自同构的签名置换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
抵消
0,3
评论
这是在单位双射之后最简单的可能的加泰罗尼亚自同构(A001477号). 它对未标记的有根平面二叉树(字母A和B表示位于这些向量上的任意子树)产生以下变换:
A B B A
\ / --> \ /
x x x
(a.b)----->(b.a)
将此置换递归地应用于二叉树的右侧分支会产生置换A069767号A069768号(出现在表中的同一索引1处A122203号A122204号),并将其递归地应用于二叉树的两个分支(如前序或后序遍历),将生成A057163号(出现在表中的同一索引1处A122201型A122202号)它反映了整个二叉树。
对于这个排列,A127302号(a(n))=A127302号(n) 对于所有n,[或相等,A153835号(a(n))=A153835号(n) ],同样适用于上述所有递归推导。
配方奶粉
a(n)=154125英镑(A154126号(n) )=A154126号(154125英镑(n) )。
例子
为了获得签名置换,我们将这些变换应用于按以下方式编码和排序的二叉树A014486级对于每个n,a(n)将是第n棵树转换到的树的位置,如下所示:
.
一棵内部树
空树(非叶)节点
x个\/
n=0 1
a(n)=0 1(两者总是固定的)
.
接下来的7棵树,有2-3个内部节点,在范围内[A014137号(1),A014137号(2+1)-1]=[2,8]为:
.
\/ \/ \/ \/
\/ \/ \/ \/ \/ \/ \/ \/
\/ \/ \/ \/ \_/ \/ \/
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))
交叉参考
第1行,共行A089840号.
每个子范围中的循环数和固定点数受以下条件限制A014137号由提供A007595美元A097331号.
另请参阅A127302号,A153835号.
关键词
非n
作者
安蒂·卡图恩,2002年4月16日。
扩展
条目修订人安蒂·卡图恩2006年10月11日和2024年3月30日
状态
经核准的
非递归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
抵消
0,4
评论
每行是自然数的排列,只出现一次。表的行组成已关闭(请参见A089839美元)它包含每一个的倒数(它们的位置如所示A089843号). 表中的排列构成了所有大小保持的“Catalan双射”(有限个未标记根平面二叉树中的双射)组的可枚举子群。每个元素的顺序显示在A089842号.
参考文献
A.Karttunen,正在准备论文,可通过电子邮件获取草稿。
交叉参考
其他行:第83行:154125英镑,第169行:A129611号,第183行:A154126号,第251行:A129612号,第253行:A123503型,第258行:A123499型,第264行:A123500个,第3608行:A129607号,第3613行:A129605号,第3617行:A129606号,第3655行:A154121号,第3656行:A154123号,第3702行:A082354号,第3747行:A154122号,第3748行:A154124号,第3886行:A082353号,第4069行:A082351号,第4207行:A089865号,第4253行:A082352号,第4299行:A089866号,第65167行:A129609型,第65352行:A129610号,第65518行:A123495号,第65796行:A123496号,第79361行:A123492号,第1653002行:A123695号,第1653063行:A123696号,第1654023行:A073281美元,第1654249行:A123498号,第1654694行:A089864美元,第1654720行:A129604型,第1655089行:A123497号,第1783367行:A123713号,第1786785行:2014年12月14日.
将序列索引到此表,给出各种子组或其他重要结构:A153826号,A153827号,A153829号,A153830号,A123694号,A153834号,A153832号,A153833号.
关键词
非n,
作者
安蒂·卡图恩2003年12月5日;上次修订日期:2009年1月6日
状态
经核准的
加泰罗尼亚双射的签名置换:第3655行A089840号.
+10
8
0, 1, 2, 3, 5, 4, 6, 7, 8, 11, 12, 13, 9, 10, 15, 14, 16, 17, 18, 19, 20, 21, 22, 28, 29, 30, 31, 32, 33, 34, 35, 23, 24, 36, 25, 26, 27, 39, 40, 41, 37, 38, 43, 42, 44, 45, 46, 47, 48, 49, 50, 52, 51, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 79, 80, 81, 82, 83, 84, 85
抵消
0,3
评论
二叉树的双射可以通过应用双射来获得*A074679号右侧子树并保持左侧子树不变:
……C……D……B……C
.....\./.........\./
..B…x…-->。。。。x...D…………..B..()。。。。。。。。。()..B。。
...\./.............\./...................\./....-->....\./...
A.…x…………..A.…x。。。。
.\./.............\./...................\./...........\./.....
..x…………..x…..x。。。。。。
.............................................................
注意,第一个子句对应于汤普森群F、T和V的生成器B,而*A074679号的第一个子句对应于生成器A,此外*A089851号对应发电机C和*A072796号到汤普森V群的发生器pi_0。(待检查:汤普森V能嵌入吗A089840号使用这些或其他适当选择的发电机?)
以上评论:我认为现在把V嵌入其中是一个错误的希望A089840号相反,汤普森V很可能与商群同构A089840号/N、 其中N是的子群A089840号其中包括身份(*A001477号)和任何其他双射(例如*A154126号)可以修复所有足够大的树。有关更多详细信息,请参阅我的“On the connection ofA089840号使用。。。“第页-安蒂·卡图恩2012年8月23日
链接
J.W.Cannon、W.J.Floyd和W.R.Parry,理查德·汤普森群F和T的注记
J.W.Cannon、W.J.Floyd和W.R.Parry,理查德·汤普森小组简介《环境数学》,第42卷(1996年),第215-256页。
A.卡图恩,论A089840与汤普森群的联系推测和猜测。
黄体脂酮素
(Scheme中此自同构的破坏性版本:)(定义(*A154121号! s) (如果(对)(*A074679号! (cdr)))
交叉参考
反向:A154122号.a(n)=A069770号(A089865号(A069770号(n) )。囊性纤维变性。A154123号,A154126号.
关键词
非n
作者
安蒂·卡图恩2009年1月6日
状态
经核准的
加泰罗尼亚双射的自逆签名置换:第83行A089840号.
+10
4
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 19, 14, 17, 18, 15, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 44, 47, 53, 56, 60, 42, 51, 37, 45, 46, 38, 48, 49, 50, 43, 52, 39, 54, 55, 40, 57, 58, 59, 41, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71
抵消
0,3
评论
这种二叉树的双射交换了二叉树中的左子树和右子树,但仅当两者都为非空时。如果左侧或右侧树为空,则修复该树。
.A.…B.C.…D.…..C.…D.A.…B。
..\./...\./.........\./...\./..
…x…..x…--->。。。。x…..x。。。
....\.../.............\.../....
……x…………..x。。。。。。
...............................
(a、b)。(c.d))->(c.d。(a、b)
或者修复,如果左侧或右侧子树为空。
黄体脂酮素
(Scheme中此自同构的破坏性版本:)(定义(*154125英镑! s) (如果(和(配对)(配对))(*A069770号! s) )s)
交叉参考
反向:154125英镑.a(n)=A069770号(A154126号(n) )=A154126号(A069770号(n) )。
关键词
非n
作者
安蒂·卡图恩2009年1月6日
状态
经核准的

搜索在0.007秒内完成