×
乔里斯·范德霍温;格里戈伊尔·勒塞夫

直接评估。 （英语） Zbl 1475.65013号

J.复杂性 60，文章ID 101498，45 p.（2020）.
小结：设\（\mathbb{K}\）是一个固定的有效域。使用\（mathbb{K}\）的代数闭包中的元素进行计算的最直接的方法是计算其最小多项式的模。从任意零化子中确定最小多项式需要一个在（mathbb{K}）上进行多项式因式分解的算法。不幸的是，在通用有效域上不存在这样的算法。它们确实存在于在其基本子字段上显式生成的字段上，但它们通常很昂贵。由Duval和合作者在八十年代引入的动态评估范式为（mathbb{K}）的代数闭包中的计算提供了另一种算法解决方案。这种方法不需要多项式因式分解的算法，但由于次优的重新计算，它仍然存在非平凡的开销。我们首次设计了另一种范式，称为定向评估，它结合了动态评估的概念优势和良好的最坏情况复杂度界限。

引用于4文件

MSC公司：

65D99型 数值近似和计算几何（主要是算法）
2016年11月 数字理论算法；复杂性
12-08 场论相关问题的计算方法
68瓦30 符号计算和代数计算

关键词：

复杂性;代数塔;三角形集合;动态评价;直接评价;加速塔
PDF格式BibTeX公司 XML格式引用
\textit{J.van der Hoeven}和\textit{G.Lecerf}，J.复杂性60，文章ID 101498，45 p.（2020；Zbl 1475.65013）
全文： 内政部 哈尔

参考文献：

[1] Berkowitz，S.J.，《关于使用少量处理器在小并行时间内计算行列式》，Inform。过程。莱特。，18, 147-150 (1984) ·兹伯利0541.68019
[2] 布鲁姆，L。；Cucker，F。；舒布，M。；Smale，S.，《复杂性与真实计算》（2012），施普林格科学与商业媒体
[3] Boulier，F。；Lemaire，F。；Moreno Maza，M.，三角形系统的著名定理和D5原理，（Dumas，J.-G.，《超越计算学报2006：Jean Della Dora荣誉会议》（2006），U.J.Fourier:U.J.Fourier Grenoble，法国），79-92·Zbl 1213.13044号
[4] Broadbery，P.A。；Gómez-Díaz，T。；Watt，S.M.，《关于动态评估的实施》，（Levet，A.H.M.，1995年符号和代数计算国际研讨会论文集，ISSAC’95（1995），ACM：美国纽约州纽约市ACM），77-84·Zbl 0922.68078号
[5] Bürgisser，P。；克劳森，M。；Shokrollahi，M.A.，（代数复杂性理论。代数复杂性理论，Grundlehren der Mathematicschen Wissenschaften，第315卷（1997），施普林格出版社）·Zbl 1087.68568号
[6] 康托，D.G。；关于任意代数上多项式的快速乘法，《信息学报》。，28, 693-701 (1991) ·兹比尔0766.68055
[7] Coste，M。；伦巴第，H。；罗伊，M.-F.，《代数中的动力学方法：有效零stellensätze》，《纯粹应用》。逻辑，111，3，203-256（2001）·Zbl 0992.03076号
[8] Dahan，X。；莫雷诺·马扎（Moreno Maza，M.）。；Schost，E。；谢玉珍，《论D5原理的复杂性》（Dumas，J.-G.，《超越计算学报2006：让·德拉·多拉荣誉会议》（2006），U.J.Fourier:U.J.Fourier-Grenoble，法国），149-168·Zbl 1198.12005年
[9] De Feo，L。；Doliskani，J。；埃利桑那州斯科斯特。，有限域上（l）-adic塔的快速算法，（第38届符号与代数计算国际研讨会论文集，ISSAC’13（2013），ACM：美国纽约州纽约市ACM），165-172·Zbl 1360.11142号
[10] Della Dora，J。；Dicrecenzo，C。；Duval，D.，《关于代数数域中计算的新方法》，（Caviness，B.F.，EUROCAL’85：欧洲计算机代数会议林茨，奥地利，1985年4月1日至3日，论文集2：研究贡献（1985），施普林格：施普林格-柏林-海德堡），289-290
[11] Dellière，S.，《可构建系统的三角化：应用评估动力学》（1999），利摩日大学。科学与技术学院（博士论文）
[12] Dellière，S.，《关于三角集和动态可构造闭包之间的联系》，J.Pure Appl。代数，163，149-68（2001）·Zbl 0992.68244号
[13] Dicrecenzo，C。；Duval，D.，Scratchpad II中的代数扩展和代数闭包，（Gianni，P.，符号和代数计算，ISSAC’88国际研讨会。意大利罗马，1988年7月4-8日。诉讼程序。符号和代数计算。88年ISSAC国际研讨会。意大利罗马，1988年7月4-8日。法律诉讼。注释计算。科学。，第358卷（1989），斯普林格·弗拉格），440-446
[14] Duval，D.，Rational Puiseux扩展，Compos。数学。，70, 2, 119-154 (1989) ·Zbl 0699.14034号
[15] Duval，D.，《代数数：动态评估示例》，J.符号计算。，18, 5, 429-445 (1994) ·Zbl 0827.68061号
[16] 杜瓦尔，D。；González-Vega，L.，《动态评估和实际闭包》，数学。计算。模拟，42，4-6，551-560（1996）·Zbl 1037.68542号
[17] 杜瓦尔，D。；Reynaud，J.-C，《素描与计算——II：动态评估与应用》，数学。结构计算。科学。，4, 2, 239-271 (1994) ·Zbl 0822.68063号
[18] Friedman，H.，《算法程序、广义图灵算法和初等递归理论》（Gandy，R.O.；Yates，C.M.E.，《逻辑学术讨论会》，69年）。69年逻辑学术讨论会，《逻辑和数学基础研究》，第61卷（1971年），爱思唯尔出版社，361-389·Zbl 0221.02018号
[19] Fröhlich，A。；Shepherdson，J.C.，关于多项式在有限步数中的因式分解，数学。Z.，62，331-334（1955）·Zbl 0064.24902号
[20] Fröhlich，A。；Shepherdson，J.C.，《场论中的有效程序》，Philos。事务处理。R.Soc.伦敦。序列号。A、 248407-432（1956年）·Zbl 0070.03502号
[21] 冯·祖尔·盖森，J。；Gerhard，J.，《现代计算机代数》（2013），剑桥大学出版社：剑桥大学出版社，纽约·Zbl 1277.68002号
[22] Gómez-Díaz，T.，《使用动态可构造闭包的示例》，数学。计算。模拟，42，4-6，375-383（1996）·Zbl 1037.68544号
[23] 哈维，D。；van der Hoeven，J.，《使用分圆系数环在有限域上实现快速多项式乘法》，J.Complexity，54，Article 101404 pp.（2019）·2010年3月14日Zbl
[24] 哈维，D。；van der Hoeven，J。；Lecerf，G.，有限域上的更快多项式乘法，J.ACM，63，6，文章52 pp.（2017）·Zbl 1426.68310号
[25] van der Hoeven，J.，《自动渐近线》（1997），《埃科尔多技术：埃科尔-帕莱索多技术》，法国（博士论文）·Zbl 0874.65047号
[26] van der Hoeven，J。；Lecerf，G.，《通过复杂根的模块化组合技术报告》（2017），CNRS&Ecole polytechnique，http://hal.archives-ouvertes.fr/hal-01455731
[27] van der Hoeven，J。；Lecerf，G.，多项式的合成模幂，（Blurr，M.，2017年美国计算机学会符号与代数计算国际研讨会论文集，ISSAC’17（2017），美国计算机学会：美国计算机学会纽约，纽约，美国），445-452·Zbl 1457.68331号
[28] van der Hoeven，J。；Lecerf，G.，通过因子分解的模块组成，J.Complexity，48，36-68（2018）·Zbl 1430.12003号
[29] van der Hoeven，J。；Lecerf，G.，加速塔式算法，J.Complexity，55，第101402条pp.（2019）·Zbl 1493.68404号
[30] van der Hoeven，J。；Lecerf，G.，《重新审视快速多元多点评估》，J.Complexity，56，第101405条，pp.（2020）·Zbl 1469.68169号
[31] 黄晓涵；Pan，V.Y.，快速矩形矩阵乘法及其应用，J.Complexity，14，2，257-299（1998）·Zbl 0919.65030号
[32] Kaltoffen，E.，《关于无除法矩阵行列式的计算》，（Wang，P.S.，ISSAC 92符号代数计算国际研讨会，ISSAC'92（1992），ACM:ACM纽约，纽约，美国），342-349·Zbl 0978.65502号
[33] Kedlaya，K.S。；Umans，C.，《快速多项式因式分解与模合成》，SIAM J.Compute。，40, 6, 1767-1802 (2011) ·Zbl 1333.11117号
[34] Le Gall，F.，张量的幂和快速矩阵乘法，（Nabeshima，K.，ISSAC’14:符号和代数计算国际研讨会（2014），ACM:美国纽约州纽约市ACM），296-303·Zbl 1325.65061号
[35] Lebreton，R.，三角集的松弛hensel提升，J.符号计算。，68, 2, 230-258 (2015) ·Zbl 1386.68230号
[36] Lecerf，G.，通过提升纤维计算代数闭集的等维分解，J.Complexity，19，4，564-596（2003）·Zbl 1230.68222号
[37] Lecerf，G.，《关于Lickteig-Roy子结式算法的复杂性》，J.符号计算。，92, 243-268 (2019) ·兹比尔1409.13051
[38] 波图，A。；埃利桑那州斯科斯特。，模合成模三角集及其应用，计算。复杂。，22, 3, 463-516 (2013) ·兹比尔1311.68199
[39] 波图，A。；埃利桑那州斯科斯特。，关于零维三角集计算的复杂性，J.符号计算。，50, 110-138 (2013) ·Zbl 1332.68300号
[40] Preparia，F.P。；Sarwate，D.V.，《快速矩阵求逆中的改进并行处理器界限》，Inform。过程。莱特。，7, 3, 148-150 (1978) ·兹伯利0373.65020
[41] Reynolds，J.C.，《延续的发现》，LISP Symb。计算。，6, 233-247 (1993)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。