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

快速多元多点评估重新审视。 （英语） Zbl 1469.68169号

J.复杂性 56，文章ID 101405，38 p.（2020）。
摘要：在[“任何特征的快速模块化组合”中，载于：第49届IEEE计算机科学基础研讨会论文集，FOCS 2008。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。146–155 (2008;doi:10.1109/FOCS.2008.13)],K.S.凯德拉亚和C.乌曼设计了第一个有限域上的多元多点求值算法，其渐近复杂度可以任意接近线性。然而，使他们的算法对实际输入大小有效仍然是一个主要挑战。在本文中，我们回顾并改进了他们的算法，同时牢记这一最终目标。此外，我们锐化了有限域上一元多项式模合成的已知复杂度界。

引用于10文件

MSC公司：

68瓦40 算法分析
12-08 场论相关问题的计算方法
12E20型 有限域（场理论方面）
65T50型 离散快速傅立叶变换的数值方法
68瓦30 符号计算和代数计算

关键词：

多点评价；模块化组合；算法；复杂性界限；Kedlaya-Unimans算法；功率投影

软件：

克罗内克
PDF格式BibTeX公司 XML格式引用
\textit{J.van der Hoeven}和\textit{G.Lecerf}，J.复杂性56，文章ID 101405，38 p.（2020；Zbl 1469.68169）
全文： 内政部 哈尔

参考文献：

[1] 阿诺德，A。；吉斯布雷希特，M。；Roche，D.S.，直线程序的快速稀疏多元多项式插值，J.符号计算。，75, 4-24 (2016) ·Zbl 1398.68693号
[2] Barkley Rosser，J。；Schoenfeld，L.，素数函数的近似公式，伊利诺伊州数学杂志。，6，64-94（1962年）·Zbl 0122.05001号
[3] Bernstein，D.J.，在本质上是线性时间的有限环上构造幂级数，J.符号计算。，26, 3, 339-341 (1998) ·Zbl 0934.68129号
[4] Bluestein，L.I.，离散傅里叶变换计算的线性滤波方法，IEEE Trans。音频电声。，18, 4, 451-455 (1970)
[5] Bostan，A。；Gaudry，P。；埃利桑那州斯科斯特。，多项式系数线性递归及其在整数因式分解和Cartier-Manin算子中的应用，SIAM J.Comput。，1777-1806年（2007年）·Zbl 1210.11126号
[6] Bostan，A。；Lecerf，G。；埃利桑那州斯科斯特。，Tellegen的原理应用于实践，（Hong，Hoon，2003年符号和代数计算国际研讨会论文集，ISSAC’03（2003），ACM:ACM纽约，纽约，美国），37-44·Zbl 1072.68649号
[7] Bostan，A。；埃利桑那州斯科斯特。，特殊点集上的多项式求值和插值，J.Complexity，21，4，420-446（2005）·Zbl 1101.68039号
[8] Brent，R.P.，初等函数的快速多精度评估，J.ACM，23，2，242-251（1976）·Zbl 0324.65018号
[9] 布伦特，R.P。；Kung，H.T.，操作形式幂级数的快速算法，J.ACM，25，4，581-595（1978）·Zbl 0388.68052号
[10] 康托，D.G。；关于任意代数上多项式的快速乘法，《信息学报》。，28, 693-701 (1991) ·Zbl 0766.68055号
[11] 科斯塔，E。；Harvey，D.，《更快的确定性整数分解》，数学。公司。，83, 285, 339-345 (2014) ·Zbl 1285.11148号
[12] Dusart，P.，关于没有R.H的素数上的一些函数的估计（2010），https://arxiv.org/abs/1020442
[13] 冯·祖尔·盖森，J。；Gerhard，J.，《现代计算机代数》（2013），剑桥大学出版社：剑桥大学出版社，纽约·Zbl 1277.68002号
[14] Giusti，M。；Lecerf，G。；Salvy，B.，A Gröbner free alternative for多项式系统求解，J.Complexity，17，1，154-211（2001）·Zbl 1003.12005年
[15] 哈维，D。；van der Hoeven，J.，《使用分圆系数环的快速整数和多项式乘法》（2017），网址：http://arxiv.org/abs/1171203693
[16] 哈维，D。；van der Hoeven，J.，《使用普通FFT素数实现更快的整数乘法》，数学。公司。，88, 315, 501-514 (2019) ·Zbl 1394.68182号
[17] 哈维，D。；van der Hoeven，J.，使用短格向量的快速整数乘法，（ANTS XIII第十三届算法数论研讨会论文集。ANTS XIIII第十三届计算数论研讨会文献集，开放丛书，第2卷（2019年），数学科学出版社），293-310·Zbl 07721131号
[18] 哈维，D。；范德霍芬，J。；Lecerf，G.，《更快的整数乘法》，J.Complexity，36，1-30（2016）·Zbl 1350.68145号
[19] 哈维，D。；van der Hoeven，J。；Lecerf，G.，有限域上的快速多项式乘法，J.ACM，63，6（2017），第52条·Zbl 1426.68310号
[20] van der Hoeven，J.，放松，但不要太懒，J.符号计算。，34, 6, 479-542 (2002) ·Zbl 1011.68189号
[21] van der Hoeven，J.，《截断傅里叶变换及其应用》（Gutierrez，J.），《2004年符号与代数计算国际研讨会论文集》，ISSAC’04（2004），ACM:美国纽约州纽约市ACM），290-296·Zbl 1064.65158号
[22] van der Hoeven，J.，（数字幂级数的快速合成（2008），巴黎南大学：巴黎南奥赛大学，法国），技术报告2008-09
[23] van der Hoeven，J.，《更快的中国剩余》（2016），CNRS&Ecole polytechnique，http://hal.archives-ouvertes.fr/hal-01403810
[24] van der Hoeven，J。；Lecerf，G.，《关于稀疏多项式和级数乘法的位复杂性》，J.符号计算。，50, 227-254 (2013) ·Zbl 1261.65017号
[25] van der Hoeven，J。；Lecerf，G.，《通过复杂根的模块化组合》（2017），CNRS&Ecole polytechnique，http://hal.archives-overtes.fr/hal-01455731
[26] van der Hoeven，J。；Lecerf，G.，多项式的合成模幂，（Blurr，M.，2017 ACM符号与代数计算国际研讨会论文集，ISSAC’17（2017），ACM:ACM纽约，纽约，美国），445-452·Zbl 1457.68331号
[27] van der Hoeven，J。；Lecerf，G.，《多项式系统求解的复杂性指数》（2018），https://hal.archives-ouvertes.fr/hal-01848572
[28] van der Hoeven，J。；Lecerf，G.，通过因子分解的模块组成，J.Complexity，48，36-68（2018）·兹比尔1430.12003
[29] van der Hoeven，J。；埃利桑那州斯科斯特。，高维多点评估，应用。代数工程通信计算。，24, 1, 37-52 (2013) ·Zbl 1280.68303号
[30] 黄小涵；Pan，V.Y.，快速矩形矩阵乘法及其应用，J.Complexity，14，2，257-299（1998）·Zbl 0919.65030号
[31] Johansson，F.，幂级数反演的快速算法，数学。公司。，84475-484（2015年）·Zbl 1312.68236号
[32] Kaltoffen，E。；Shoup，V.，有限域高代数扩张上的快速多项式因式分解，（1997年符号与代数计算国际研讨会论文集，ISSAC’97（1997），ACM:ACM纽约，纽约，美国），184-188·Zbl 0920.11082号
[33] Kedlaya，K.S。；Umans，C.，《任何特征的快速模块化组合》（FOCS’08：IEEE计算机科学基础会议（2008），IEEE计算机学会：IEEE Computer Society Washington，DC，USA），146-155
[34] Kedlaya，K.S。；Umans，C.，《快速多项式因式分解与模合成》，SIAM J.Compute。，40, 6, 1767-1802 (2011) ·Zbl 1333.11117号
[35] Lecerf，G.，《关于Lickteig-Roy子结式算法的复杂性》，J.符号计算。，92, 243-268 (2019) ·Zbl 1409.13051号
[36] Nüsken，M。；Ziegler，M.，《二元多项式的快速多点评估》，（Albers，S.；Radzik，T.，《算法——ESA 2004年第12届欧洲年会》，挪威卑尔根，2004年9月14-17日。算法——ESA 2004第12届欧洲年会，2004年9月14日至17日，挪威卑尔根，Lect。票据计算。《科学》，第3221卷（2004），施普林格-柏林-海德堡），544-555·Zbl 1111.68789号
[37] Panario，D。；Thomson，D.，特征有限域中的有效\（p）根计算，Des。密码。，50, 3, 351-358 (2009) ·Zbl 1196.12002号
[38] Papadimitriou，C.H.，《计算复杂性》（1994），Addison-Wesley·Zbl 0833.68049号
[39] 帕特森，M.S。；Stockmeyer，L.J.，《关于计算多项式所需的非标量乘法的数量》，SIAM J.Compute。，2, 1, 60-66 (1973) ·Zbl 0262.65033号
[40] Ritzmann，P.，复系数幂级数合成的快速数值算法，Theoret。计算。科学。，44, 1-16 (1986) ·兹比尔0632.68039
[41] Schönhage，A.，Schnelle Berechnung von Kettenbruchentwicklungen，信息学报。，1, 2, 139-144 (1971) ·Zbl 0223.68008号
[42] Schönhage，A。；格罗特菲尔德，A.F.W。；Vetter，E.，《快速算法：多带图灵机实现》（Fast Algorithms:A Multitape Turing Machine Implementation）（1994年），B.I.Wissenschaftsverlag:B.I.Wissenshaftsverllag Mannheim·Zbl 0853.68108号
[43] Shoup，V.，有限域上不可约多项式的新算法，数学。公司。，54, 189, 435-447 (1990) ·兹比尔0712.11077
[44] Shoup，V.，《在有限域中搜索本原根》，数学。公司。，58, 369-380 (1992) ·Zbl 0747.11060号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。