卡斯滕·施耐德;罗宾·苏兹格鲁伯 Novelli-Pak-Stoyanovskii算法复杂性的渐近精确结果。 (英语) Zbl 1366.05119号 电子。J.库姆。 24,第2期,研究论文P2.28,33页(2017). 小结:Novelli-Pak-Stoyanovskii算法是一种固定形状的Young tableaux的排序算法,最初是为了给出钩子长度公式的双直观证明而设计的。当基本形状趋于固定极限曲线时,我们获得了关于该算法的平均情况和最坏情况复杂度的新的渐近结果。此外,使用求和包Sigma,我们证明了当基本形状仅由两行组成时,平均情况复杂度的精确公式。因此,我们回答了Kratethaler和Müller提出的问题。 引用于4文件 MSC公司: 2010年5月 表征理论的组合方面 33层10 特殊函数的符号计算(Gosper和Zeilberger算法等) 68瓦30 符号计算和代数计算 关键词:Novelli-Pak Stoyanovskii算法;标准Young画面;钩长公式;平均情况和最坏情况复杂性;符号求和 软件:评估MultiSums;生成函数;SIGMA公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Schneider}和\textit{R.Sulzgruber},电子。J.库姆。24,第2期,研究论文P2.28,33页(2017;Zbl 1366.05119) 全文: arXiv公司 链接 参考文献: [1] J.Ablinger、A.Behring、J.Bl¨umlein、A.De Freitas、A.von Manteuffel和C.Schneider。用计算机代数计算大规模算子矩阵元素的三个环梯和V拓扑。计算。物理学。Comm.,202:33-122016年。arXiv:1509.08324[hep-ph]·Zbl 1348.81034号 [2] S.A.Abramov和M.Petkovések。线性微分方程和差分方程的达朗贝尔解。J.von zur Gatheren,编辑,Proc。ISSAC’94,第169-174页。ACM出版社,1994年·Zbl 0919.34013号 [3] A.C.艾特肯。行列式对称函数的单项式展开。程序。罗伊。Soc.爱丁堡教派。A、 1943年,61:300-310·Zbl 0063.00032号 [4] J.S.Frame、G.de B.Robinson和R.M.Thrall。对称群的钩子图。加拿大。数学杂志。,6:316-325, 1954. ·Zbl 0055.25404号 [5] M.卡尔。有限项求和。《美国医学杂志》,28:305-3501981年。组合数学电子期刊24(2)(2017),#P2.28 32·Zbl 0494.68044号 [6] C.克拉提哈勒。斯坦利钩含量公式的另一个无对合原理的双射证明。J.组合理论系列。A、 1999年8月66日-92日·Zbl 0936.05087号 [7] C.克拉滕塔勒。Novelli-Pak-Stoyanovski钩子双射作为标准Young表的随机生成算法。2013年3月12日,在维也纳Arbeits gemeinschaft Diskrete Mathematik举行的研讨会演讲。 [8] B.F.Logan和L.A.Shepp。随机Young表的变分问题。高级数学。,26:206-222, 1977. ·Zbl 0363.62068号 [9] C.马林杰。一元完整函数和序列的算法操作和变换。林茨J.开普勒大学RISC硕士论文,1996年。 [10] C.Neumann和R.Sulzgruber。Novelli-Pak-Stoyanovskii算法的复杂性定理。J.组合理论系列。A、 135:85-104,2015年。arXiv:1306.5134·Zbl 1319.05144号 [11] J.C.诺维利、I.帕克和A.V.斯托亚诺夫斯基。钩子长度公式的直接双射证明。离散数学。理论。计算。科学。,1:53-67, 1997. ·Zbl 0934.05125号 [12] I.Pak和A.V.Stoyanovskii。钩子长度公式的直观证明。功能。分析。申请。,24, 1992. ·Zbl 0934.05125号 [13] P.Paule和M.Schorn。证明二项式系数恒等式的Zeilberger算法的Mathematica版本。符号计算杂志。,20(5-6), 1995. ·Zbl 0851.68052号 [14] M.Petkovásek、H.S.Wilf和D.Zeilberger。A=B.A.K.Peters,马萨诸塞州韦尔斯利,1996年·Zbl 0848.05002号 [15] 布鲁斯·E·萨根。对称组。Springer-Verlag,纽约,第二版,2001年·Zbl 0964.05070号 [16] C.施耐德。符号求和有助于组合学。塞姆·洛塔尔。组合,56:1-362007。第B56b条·Zbl 1188.05001号 [17] C.施耐德。简化不同字段中的多个总和。C.Schneider和J.Bl¨umlein主编,《量子场论中的计算机代数:积分、求和和和和特殊函数》,《符号计算中的文本和专著》,第325-360页。施普林格,2013.arXiv:1304.4134[cs.SC]·Zbl 1315.68294号 [18] C.施耐德。符号求和的差环理论。J.塞姆。计算。,72:82-1272016.arXiv:1408.2776[cs.SC]·Zbl 1328.12015年 [19] C.施耐德。求和理论II:R∏∑-扩张的特征和算法方面。J.塞姆。计算。,80:616-6642017年。arXiv:1603.04285[cs.SC]·Zbl 1403.12002号 [20] R.Sulzgruber。Novelli-Pak-Stoyanovskii算法的对称性。DMTCS第26届形式幂级数和代数组合数学国际会议论文集FPSAC芝加哥,2014。arXiv:1403.5135·Zbl 1319.05144号 [21] K.Wegschaider。二项多um恒等式的计算机生成证明。马斯特的论文,RISC,J.开普勒大学,1997年5月。组合数学电子期刊24(2)(2017),#P2.28 33 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。