显示找到的7个结果中的1-7个。
第页1
加泰罗尼亚自同构的特征排列:旋转非交叉和弦(握手)排列;旋转由编码的一般树的根位置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
评论
这是当“非交叉握手”,即斯坦利的解释(n),“在圆周上连接2n个点的n条不相交弦”旋转时,自然数的排列。
当平面树的根位置(Stanley的解释(e))围绕顶点连续改变时,也会产生相同的排列。
要很好地说明根顶点的旋转是如何工作的,请参阅Torsten Mütze论文(2014年5月20日修订版第24页)中的图6“有序根树的旋转”。
链接
托尔斯滕·穆策,中间层猜想的证明,arXiv预印本arXiv:1404.4442[math.CO],2014年(第24页)。
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:=proc(p)局部e,s,w,x;如果(0=nops(p)),则返回(0);fi;e:=0;对于p do x中的s:=pars2binexp(s);w:=floor_log_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)))];
黄体脂酮素
(在S-表达式、“构造性”和“破坏性”变体上实现这种自同构的Scheme函数):
(定义(*A057501号s) (cond((null?s)(list))(else(append(cars)(列表)))
;; 直接处理非负整数的版本(definec是来自安蒂·卡图恩的IntSeq-library):
交叉参考
其他相关排列:A057161号,A057163号,A057503号,A057505号,A057508号,A057509号,A057511号,A069770号,A069771号,A069772号,A069773号,A069888号,A069889号,A082313号,A082314号,A085173号,A086427号,123501元,A127291号,1972年1月.
作者
安蒂·卡图恩2000年9月3日;2014年6月6日修订的条目
0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 11, 10, 12, 13, 17, 18, 16, 14, 15, 21, 20, 19, 22, 23, 28, 25, 30, 33, 24, 29, 26, 31, 32, 27, 35, 34, 36, 45, 48, 46, 49, 50, 44, 47, 42, 37, 39, 43, 38, 40, 41, 58, 59, 57, 54, 55, 56, 53, 51, 52, 63, 62, 61, 60, 64, 65, 79, 70, 84, 93
评论
这个加泰罗尼亚双射反映了斯坦利的解释(pp)-(rr),该解释是通过“下降斜率映射”从由A014486号.
例子
通过在每个下降斜坡上方绘制一条垂直线,将Dyck路径(斯坦利的解释(i))映射到非交叉Murasaki-diagrams(斯坦利解释(rr)),并连接源自相同高度的垂直线,其间没有任何较低的山谷,如下图所示:
..................................................
.....___________..................................
....|...|....._.|.................................
....|..||...||.||..................___________....
....|..||...||.||.................|...|...._..|...
....|..||../\|.||..即.equal.to..|.|.|.|.||.||。。。
....|./\|./..\/\|.................|.|.|.|.|.|.|...
.../\/..\/......\.................|.|.|.|.|.|.|...
现在加泰罗尼亚双射词gma086431给出了括号,因此相应的Murasaki-diagram是原始图形的反映:
.....___________..................................
....|...._..|...|.................................
....|...|.|||..||..................___________....
....|...|.|||..||.................|.._....|...|...
....|../\/\||..||..即.equal.to..|.|.|.|.||.||。。。
....|./....\|./\|.................|.|.|.|.|.|.|...
.../\/......\/..\.................|.|.|.|.|.|.|...
0, 1, 3, 2, 8, 7, 6, 4, 5, 22, 21, 20, 17, 18, 19, 16, 14, 9, 11, 15, 10, 13, 12, 64, 63, 62, 58, 59, 61, 57, 54, 45, 48, 55, 46, 50, 49, 60, 56, 53, 44, 47, 51, 42, 37, 23, 28, 39, 25, 33, 30, 52, 43, 38, 24, 29, 41, 27, 36, 35, 40, 26, 34, 31, 32, 196, 195, 194, 189, 190
黄体脂酮素
(在列表结构上实现此自同构的Scheme函数:)
(定义(gma086425!s)(gmA057164!(gmA074684!s))
0, 1, 3, 2, 7, 8, 6, 5, 4, 17, 20, 18, 22, 21, 16, 19, 15, 12, 13, 14, 11, 10, 9, 45, 54, 48, 61, 57, 46, 55, 50, 63, 64, 49, 62, 59, 58, 44, 53, 47, 60, 56, 43, 52, 40, 31, 34, 41, 32, 36, 35, 42, 51, 39, 30, 33, 38, 29, 26, 27, 37, 28, 25, 24, 23, 129, 157, 138, 180, 166
黄体脂酮素
(在列表结构上实现此自同构的Scheme函数:)
(定义(gma086426!s)(gmA074683!(gmA057164!s))
0, 1, 2, 3, 4, 7, 5, 6, 8, 9, 17, 10, 16, 21, 11, 18, 12, 14, 15, 13, 19, 20, 22, 23, 45, 24, 44, 58, 25, 46, 26, 42, 43, 27, 56, 57, 63, 28, 48, 29, 47, 59, 30, 49, 31, 37, 38, 32, 39, 40, 41, 33, 50, 34, 51, 52, 35, 53, 54, 55, 36, 60, 61, 62, 64, 65, 129, 66, 128, 170
评论
这个加泰罗尼亚双射旋转了斯坦利的解释(pp)-(rr),使用的是A086431号.
0, 1, 3, 2, 8, 7, 5, 6, 4, 22, 20, 21, 18, 17, 13, 12, 15, 19, 16, 10, 11, 14, 9, 64, 61, 62, 55, 54, 63, 57, 59, 50, 49, 58, 46, 48, 45, 36, 34, 35, 32, 31, 41, 40, 52, 60, 53, 43, 56, 47, 44, 27, 26, 29, 33, 30, 38, 39, 51, 42, 24, 25, 28, 37, 23, 196, 192, 193, 181, 180
评论
这个加泰罗尼亚双射旋转了斯坦利的解释(pp)-(rr)的“半步”,使用了A086431号.
0, 1, 3, 2, 8, 7, 5, 6, 4, 22, 21, 18, 20, 17, 13, 12, 15, 19, 14, 10, 16, 11, 9, 64, 63, 59, 62, 58, 50, 49, 55, 61, 54, 46, 57, 48, 45, 36, 35, 32, 34, 31, 41, 40, 52, 60, 51, 38, 56, 39, 37, 27, 26, 43, 47, 42, 29, 53, 33, 28, 24, 44, 30, 25, 23, 196, 195, 190, 194, 189
评论
这个加泰罗尼亚双射旋转了斯坦利的解释(pp)-(rr)的“半步”,使用了A085161号.
搜索在0.009秒内完成
|