OEIS哀悼西蒙斯感谢西蒙斯基金会支持包括OEIS在内的许多科学分支的研究。
登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
搜索: a057161-编号:a057161
显示找到的14个结果中的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))和A126307号(n)=A057515号(a(n))为所有n持有。
这个A000108号(n-2)n-gon三角化可以反映在n个对称轴上,这些对称轴都可以由排列的适当组合生成A057161号/A057162号A057163号.
与组成A057164美元给出了Donaghey地图M的签名排列(A057505号/A057506号). 以比例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)do z:=2*z+(n mod 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,全部,磁头->True],2]][[1]]-1&/@x][选择[范围[0,2^n],A014486Q]];A057163L[11](*郑焕敏2016年12月11日*)
黄体脂酮素
(作用于S表达式(即列表结构)的这种自同构的方案实现:)
(建设性实施:)(定义(*A057163号s) (cond((not(pair?s))s)(else(cons(*A057163号(cdr s))(*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号.参见。A122351号.
关键词
非n
作者
Antti Karttunen公司2000年8月18日
扩展
与2006年12月15日实现的德国1998年内卷化等效,相应的条目由编辑Antti Karttunen公司2007年1月16日
状态
经核准的
A073200型 类型B的简单加泰罗尼亚双射数。 +10
91
0,1,0,3,1,0,2,1,0,7,3,1,0,8,4,2,3,1,0,6,6,8,2,3,1,0,4,5,7,2,3,1,0,5,7,6,8,2,3,1,0,17,8,5,8,7,2,1,0,18,9,4,6,8,7,3,1,0,20,10,22,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行:A057506号.
第10435行:A073292号-行…:A073293号第17517行:A057161号-行…:A057162号.
有关(某些)加泰罗尼亚自同构的更实用枚举系统,请参见表A089840号及其各种“递归推导”。
关键词
非n,
作者
Antti Karttunen公司2002年6月25日
状态
经核准的
A057505号 加泰罗尼亚自同构的特征置换:Donaghey映射M作用于由A014486号. +10
55
0, 1, 3, 2, 8, 7, 5, 6, 4, 22, 21, 18, 20, 17, 13, 12, 15, 19, 16, 10, 11, 14, 9, 64, 63, 59, 62, 58, 50, 49, 55, 61, 57, 46, 48, 54, 45, 36, 35, 32, 34, 31, 41, 40, 52, 60, 56, 43, 47, 53, 44, 27, 26, 29, 33, 30, 38, 39, 51, 42, 24, 25, 28, 37, 23, 196, 195, 190, 194, 189 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
这相当于Donaghey在其论文“……上的自同构”第81页上给出的地图M,也相当于Donathey-Shapiro论文图片(23)中描述的转换过程。
这也可以被视为A057501号A057503号A057161号.
参考文献
D.E.Knuth,《计算机编程的艺术》,第4卷,第4分册:生成所有树——组合生成的历史,vi+120页。ISBN 0-321-33570-8 Addison-Wesley专业版;第1版(2006年2月6日)。
链接
安蒂·卡图恩,n=0..2055的n,a(n)表
罗伯特·多纳吉,加泰罗尼亚树和括号上的自同构《组合理论》,B辑,29(1980),75-90。
罗伯特·多纳吉和路易斯·夏皮罗,莫茨金数《组合理论》,A辑,第23卷,第3期(1977年),第291-301页。
因德拉尼尔·戈什,用于计算此序列的Python程序(在OEIS wiki中提到的功能之后)。
安蒂·卡图恩,关于A071661的不动点(OEIS Wiki中关于该自同构的2圈的注释)
D.E.Knuth,胎儿期前4a:生成所有树,练习17,7.2.1.6。
配方奶粉
a(0)=0,对于n>=1,a(n)=A085201型(a)(A072771美元(n) ),A057548号(a)(A072772号(n) ))。[此重复出现反映了程序部分中首先给出的S表达式实现:A085201型是一个2元函数,对应于“append”,A072771号A072772美元对应于“car”和“cdr”(在某些语言中也称为first/rest或head/tail),以及A057548号对应于函数'list']的一元形式。
作为相关排列的组合:
a(n)=A057164号(A057163号(n) )。
a(n)=A057163号(A057506号(A057163号(n) )。
MAPLE公司
地图(CatalanRankGlobal,地图(DonagheysM,A014486号)); 或地图(CatalanRankGlobal,地图(DeepRotateTriangularization,A014486号));
DonagheysM:=n->pars2binexp(多纳海斯MP(binexp2pars(n)));
DonagheysMP:=h->`if`((0=nops(h)),h,[op(DonaghiesMP(car(h),DonagheesMP(cdr(h)]);
深度旋转三角化:=proc(nn)局部n,s,z,w;n:=binrev(nn);z:=0;w:=0;而(1=(n mod 2))做s:=深度旋转三角化(BinTreeRightBranch(n))*2;z:=z+(2^w)*s;w:=w+箱宽(s);z:=z+(2^w);w:=w+1;n:=地板(n/2);od;返回(z);结束;
黄体脂酮素
(在S表达式上实现此自同构的Scheme函数,三种不同的变体):
(定义(*A057505号a) (cond((null?a)a)(else(append(*A057505号(汽车a)(列表(*A057505号(cdr a))))))
(定义(*A057505号bt)(let loop((lt-bt)(nt(list)))(cond((not(pair?lt)))nt)(else(loop(car-lt)(cons(*A057505号(cdr-lt))nt)))
(定义(*A057505号! s) (秒(对)(*A057505号! (汽车)(*A057505号! (cdr)(*A057501号! s) )秒)
;; 直接处理非负整数的版本(definec是来自Antti Karttunen公司的IntSeq-library):
(定义(A057505号n) (如果(零?n)n(A085201bi(A057505号(A072771号n) )(A057548号(A057505号(A072772号n) );;A085201bi,参见:A085201号.
交叉参考
反向:A057506号.
第二、第三、第四、第五和第六“权力”:A071661号,A071663号,A071665号,A071667号,A071669美元.
其他相关排列:A057501号,A057503号,A057161号.
循环计数:A057507号.最大循环长度:A057545号.所有循环的LCM:A060114号。请参阅A057501号其他Maple程序。
表的第17行A122288号.
关键词
非n
作者
Antti Karttunen公司2000年9月3日
状态
经核准的
A057506号 加泰罗尼亚自同构的符号置换:“Donaghey’s map M”的(逆),作用于A014486号. +10
41
0, 1, 3, 2, 8, 6, 7, 5, 4, 22, 19, 20, 15, 14, 21, 16, 18, 13, 11, 17, 12, 10, 9, 64, 60, 61, 52, 51, 62, 53, 55, 41, 39, 54, 40, 38, 37, 63, 56, 57, 43, 42, 59, 47, 50, 36, 33, 48, 34, 29, 28, 58, 44, 49, 35, 30, 46, 32, 27, 25, 45, 31, 26, 24, 23, 196, 191, 192, 178, 177 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
这与A057505号它是加泰罗尼亚自同构(双射)的一个特征置换,称为“Donaghey映射M”。请参见A057505号获取更多评论、链接和参考。
链接
安蒂·卡图恩,n=0..23713的n,a(n)表
因德拉尼尔·戈什,用于计算此序列的Python程序(在OEIS wiki中提到的功能之后)
配方奶粉
a(n)=A057163号(A057164号(n) )。
a(n)=A057163号(A057505号(A057163号(n) ))=A057164美元(A057505号(A057164号(n) )。
MAPLE公司
地图(CatalanRankGlobal,地图(DonagheysA057506,CatalanSequences(196));#其中CatalanSequences(n)给出了术语A014486号(0..n)。
DonagheysA057506:=n->pars2binexp(深反转(DonagheesA057505(深反转)(binexp2pars(n))));
DonagheysA057505:=h->`if`((0=nops(h)),h,[op(DonagheesA057505(car(h);
#以下对应于自同构A057164号:
deepreverse:=proc(a)如果0=nops(a)或list<>whattype(a),则(a)else[op(deepreversion(cdr(a))),deeprevere(a[1])];fi;结束;
#其余所需的Maple-functions:请参阅给定的OEIS Wiki页面。
黄体脂酮素
(方案)
(定义(2005年5月06日n) (加泰罗尼亚排名(*A057506号(加泰罗尼亚语UnrankSexp n))
(定义(*A057506号bt)(let循环((lt-bt)(nt(list)))(cond((not(pair?lt)))nt)(else(loop(cdr-lt)(consnt(*A057506号(汽车))
;; 可以在OEIS Wiki页面上找到函数CatalanRankSexp和CatalanUnrankSexp。
交叉参考
反向:A057505号.
囊性纤维变性。A057161美元,A057162号,A057163号,A057164号,A057501美元,A057502号,A057503号,A057504号(用于简单加泰罗尼亚自同构的类似签名置换)。
囊性纤维变性。A057507号(循环计数)。
此排列的第二、第三、第四、第五和第六“幂”:A071662号,A071664号,A071666号,A071668号,A071670号.
表的第12行A122287号.
关键词
非n,
作者
Antti Karttunen公司2000年9月3日
扩展
条目修订人Antti Karttunen公司2017年5月30日
状态
经核准的
A057501号 加泰罗尼亚自同构的特征排列:旋转非交叉和弦(握手)排列;旋转由编码的一般树的根位置A014486号. +10
40
0, 1, 3, 2, 7, 8, 5, 4, 6, 17, 18, 20, 21, 22, 12, 13, 10, 9, 11, 15, 14, 16, 19, 45, 46, 48, 49, 50, 54, 55, 57, 58, 59, 61, 62, 63, 64, 31, 32, 34, 35, 36, 26, 27, 24, 23, 25, 29, 28, 30, 33, 40, 41, 38, 37, 39, 43, 42, 44, 47, 52, 51, 53, 56, 60, 129, 130, 132, 133, 134 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
这是当“非交叉握手”,即斯坦利的解释(n),“在圆周上连接2n个点的n条不相交弦”旋转时,自然数的排列。
当平面树的根位置(Stanley的解释(e))围绕顶点连续改变时,也会产生相同的排列。
要很好地说明根顶点的旋转是如何工作的,请参阅Torsten Mütze论文(2014年5月20日修订版第24页)中的图6“有序根树的旋转”。
关于此排列的另一个应用,请参阅随附的注释A085197号.
通过“递归”A085201型在公式中,一个以A057161号A057503号。通过对两边进行“递归”,一个以A057505号. -Antti Karttunen公司2014年6月6日
链接
安蒂·卡图恩,n=0..2055的n,a(n)表
A.Karttune等人,加泰罗尼亚数字的组合解释,OEIS维基。
托尔斯滕·穆策,中间层猜想的证明,arXiv预印本arXiv:1404.4442[math.CO],2014年(第24页)。
R.P.斯坦利,加泰罗尼亚语和相关数字练习(此序列与练习19中解释(e)和(n)的轮换有关)
配方奶粉
a(0)=0,对于n>=1,a(n)=A085201型(A072771美元(n) ,A057548号(A072772号(n) )。[此公式直接反映了给定的非破坏性Lisp/Scheme函数:A085201号是一个2元函数,对应于“append”,A072771号A072772号对应于“car”和“cdr”(在某些方言中也称为first/rest或head/tail),以及A057548号对应于函数'list']的一元形式。
作为相关排列的组合:
a(n)=A057509号(A069770号(n) )。
a(n)=A057163号(A069773号(A057163号(n) )。
不变性标识:
A129599号(a(n))=A129599号(n) 保持所有n。
MAPLE公司
地图(CatalanRankGlobal,地图(RotateHandshakes,A014486号));
RotateHandshakes:=n->pars2binexp(RotateHandshakesP(binexp2pars(n)));
旋转握手P:=h->`if`((0=nops(h)),h,[op(car(h),cdr(h)]);#这就是诀窍!在Lisp中:(defon RotateHandshakesP(h)(追加(汽车h)(列表(cdr h)))
car:=proc(a)如果0=nops(a),那么([])else(op(1,a)):fi:end:#名称来自Lisp,取列表的第一个元素(head)。
cdr:=proc(a)如果0=nops(a),那么([])else(a[2..nops(a)]):fi:end:#也是。获取列表的其余部分(尾部)。
PeelNextBalSubSeq:=proc(nn)局部n,z,c;如果(0=nn),则返回(0);fi;n:=nn;c:=0;z:=0;而(1=1)做z:=2*z+(n模2);c:=c+(-1)^n;n:=楼层(n/2);如果(c>=0),则返回((z-2^(floor_log_2(z)))/2);fi;od;结束;
RestBalSubSeq:=proc(nn)局部n,z,c;n:=nn;c:=0;而(1=1)做c:=c+(-1)^n;n:=地板(n/2);如果(c>=0),则断裂;fi;od;z:=0;c:=-1;而(1=1)做z:=2*z+(n模2);c:=c+(-1)^n;n:=地板(n/2);如果(c>=0),则返回(z/2);fi;od;结束;
pars2binexp:=进程(p)局部e、s、w、x;如果(0=nops(p)),则返回(0);fi;e:=0;对于p do x中的s:=pars2binexp(s);w:=地板_日志2(x);e:=e*2^(w+3)+2^(w+2)+2*x;od;返回(e);结束;
binexp2pars:=proc(n)选项记忆`如果`((0=n),[],binexp2parsR(binrev(n)));结束;
binexp2parsR:=n->[binexp2pars(PeelNextBalSubSeq(n)),op(binexp2bars(RestBalSubSeq(n)))];
#程序CatalanRankGlobalA057117号,其他丢失的A038776号.
黄体脂酮素
(在S表达式、“构造性”和“破坏性”变体上实现这种自同构的Scheme函数):
(定义(*A057501号s) (cond((null?s)(list))(else(append(cars)(列表)))
(定义(*A057501号! s) (秒(对)(*A074680号! s)(*A057501号! (cdr)))s)
;; 直接处理非负整数的版本(definec是来自Antti Karttunen公司的IntSeq-library):
(定义(A057501号n) (如果(零?n)n(A085201bi(A072771号n)(A057548号(A072772美元n) );;A085201bi,参见:A085201型.
交叉参考
反向:A057502号.
此外,“脊椎”-转换A074680号,因此出现在的第17行A122203号(另见第65167行A130403型.)
此排列的继承权a^2(n)-a^6(n):A082315号,A082317号,A082319号,A082321号,A082323号.
关键词
非n
作者
Antti Karttunen公司,2000年9月3日;2014年6月6日修订的条目
状态
经核准的
A074679号 加泰罗尼亚自同构的签名置换:如果可能,将二叉树向左旋转,否则交换其边。 +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 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
此自同构对未标记的有根平面二叉树(字母A、B、C表示位于这些节点上的任意子树,()表示隐含的终端节点)上的以下变换产生影响
……B……C……A……B
....\./.........\./
.A.…x…-->。。。。x..C…………..A..()。。。。。。。。。()..答:。。
..\./.............\./...................\./....-->....\./...
…x…………..x。。。。
(a、(b、c))->(a、b)。c) ______(())-->()。a)
也就是说,如果可能的话,我们将二叉树向左旋转,否则(如果树的右手边是终端节点)交换左右子树(使终端节点结束于左手边),即应用自同构*A069770号。请看中的示例A069770号看看这将如何生成给定的整数序列。
这是表中第一个多子句非递归自同构A089840号而第一个顺序不是有限的,即这个置换中循环的最大大小是无界的(参见A089842号). 循环计数在范围内[A014137号(n-1)。。A014138号(n) 此排列的]表示为A001683(n+1),否则与加泰罗尼亚自同构相同*A057161美元/*A057162号,但右移了一次。有关解释,请参阅OEIS Wiki中的注释。
链接
A.卡图恩,加泰罗尼亚语自同构和双宾语简介,(未完成的草稿)
A.卡图恩,关于这个置换轨道的注记,OEIS维基。
黄体脂酮素
(此自同构的方案实现。这些作用于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))
(定义(交换!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号,2006年1月,A122321号,A122332号。另见一些类似的:A069773号,A071660型,A071656号,A071658号,A072091号,A072095型,A072093型.
反向:A074680号.
第12行,共行A089840号.
也在中发生A073200型作为第557243行,因为a(n)=A073283号(A073280号(A072796号(n) )。a(n)=A083927号(A123498号(A057123号(n) )。
循环次数:LEFT(A001683). 固定点数:LEFT(A019590型). 所有循环尺寸的最大循环尺寸和LCM:A089410号(在范围内[A014137号(n-1)。。A014138号(n) ])。
关键词
非n
作者
Antti Karttunen公司2002年9月11日,描述于2006年10月10日澄清。
状态
经核准的
A069767号 加泰罗尼亚双射词“尼克斯”的特征变换。 +10
31
0、1、3、2、7、8、6、5、4、17、18、20、21、22、16、19、15、12、13、14、11、10、9、45、46、48、49、50、54、55、57、58、59、61、62、63、64、44、47、53、56、60、43、52、40、31、32、41、34、35、36、42、51、39、30、33、38、29、26、27、37、28、25、24、23、129、130、132、133、134 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
二叉树的这种自同构首先交换根的左子树和右子树,然后递归地转到(新的)右子树上,在那里执行相同的操作。这是一个Catalan双射,它扩展到无限二叉树的唯一自同构,在本例中是A153141号。请参阅此处的进一步评论。
这个双射,尼克斯,是简单交换的SPINE变换:SPINE(*A069770号)(即第1行A122203号). 此外,尼克斯和科纳克(相反*A069768号)有一个特殊的属性,即FORK和KROF变换(在A122201型A122202号)将它们转换为各自的倒数,即相互转换:FORK(Knick)=KROF(Knick)=Knack和FORKA122287号当然,双叉可以修复这两个问题,例如,fork(fork)=Nick。还有其他特殊性质。
注:芬兰语的名字是“Niks”。
参考文献
A.Karttunen,论文准备中。
链接
黄体脂酮素
(此自同构的方案实现。这些作用于S表达式,即列表结构:)
(构造版本:)(定义(*A069767号s) (cond((not(pair?s))s)(else(cons(cdr)))(*A069767号(汽车)))
(破坏性版本:)(定义(*A069767号! s) (秒(对)(*A069770号! s)(*A069767号! (cdr)))s)
交叉参考
逆排列:“Knack”,A069768号“n次方”(即n次应用),从n=2到6:A073290号,A073292号,A073294号,A073296号,A073298号.
在范围内[A014137号(n-1)。。A014138号(n-1)],循环数为A073431号,固定点数:A036987号(固定点本身:A084108号),所有循环尺寸的最大循环尺寸和LCM:A011782号。另请参见:A074080号.
A127302号(a(n))=A127302号(n) 对于所有n.a(n)=A057508号(A057161号(n) )=A057161号(A069769号(n) )。
第1行,共行A122203号A122287号,第15行,共行A122286号A130403型,第6行,共6行A073200型.
关键词
非n
作者
Antti Karttunen公司2002年4月16日;2008年12月20日修订的条目
状态
经核准的
A130403型 的SPINE变换的特征置换A057163号-表中加泰罗尼亚自同构的共轭A122204号. +10
31
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, 5, 4, 3, 2, 1, 0, 8, 4, 7, 5, 4, 3, 2, 1, 0, 9, 5, 6, 6, 5, 4, 3, 2, 1, 0, 10, 17, 8, 8, 8, 5, 4, 3, 2, 1, 0, 11, 18, 9, 7, 6, 8, 5, 5, 3, 2, 1, 0, 12, 20, 10, 9, 7, 7, 7, 4, 4, 3, 2, 1, 0, 13, 21, 12, 10, 9, 6 (列表;桌子;图表;参考;;历史;文本;内部格式)
抵消
0,4
评论
第n行是Catalan自同构的签名置换,该签名置换由A057163号-表中n阶自同构的共轭A122204号使用递归方案“SPINE”,即第n行作为SPINE获得(A057163号o ENIPS公司(A089840号[n] )o个A057163号). 请参见A122203号A122204号有关脊椎和ENIPS的说明。此表中每行只出现一次。这些排列的倒数可以在表中找到A130402型。此表还包含A122203号A089840号.
链接
交叉参考
参见本表前22行:第0行(身份置换):A001477号, 1:A082345号, 2:A130936号, 3:A073288美元, 4:A130942号, 5:130940英镑, 6:A130938号, 7:A130944号, 8:A130946号, 9:A130952号, 10:A130950型, 11:A130948号, 12:A057161号, 13:A130962号, 14:A130964号, 15:A069767号, 16:A130966号,第17页:A074688号, 18:130954英镑, 19:A130956号, 20:A130960型, 21:A130958号,其他行:169:A069770号, 3617:A082339号, 65167:A057501号.
参见。序列不同于A130403型第一次,n=92,其中a(n)=21,而2013年1月(n) =22。
关键词
非n,
作者
Antti Karttunen公司2007年6月11日
状态
经核准的
A073202号 表的fix-count序列数组A073200型. +10
18
1,1,1,0,1,1,1,2,1,1,0,3,0,1,1,2,8,1,0,1,0,20,0,0,1,1,5,60,2,0,1,0,1,1,0,181,0,0,0,0,0,0,0,1,1,14,584,5,0,2,0,1,1,0,1916,0,0,0,5,0,1,42,6476,14,0,5,0,14,1,2,1,1,022210,0,0,0,0,0,42,0,1,0,1,1 (列表;桌子;图表;参考;;历史;文本;内部格式)
抵消
0,8
评论
该表的每一行给出了由加泰罗尼亚双射确定的元素计数(在A073200型)当它作用于A000108号(n) 范围内编码的结构[A014137号(n-1)。。A014138号序列的(n-1)]A014486号/A063171号.
链接
A.卡图恩,异形性(有完整的来源和解释)
交叉参考
另请参阅A073201号,A073203型.
本表中出现的EIS序列很少。仅给出第一个已知事件(如果尚未证明/不清楚,则标记为?):
第0、2、4行等:“加泰罗尼亚空气数字”右移并加上1(参见。A000108号),第1行:A073190号、第3、5、261、2614、2618、17517行等:A019590型但偏移量为0而不是1A073269号,A073270型,A057501号,A057505号,A057503号A057161号切勿修复任何尺寸大于1)的加泰罗尼亚结构。
第6行:A036987号,第7行:A000108号,第12、14、20…行:A057546号,第16、18行:A034731号,第41行:A073268号,第105行:基本上A073267美元,第57行。。。,164:A001405号,第168行:A073192号,第416行:基本上A023359号?, 第10435行:也A036987号.
关键词
非n,
作者
Antti Karttunen公司2002年6月25日
状态
经核准的
A057162号 加泰罗尼亚自同构的特征置换:顺时针旋转一步由A014486号. +10
13
0, 1, 3, 2, 8, 6, 7, 4, 5, 22, 19, 20, 14, 15, 21, 16, 17, 9, 10, 18, 11, 12, 13, 64, 60, 61, 51, 52, 62, 53, 54, 37, 38, 55, 39, 40, 41, 63, 56, 57, 42, 43, 58, 44, 45, 23, 24, 46, 25, 26, 27, 59, 47, 48, 28, 29, 49, 30, 31, 32, 50, 33, 34, 35, 36, 196, 191, 192, 177, 178 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
这是欧拉三角剖分凸多边形时产生的自然数排列,由序列编码A014486号以一种简单的方式(通过二叉树,参见链接部分中给出的三角五边形旋转的图示)顺时针旋转。
A057161号A057162号,之间的循环A014138号(n-1)-th和A014138号(n) -第项划分A000108号(n) 对象的相应项编码A014486号进入之内A001683flexagons(或未标记的平面硼树)的(n+2)等价类,因此后一序列可以用Maple程序计算A057162美元_循环计数如下。另请参阅中的评论A057161号.
链接
配方奶粉
作为相关排列的组合:
a(n)=A069768号(A057508号(n) )。
a(n)=A057163号(A057161号(A057163号(n) )。
a(n)=A057164号(A057503号(A057164号(n) )。[有关证明,请参阅“介绍性调查……”草案第53-54页,等式143。]
MAPLE公司
a(n)=CatalanRankGlobal(RotateTriangularizationR(A014486号[n] ))
RotateTriangularizationR:=n->ReflectBinTree(Rotatetriangularize(ReflectBinTree(n)));
与(组);A057162号_循环计数:=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,旋转三角化(CatalanUnrank(n、r)))];od;a:=[op(a),(`if`((n<2),1,nops(convert(b,'disjcyc')))];od;返回(a);结束;
#另请参阅中的代码A057161号.
黄体脂酮素
(在S表达式上实现此自同构的Scheme函数,三种不同的变体):
(定义(*A057162号bt)(let loop((lt-bt)(nt(list)))(cond((not(pair?lt))nt)(else(loop(cdr-lt)(consnt(car-lt))))
(定义(*A057162号s) (右折叠式(λ(x y))(*A057163号(追加(*A057163号y) (列表(*A057163号x) )))(引用())
(定义(*A057162号! s)(*A057508号! s)(*A069768号! s) s)
交叉参考
反向:A057161美元.
此外,“ENIPS”-转换A069773号,因此出现在的第17行A130402型.
囊性纤维变性。A001683(循环计数),A057544号(最大循环长度)。
关键词
非n
作者
Antti Karttunen公司2000年8月18日;2014年6月6日修订的条目
状态
经核准的
第页12

搜索在0.018秒内完成

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

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

上次修改时间:美国东部夏令时2024年5月24日06:28。包含372772个序列。(在oeis4上运行。)