登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
搜索: a057510-编号:a057510
显示找到的17个结果中的1-10个。 第页12
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
A057163号 Catalan自同构的特征变换:反映有根平面二叉树;Deutsch 1998年对Dyck路径的内卷化。 +10
168
0, 1, 3, 2, 8, 7, 6, 5, 4, 22, 21, 20, 18, 17, 19, 16, 15, 13, 12, 14, 11, 10, 9, 64, 63, 62, 59, 58, 61, 57, 55, 50, 49, 54, 48, 46, 45, 60, 56, 53, 47, 44, 52, 43, 41, 36, 35, 40, 34, 32, 31, 51, 42, 39, 33, 30, 38, 29, 27, 26, 37, 28, 25, 24, 23, 196, 195, 194, 190, 189 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
Deutsch在其1999年的论文中表明,这种自同构将Dyck路径的双峰数映射到谷数,并将第一个峰值的高度映射到返回数,即A126306号(n)=A127284号(a(n))和126307英镑(n)=A057515号(a(n))为所有n持有。
这个A000108号(n-2)n-gon三角化可以反映在n个对称轴上,这些对称轴都可以由排列的适当组合生成A057161号/A057162号A057163号.
成分A057164号给出了Donaghey地图M的签名排列(A057505号/2005年5月06日). 以比例n:2n+1作为a(n)嵌入自身=A083928号(a)(A080298型(n) )。A127302号(a(n))=A127302号(n) 和A057123号(A057163号(n) )=A057164号(A057123号(n) )保持所有n。
链接
Emeric Deutsch公司,Dyck路的对合及其结果,离散数学。,204(1999),编号1-3,163-166。
安蒂·卡图恩,计算此序列的C程序.
Dana G.Korssjoen、Biyao Li、Stefan Steinerberger、Raghavendra Tripathi和Ruimin Zhang,用图论寻找实数序列的结构:一个问题列表,arXiv:2012.046252020年12月8日。
配方奶粉
a(n)=A083927号(A057164号(A057123号(n) )。
例子
当我们反映由A014486号例如,我们有A014486号(5) =44(二进制101100),A014486号(7) =52(二进制为110100),这些编码为以下根平面二叉树,它们相互反射:
0 0 0 0
\ / \ /
1 0 0 1
\ / \ /
0 1 1 0
\ / \ /
1 1
因此a(5)=7,a(7)=5。
MAPLE公司
a(n)=A080300型(反射BinTree(A014486号(n) ))
ReflectBinTree:=n->ReflectBinTree2(n)/2;反射BinTree2:=n->(`if`((0=n),n,反射BinTReeAux(A030101型(n) );
ReflectBinTreeAux:=proc(n)局部a,b;a:=反射BinTree2(BinTree左分支(n));b:=反射BinTree2(BinTree右分支(n));返回(2^(A070939号(b)+A070939号(a) )+(b*(2)^(A070939号(a) )+a);结束;
NextSubBinTree:=proc(nn)局部n,z,c;n:=nn;c:=0;z:=0;而(c<1)doz:=2*z+(n模2);c:=c+(-1)^n;n:=地板(n/2);od;返回(z);结束;
BinTreeLeftBranch:=n->NextSubBinTree(楼层(n/2));
BinTreeRightBranch:=n->NextSubBinTree(楼层(n/(2^(1+A070939号(BinTreeLeftBranch(n)));
数学
A014486Q[0]=正确;A014486Q[n_]:=Catch[Fold[If[#<0,Throw[False],If[#2==0,#-1,#+1]]&,0,整数位数[n,2]]==0];树[n_]:=块[{func,num=Append[IntegerDigits[n,2],0]},func:=如果[num[[1]]==0,num=删除[num,1];0,num=删除[num,1];1[功能,功能]];功能];A057163L[n_]:=函数[x,第一位置[x,FromDigits[大多数@案例[树[#]/。1->反转@*1,0|1,全部,头->真],2]][[1]]-1&/@x][Select[Range[0,2^n],A014486Q]];A057163L[11](*郑焕敏2016年12月11日*)
程序
(作用于S表达式(即列表结构)的这种自同构的方案实现:)
(建设性实施:)(定义(*A057163号s) (cond((not(pair?s))s)(else(cons(*A057163号(cdr)(*A057163号(汽车)))
(破坏性实施:)(定义(*A057163号! s) (秒(对)(*A069770号! s)(*A057163号! (汽车)(*A057163号! (cdr)))s)
交叉参考
这种自同构共轭于其他自同构的car/cdr翻转变体,例如。,A057162号(n) =a(A057161号(a(n)),A069768号(n) =a(A069767美元(a(n)),A069769号(n) =a(A057508号(a(n)),A069773号(n) =a(A057501号(a(n)),A069774号(n) =a(A057502号(a(n)),A069775号(n) =a(A057509号(a(n)),A069776号(n) =a(A057510号(a(n)),A069787号(n) =a(A057164号(a(n)))。
表的第1行A122201型A122202号也就是说,通过FORK(和KROF)变换从更简单的自同构获得*A069770号参见。122351英镑.
关键词
非n
作者
安蒂·卡图恩2000年8月18日
扩展
与2006年12月15日实现的德国1998年内卷化等效,相应的条目由编辑安蒂·卡图恩2007年1月16日
状态
已批准
A073200型 类型B的简单加泰罗尼亚双射数。 +10
91
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
评论
每一行是由加泰罗尼亚双射(构造如下所述)作用于括号/平面二叉树上的非负整数的置换,其编码和排序方式如下A014486号/A063171号.
构造过程类似于原始递归函数到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,了解如何计算此表中递归和普通组合的位置。
链接
A.卡图恩,异形性(有完整的来源和解释)
程序
(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)))
(定义(包A054238 x y)(+(A000695号x) (*2)(A000695号y) ))
(定义(A000695号n) (如果(零?n)n(+(模n 2)(*4(A000695号(地板->精确(/n 2))))
交叉参考
其他四个表给出了相应的循环计数:A073201型,固定元素的计数:A073202号,最大循环的长度:A073203型所有循环的LCM:A073204号.普通成分使用N X N->N双射进行编码A054238号(它反过来使用位分隔函数A000695号).
此表的前21行:。
第0行:A069770号.第1行:A072796号第2行:A057163号第3行:A073269号,第4行:A057163号(重复),第5行:A073270型,第6行:A069767美元,第7行:A001477号(身份许可),第8行:A069768号,第9行:A073280号.
第10行:A069770号(双面),第11行:A072796号(双面),第12行:A057511号,第13行:A073282号,第14行:A057512号,第15行:A073281号,第16行:A057509号,第17行:A073280号(双面),第18行:A057510号,第19行:A073283号,第20行:A073284美元.
本表中发生的其他加泰罗尼亚双射诱发的EIS突变。只给出了第一个已知事件。对合用*标记,其他用其逆:配对。
第164行:A057164号*,第168行:A057508号*,第179行:A072797号*.
第41行:A073286号-第69行:A073287号.第105行:A073290号-第197行:A073291号.第416行:A073288号-第696行:A073289号.
第261行:A057501号-第521行:A057502号.第2618行:A057503号-第5216行:A057504号.第2614行:A057505号-第5212行:2005年5月06日.
第10435行:A073292号-行…:A073293号第17517行:A057161号-行…:A057162号.
有关(某些)加泰罗尼亚自同构的更实用枚举系统,请参见表A089840号及其各种“递归推导”。
关键词
非n,
作者
安蒂·卡图恩2002年6月25日
状态
已批准
A122204号 ENIPS的签名置换——表中非递归加泰罗尼亚自同构的变换A089840号. +10
54
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 (列表;桌子;图表;参考;;历史;文本;内部格式)
抵消
0,4
评论
第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:A130368号, 17:A074686号, 18:A130356号, 19:A130358号, 20:A130362号, 21:A130360型其他行:第169行:A089859号,第253行:A123718号,第3608行:A129608号,第3613行:A072796号,第65167行:A074679号,第79361行:123716英镑.
关键词
非n,
作者
安蒂·卡图恩2006年9月1日,2007年6月6日
状态
已批准
A072796号 在由A014486号请参阅注释中的插图。 +10
50
0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 14, 16, 19, 11, 15, 12, 17, 18, 13, 20, 21, 22, 23, 24, 25, 26, 27, 37, 38, 42, 44, 47, 51, 53, 56, 60, 28, 29, 39, 43, 52, 30, 40, 31, 45, 46, 32, 48, 49, 50, 33, 41, 34, 54, 55, 35, 57, 58, 59, 36, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
此双射对未标记的有根平面一般树(字母A、B、C等指位于这些顶点上的任意子树)产生以下变换:
A A A B A B B A B C B A C
| --> | \ / --> \ / \ | / --> \ | /
| | \./ \./ \|/ \|/ 等等。
也就是说,它保持“planted”(根阶数=1)树的完整性,并交换根阶数>1的一般树的两个最左边的顶级子树。
在一般树映射到的底层二叉树的层次上(例如,参见N.g.De Bruijn和B.J.M.Morselt 1967年的论文,或考虑Lisp编程语言中的列表与点对),此双射对未标记的有根平面二叉树(字母A、B、C表示位于这些节点上的任意子树,()表示隐含的终端节点)上的以下变换产生影响。
B、C、A、C
\ / \ /
A x-->B x A()A()
\ / \ / \ / --> \ /
x x x x
(a)(b)->(b)(a)->(a)
注意,第一个子句对应于汤普森V组中的“生成器pi_0”。(另请参见A074679号,A089851号A154121号用于其他相关发电机。)
请看示例部分,看看这将如何生成给定的整数序列。
将此置换递归地应用于二叉树的右侧分支(或等效地,沿一般树的最顶层),会产生置换A057509号A057510号(出现在表中相同的索引2中A122203号A122204号)这会影响普通树和括号的“浅旋转”。将其递归地应用于二叉树的两个分支(如前序或后序遍历)会产生A057511号A057512号(出现在表中相同的索引2中A122201型A122201型)这会对一般树和括号产生“深度旋转”的影响。
对于这个排列,A127301号(a(n))=A127301号(n) 对于所有n,这反过来意味着A129593号(a(n))=A129593号(n) 对于所有n,同样对于所有递归生成的双射A057509号-A057512号。也可与比较A072797号.
链接
安蒂·卡图恩,n=0..196时的n,a(n)表
J.W.Cannon、W.J.Floyd和W.R.Parry,理查德·汤普森群F和T的注记
J.W.Cannon、W.J.Floyd和W.R.Parry,理查德·汤普森小组简介《外交数学》,第42卷(1996年),第215-256页。
N.G.De Bruijn和B.J.M.Morselt,关于梧桐树的一点注记,J.组合理论2(1967),27-34。
安蒂·卡图恩,加泰罗尼亚自形
例子
为了获得签名置换,我们将这些变换应用于按以下方式编码和排序的二叉树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”和“B”的位置交换两个子树后的新形状为:
.
\/ \/ \/ \/
\/ \/ \/ \/ \/ \/ \/ \/
\/ \/ \/ \_/ \/ \/ \/
a(n)=2 3 4 6 5 7 5
因此我们得到了这个序列的前九项:0,1,2,3,4,6,5,7,8。
程序
(Scheme函数在列表结构上实现此自同构(*A072796号)和破坏性(*A072796号!) 给定的变量:)
(定义(*A072796号s) (cond((not(pair?s))s)((not(pairs?(cdr s)))(其他(cons(cadr s)(cons
(定义(*A072796号! s) (cond((not(pair?s))s)((not(pairs?(cdr s)))(else(swap!s)(robr!s))(交换!(cdr))
(定义(robr!s)(let((ex-cdr(cdr s)))(set-cdr!s(caar s))(set-car!(car s)ex-cdr)(swap!(cars))
(定义(交换!s)(let((ex-car(car s)))(set-car!s(cdr s))(set-cdr!s ex-car)s))
交叉参考
第2行,共行A089840号.第3613行,共行A122203号和第3617行A122204号.
固定点计数和周期计数见A073190号A073191号.
关键词
非n
作者
安蒂·卡图恩2002年6月12日
扩展
编辑评论部分并添加示例安蒂·卡图恩,2024年1月26日
状态
已批准
A003239号 具有n个非根节点的有根平面树的数量:循环循环根处的子树可以得到等效的树。
(原名M1222)
+10
36
1、1、2、4、10、26、80、246、810、2704、9252、32066、112720、400024、1432860、5170604、18784170、68635478、252088496、930138522、3446167860、12815663844、47820447028、1789877624514、671825133648、2528212128776、9536895064400、36054433810102、136583761444364、518401146543812 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
还有带有2*n个珠子的项链数量,n个白色和n个黑色(要获得对应关系,请从根开始,在树外面走动,离开根时使用白色,靠近根时使用黑色)。
n阶广义循环矩阵的永久多项式表达式中的项数。
a(n)是n的n个成分在循环旋转下的等价类数。(给一条项链,把它分成白色的串,然后是黑色的珠子,并记录白色串的长度。这就得到了n的n个组合。)a(n)是Z模n中n个多集的数量,其和为0-大卫·卡伦2003年11月5日
参考文献
Miklos Bona,编辑,《枚举组合学手册》,CRC出版社,2015年,第305页(见R(x))。
F.Harary和E.M.Palmer,《图解枚举》,学术出版社,纽约,1973年;第80页,问题3.13。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
R.P.Stanley,《枚举组合数学》,剑桥,第2卷,1999年;参见问题7.112(b)。
链接
Seiichi Manyama,n=0..1669的n,a(n)表(T.D.Noe的条款0..200)
布鲁斯·M·波曼(Bruce M.Boman)、蒂恩·纳姆·丁(Thien-Nam Dinh)、基思·戴克(Keith Decker)、布鲁克斯·埃默里克(Brooks Emerick)、克里斯托弗·雷蒙德(Christopher Raymond)和吉尔伯托·施莱因格,为什么斐波那契数列出现在自然界的增长模式中?《斐波纳契季刊》,第55(5)期(2017年),第30-41页。
R.Brualdi和M.Newman,一个同余方程的枚举问题《J.Res.Nat.Bureau Standards》,B74(1970),第37-40页。
CombOS-组合对象服务器,生成根平面树.
Paul Drube和Puttipong Pongtanapaisan,环形非交叉匹配《整数序列杂志》,第19卷(2016年),第16.2.4号。
A.Elashvili和M.Jibladze,循环群正则表示的Hermite互易,印度。数学。(N.S.)9(2)(1998年),233--238。MR1691428(2000c:13006)。
A.Elashvili、M.Jibladze和D.Pataraia,项链与“Hermite互惠”的组合,J.代数组合。10(2)(1999),173--188。MR1719140(2000j:05009)。见第174页-N.J.A.斯隆2014年8月6日
弗雷德曼先生,一类划分的对称关系J.Combina.理论系列。A、 18(1975),199-202。参见公式(4),a(n)=S(n,n,0)。
F.Harary和R.W.Robinson,无枝树的数量J.Reine Angew著。数学。,278 (1975), 322-335.
F.Harary和R.W.Robinson,无枝树的数量J.Reine Angew著。数学。,278 (1975), 322-335. (带注释的扫描件)
Thomas C.Hull和Tomohiro Tachi,双线刚性折纸,arXiv:1709.03210[math.MG],2017年。
INRIA算法项目,组合结构百科全书761.
本杰明·若尤·坎,量子哈密顿复杂度的多项式逼近,哈佛大学学士论文,2023年。
G.Labele和P.Leroux,根据度分布枚举(单色或双色)平面树,光盘。数学。157(1996),227-240,等式(1.18)。
J.Malenfant,关于循环行列式的矩阵元展开,arXiv预印本arXiv:1502.06012[math.NT],2015。
保罗·梅洛蒂、桑杰·拉马萨米和保罗·塞韦宁,凸循环多边形垂直平分线的点和线配置,arXiv:2003.11006[math.CO],2020年。
J.Sawada,生成有根树和自由平面树《ACM算法汇刊》,2(1)(2006),1-13。
休·托马斯,一般循环矩阵的恒等式和行列式中的项数,arXiv:math/0301048[math.CO],2003年。
D.W.Walkup,梧桐树的数量马塞马提卡,19(2)(1972),200-204.-发件人N.J.A.斯隆2012年6月8日
配方奶粉
当n>0时,a(n)=和{d|n}(φ(n/d)*二项式(2*d,d))/(2*n)。
当n>0时,a(n)=(1/n)*Sum_{d|n}(φ(n/d)*二项式(2*d-1,d))。
a(n)=A047996号(2*n,n)-菲利普·德尔汉姆2006年7月25日
a(n)~2^(2*n-1)/(平方(Pi)*n^(3/2))-瓦茨拉夫·科特索维奇2015年8月22日
MAPLE公司
带有(数字理论):A003239号:=程序(n)局部t1,t2,d;t2:=除数(n);t1:=0;对于t2中的d,求t1:=t1+phi(n/d)*二项式(2*d,d)/(2*n);od;t1;结束;
规范:=[C,{B=并集(Z,Prod(B,B)),C=循环(B)},未标记];[seq(combstruct[count](规范,大小=n),n=0..40)];
数学
a[n_]:=和[EulerPhi[n/k]*二项[2k,k]/(2n),{k,除数[n]}];a[0]=1;表[a[n],{n,0,25}](*Jean-François Alcover公司2012年4月11日*)
程序
(PARI)
C(n,k)=二项式(n,k);
a(n)=如果(n<=0,n==0,sumdiv(n,d,eulerphi(n/d)*C(2*d,d))/(2*n));
/*或者,第二个公式:*/
/*a(n)=如果(n<=0,n==0,sumdiv(n,d,eulerphi(n/d)*C(2*d-1,d))/n)*/
/*乔格·阿恩特2012年10月21日*/
(SageMath)
定义A003239号(n) 以下为:
如果n==0:返回1
返回和(除数(n)中d的euler_phi(n/d)*二项式(2*d,d)/(2*n))
打印([A003239号(n) (0..29)中的n)#彼得·卢什尼2020年12月10日
交叉参考
第k列=第2列,共列A208183型.
第k列=第1列,共列A261494型.
关键词
非n,美好的,容易的
作者
扩展
Roderick J.Fletcher(yylee(AT)mail.ncku.edu.tw)于1997年8月对序列进行了更正和扩展
来自的其他评论迈克尔·索莫斯
状态
已批准
A122285号 ENIPS的签名置换-表中加泰罗尼亚自同构的变换A122203号. +10
36
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 (列表;桌子;图表;参考;;历史;文本;内部格式)
抵消
0,4
评论
第n行是从表中的第n个自同构得到的Catalan自同构的特征置换A122203号使用递归方案“ENIPS”,或等效地将行n作为ENIPS(SPINE(第n行A089840号)). 请参见A122203号A122204号有关脊椎和ENIPS的说明。此表中每行只出现一次。这些排列的倒数可以在表中找到A122286号。此表还包含A122204号A089840号.
参考文献
A.Karttunen,正在准备论文,可通过电子邮件获取草稿。
链接
交叉参考
此表的前22行:第0行(身份置换):A001477号, 1:A082348号, 2:A057508号, 3:A131141号, 4:A131143号, 5:A131145号,6:A131147号, 7:A131173号, 8:A131169号, 9:2011年11月49日, 10:A131151号, 11:A131153号,12:2011年11月, 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号.
另请参见表格A089840号,A122200型,A122201型-A122204号,A122283号-A122284号,A122286号-A122288号,A122289号-A122290号,A130400个-A130403型。由于序列不同于A122286号第一次,n=92,其中a(n)=18,而A122286号(n) =17。
关键词
非n,
作者
安蒂·卡图恩2006年9月1日,2007年6月20日
状态
已批准
A057502号 自然数的排列:由编码的非交叉握手的旋转A014486号(至相反方向A057501号). +10
30
0, 1, 3, 2, 7, 6, 8, 4, 5, 17, 16, 18, 14, 15, 20, 19, 21, 9, 10, 22, 11, 12, 13, 45, 44, 46, 42, 43, 48, 47, 49, 37, 38, 50, 39, 40, 41, 54, 53, 55, 51, 52, 57, 56, 58, 23, 24, 59, 25, 26, 27, 61, 60, 62, 28, 29, 63, 30, 31, 32, 64, 33, 34, 35, 36, 129, 128, 130, 126, 127 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
A057501号A057502号,之间的循环(A014138号(n-1)+1)-th和(A014138号(n) )-第项划分A000108号(n) 对象的相应项编码A014486号进入之内A002995号平面树的(n+1)等价类,因此后一个序列也可以用下面给出的Maple过程RotHandshakesPermutationCycleCounts生成。
链接
A.卡图恩,异形性(包括用于计算该序列的完整Scheme程序)
MAPLE公司
地图(CatalanRankGlobal,地图(RotateHandshakesR,A014486号));
RotateHandshakesR:=n->pars2binexp(deepreverse(Rotatehandshakes P(deeprecverse(binexp2pars(n))));
deepreverse:=proc(a)如果0=nops(a)或list<>whattype(a),则(a)else[op(deepreversion(cdr(a))),deeprevere(a[1])];fi;结束;
与(组);计数周期:=b->(nops(convert(b,'disjcyc'))+(nops;
RotHandshakesPermutationCycleCounts:=proc(upto_n)本地u,n,a,r,b;a:=[];对于从0到upto_n的n,做b:=[];u:=(二项式(2*n,n)/(n+1));对于从0到u-1的r,做b:=[op(b),1+CatalanRank(n,RotateHandshakes(CatalanUnrank(n、r))];od;a:=[操作(a),计数周期(b)];od;返回(a);结束;
#对于其他程序,请遵循A057501号.
程序
(在列表结构上实现此自同构的Scheme函数:)
(定义(robl!s)(let((ex-car(cars)))(set-car!s(cddrs))(set-cdr!(cdr s)ex-car)(swap!(cdrs))
(定义(交换!s)(let((ex-car(car s)))(set-car!s(cdr s))(set-cdr!s ex-car)s))
交叉参考
的反转A057501号和car/cdr翻转共轭A069774号,即。A057502号(n)=A057163号(A069774号(A057163号(n) )。另请参阅A057507号,A057510号,A057513号,A069771号,A069772号.
关键词
非n
作者
安蒂·卡图恩2000年9月3日
状态
已批准
A057508号 当函数“reverse”作用于由A014486号/A063171号. +10
30
0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 14, 11, 16, 19, 10, 15, 12, 17, 18, 13, 20, 21, 22, 23, 37, 28, 42, 51, 25, 39, 30, 44, 47, 33, 53, 56, 60, 24, 38, 29, 43, 52, 26, 40, 31, 45, 46, 32, 48, 49, 50, 27, 41, 34, 54, 55, 35, 57, 58, 59, 36, 61, 62, 63, 64, 65, 107, 79, 121, 149, 70 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
链接
A.卡图恩,异形性(包括计算该序列的完整Scheme程序)
MAPLE公司
Maple列表的类似函数可以实现为:reverse:=proc(a)如果0=nops(a),那么(a)else[op(reverse(cdr(a))),a[1];fi;结束;
程序
(Scheme函数在列表结构上实现此自同构:)reverse
(破坏性变体,参见A057509号Rol!)(define(Rev1!s)(cond((pair?s)(Rev1?(cdr?s))(Rol!s)))
(另一种变体,请参见A057510号Ror!)(define(修订版2!s)(cond((对?s)(Ror!s)(修订版2!(cdr s)))s)
交叉参考
car/cdr翻转的共轭A069769号,即。A057508号(n)=A057163号(A069769号(A057163号(n) )。另请参阅A057164号,A057509号,A057510号,A033538号.
关键词
非n
作者
安蒂·卡图恩2000年9月3日
状态
已批准
A057512号 自然数的置换:由编码的有根平面树的所有分支的旋转A014486号.(至相反方向A057511号). +10
26
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, 53, 27, 47, 56, 60, 28, 39, 29, 43, 52, 30, 40, 31, 45, 54, 34, 46, 57, 61, 33, 41, 32, 48, 55, 35, 49, 58, 62, 36, 50, 59, 63, 64, 65, 107, 66, 121, 149, 67 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
链接
MAPLE公司
#请参见A057510号对于rotateR,A057501号其他程序。
地图(CatalanRankGlobal,地图(DeepRotateR,A014486号));
DeepRotateR:=n->pars2binexp(DeepRotateR(binexp2pars(n)));
deeprotateR:=proc(a)如果0=nops(a)或list<>whattype(a),则(a)else rotateR(map(deeprostateR,a));fi;结束;
交叉参考
逆置换:A057511号循环计数:A057513号.
关键词
非n
作者
安蒂·卡图恩2000年9月3日
状态
已批准
A127301号 由编码的平面一般树的Matula Goebel签名A014486号. +10
25
1, 2, 4, 3, 8, 6, 6, 7, 5, 16, 12, 12, 14, 10, 12, 9, 14, 19, 13, 10, 13, 17, 11, 32, 24, 24, 28, 20, 24, 18, 28, 38, 26, 20, 26, 34, 22, 24, 18, 18, 21, 15, 28, 21, 38, 53, 37, 26, 37, 43, 29, 20, 15, 26, 37, 23, 34, 43, 67, 41, 22, 29, 41, 59, 31, 64, 48, 48, 56, 40, 48, 36 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,2
评论
此序列图A000108号(n) 按范围编码的有向(平面)根通用树[A014137号(n-1)。。A014138号(n) 第]页,共页A014486号A000081号(n+1)不同的无向根一般树,由其Matula-Goebel数编码。后面的编码在中进行了解释A061773号.
A005517号A005518号给出每个此类范围内出现的最小值和最大值。
素数出现在给定的位置A057548号(无序且有重复),以及类似的半素数,A001358号,发生在给定的位置A057518号,一般来说,A001222号(a(n))=A057515号(n) ●●●●。
如果加泰罗尼亚自同构SP的信号置换满足条件A127301号(SP(n))=A127301号(n) 对于所有n,它保留了一般树的非定向形式,这也意味着它是Łukasiewicz单词排列,满足A129593号(SP(n))=A129593号(n) 对于所有n>=0。此类自同构的示例包括A072796号,A057508号,A057509号/A057510号,A057511号/A057512号,A057164号,A127285号/A127286号A127287号/A127288号.
A206487型(n) 告诉n在这个序列中发生了多少次-安蒂·卡图恩2013年1月3日
链接
安蒂·卡图恩,n=0..6917的n,a(n)表
OEIS Wiki,Łukasiewicz单词
配方奶粉
A001222号(a(n))=A057515号(n) 对于所有n。
例子
A000081号每个范围出现(n+1)个不同的值[A014137号(n-1)。。A014138号(n-1)]。作为一个例子,A014486号(5) =44(二进制=101100=A063171号(5) ),对以下平面树进行编码:
…..零
.....|
.o.…o
..\./.
...*..
此树的Matula-Goebel编码提供了一个代码编号A000040型(1) *A000040型(A000040型(1) )=2*3=6,因此a(5)=6。
同样,A014486号(6) =50(二进制=110010=A063171号(6) )对平面树进行编码:
.o型
.|
.o.…o
..\./.
...*..
此树的Matula-Goebel编码提供了一个代码编号A000040型(A000040型(1)) *A000040型(1) =3*2=6,因此a(6)也是6,这表明如果忽略它们的方向,这两棵树是相同的。
数学
mgnum[t_]:=如果[t=={},1,时间@@Prime/@mgnum/@t];
binbalQ[n_]:=n==0||带有[{dig=IntegerDigits[n,2]},和@@Table[If[k==Length[dig],SameQ,LessEqual][Count[Take[dig,k],0],Count[Take[dig,k],1]],{k,Length[dig]}]];
bint[n_]:=如果[n==0,{},ToExpression[StringReplace[StringReplace[ToString[IntegerDigits[n,2]/。{1->"{", 0->"}"}], ", "->""], "} {"->"}, {"]]];
表[mgnum[bint[n]],{n,选择[Range[0,1000],binbalQ]}](*古斯·怀斯曼2022年11月22日*)
程序
(方案:)(定义(A127301号n)(*A127301号(A014486号->括号(A014486号n) );;A014486号->中给出的括号A014486号.
(定义(*A127301号s) (如果(空?s)1(左折(λ(m t)(*m(A000040型(*A127301号t) )1秒))
交叉参考
一个(A014138号(n) )=A007097号(n+1),a(A014137号(n) )=A000079号(n+1)表示所有n。
一个(|A106191号(n) |)=A033844号(n-1)对于所有n>=1。
对于标准编码而不是二进制编码,我们有A358506型.
A000108号计数有序根树,无序A000081号.
A014486号列出了有序根树的二进制编码。
关键词
非n
作者
安蒂·卡图恩2007年1月16日
状态
已批准
第页12

搜索在0.015秒内完成

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年4月24日20:08。包含371963个序列。(在oeis4上运行。)