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

 

标志
提示
(来自的问候整数序列在线百科全书!)
搜索: a069773-编号:a069773
显示找到的6个结果中的1-6个。 第页1
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
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(BinTreeRightBranch(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号.参见。A122351号.
关键词
非n
作者
安蒂·卡图恩2000年8月18日
扩展
与2006年12月15日实现的德国1998年内卷化等效,相应的条目由编辑安蒂·卡图恩2007年1月16日
状态
经核准的
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号. -安蒂·卡图恩,2014年6月6日
链接
安蒂·卡图恩,n=0..2055的n,a(n)表
A.Karttune等人,加泰罗尼亚数字的组合解释,OEIS Wiki。
托尔斯滕·穆策,中间层猜想的证明,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中:(defun RotateHandshakesP(h)(append(car h)(list(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是来自安蒂·卡图恩的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
作者
安蒂·卡图恩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 Wiki。
黄体脂酮素
(此自同构的方案实现。这些作用于S表达式,即列表结构:)
(构造版本:)(定义(*A074679号s) (cond((不是(pair?s))((pair?(cdr s))(cons(cons(car s)(cadr s))(cddr s)))(else(cons(cdr s)(car s))))
(破坏性版本:)(定义(*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号,A120706号,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
作者
安蒂·卡图恩2002年9月11日,描述于2006年10月10日澄清。
状态
经核准的
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号进入之内A001683号flexagons(或未标记的平面硼树)的(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:=[运算(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) ))(引用()s))
(定义(*A057162号! s)(*A057508号! s)(*A069768号! s) s)
交叉参考
反向:A057161号.
此外,“ENIPS”-转换A069773号,因此出现在的第17行A130402型.
囊性纤维变性。A001683号(循环计数),A057544号(最大循环长度)。
关键词
非n
作者
安蒂·卡图恩2000年8月18日;2014年6月6日修订的条目
状态
经核准的
A069774号 自同构RoblDownCar_et_SwapInv!引起的自然数置换!操作由编码的括号A014486号. +10
7
0, 1, 3, 2, 7, 8, 4, 6, 5, 17, 18, 20, 21, 22, 9, 10, 14, 16, 19, 11, 12, 15, 13, 45, 46, 48, 49, 50, 54, 55, 57, 58, 59, 61, 62, 63, 64, 23, 24, 25, 26, 27, 37, 38, 42, 44, 47, 51, 53, 56, 60, 28, 29, 30, 31, 32, 39, 40, 43, 52, 33, 34, 35, 41, 36, 129, 130, 132, 133, 134 (列表图表参考历史文本内部格式)
抵消
0,3
链接
A.卡图恩,异形性(包括计算该序列的完整Scheme程序)
黄体脂酮素
(在列表结构上实现此自同构的Scheme函数:)
(定义(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))
交叉参考
的反转A069773号,car/cdr翻转共轭A057502号,即。A069774号(n)=A057163号(A057502号(A057163号(n) )。另请参阅A069776号.
关键词
非n
作者
安蒂·卡图恩2002年4月16日
状态
经核准的
A069775号 自同构gma069775诱导的自然数置换!操作由编码的括号A014486号. +10
7
0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 12, 13, 17, 18, 16, 14, 15, 21, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 45, 46, 48, 49, 50, 44, 47, 42, 37, 38, 43, 39, 40, 41, 58, 59, 56, 51, 52, 57, 53, 54, 55, 63, 60, 61, 62, 64, 65, 66, 67, 68, 69, 70, 71 (列表图表参考历史文本内部格式)
抵消
0,3
链接
A.卡图恩,异形性(包括计算该序列的完整Scheme程序)
黄体脂酮素
(在列表结构上实现此自同构的Scheme函数:)
(定义(gma069775!s)(cond((配对)(gma072797!s)
交叉参考
的反转A069776号.a(n)=A057163号(A057509号(A057163号(n) ))=A069773号(A069770号(n) )。另请参阅A069787号,A072797号.
循环次数:A003239号.固定点数量:A034731号.最大循环尺寸:A028310号循环大小的LCM:A003418号.(在范围内[A014137号(n-1)。。A014138号(n-1)],可能向左或向右移动一个项)。
关键词
非n
作者
安蒂·卡图恩2002年4月16日
状态
经核准的
第页1

搜索在0.009秒内完成

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

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

上次修改时间:2024年4月19日16:52 EDT。包含371794个序列。(在oeis4上运行。)