皮埃尔·莱雷斯 刚性连续路径。I： 多项式系统的拟线性平均复杂度。 （英文） Zbl 07179136号 美国数学杂志。Soc公司。 33，第2期，487-526（2020年）. 小结：计算随机高斯多项式系统的近似根平均需要多少次运算？除了Smale的第17个问题，即多项式界是否可能之外，我们还证明了拟最优界\（\text{（输入大小）}^{1+o（1）}\）。这改进了先前已知的\（\text｛（输入大小）｝^｛\frac｛3｝｛2｝+o（1）｝\）边界。新算法依赖于沿刚性连续路径中心思想是考虑方程的刚性运动，而不是所有多项式系统线性空间中的线段。这会产生更好的平均条件数，并允许更大的步骤。我们证明，平均而言，我们可以用（O（n^4D^2）连续步长计算（n+1）齐次变量中至多（D）次方程的随机高斯多项式系统的一个近似根。这是对之前的界限的决定性改进，证明它并不比平均的（sqrt{2}^{min（n，D）}）连续步骤好。 引用于6文件 MSC公司： 65年20月 数值算法的复杂性和性能 65H10型 方程组解的数值计算 65H20个 全局方法，包括非线性方程数值解的同伦方法 软件：贝尔蒂尼;alpha认证 PDF格式BibTeX公司 XML格式引用 \textit{P.Lairez}，J.Am.数学。Soc.33，No.2，487--526（2020；Zbl 07179136） 全文： 内政部 arXiv公司 参考文献： [1] 迭戈·阿蒙塔诺；皮带\'{a} n个卡洛斯；B“{u} 乔治尔，Peter；Felipe Cucker；Michael Shub，多项式系统解的条件长度和复杂性，Found。计算。数学。，16, 6, 1401-1422 (2016) ·Zbl 1358.65031号 ·doi:10.1007/s10208-016-9309-9 [2] 迭戈·阿蒙塔诺；皮带\'{a} n个卡洛斯；B“{u} 乔治尔，Peter；Felipe Cucker；Michael Shub，特征对问题的稳定多项式时间算法，《欧洲数学杂志》。Soc.（JEMS），20，6，1375-1437（2018）·Zbl 1401.65034号 ·doi:10.4171/JEMS/789 [3] 丹尼尔·贝茨（Daniel J.Bates）。；乔纳森·霍恩斯坦（Jonathan D.Hauenstein）。；Andrew J.Sommese。；Wampler，Charles W.，《使用Bertini数值求解多项式系统》，《软件、环境和工具》25，xx+352页（2013），工业和应用数学学会（SIAM），宾夕法尼亚州费城·Zbl 1295.65057号 [4] 沃尔特·鲍尔（Walter Baur）；斯特拉森，沃尔克，偏导数的复杂性，理论。计算。科学。，22, 3, 317-330 (1983) ·Zbl 0498.68028号 ·doi:10.1016/0304-3975（83）90110-X [5] 皮带\'{a} n个，Carlos，求解多项式系统及其复杂性的延拓方法，Numer。数学。，117, 1, 89-113 (2011) ·Zbl 1216.65058号 ·doi:10.1007/s00211-010-0334-3 [6] 皮带{a} n个卡洛斯；Pardo，Luis Miguel，关于Smale的第17个问题：概率正解，Found。计算。数学。，8, 1, 1-43 (2008) ·Zbl 1153.65048号 ·doi:10.1007/s10208-005-0211-0 [7] 皮带\'{a} n个，C。；Pardo，L.M.，用数值方法求解有效多项式系统，J.不动点理论应用。，6, 1, 63-85 (2009) ·Zbl 1213.65075号 ·doi:10.1007/s11784-009-0113-x [8] 皮带\'{a} n个卡洛斯；Pardo，Luis Miguel，Smale的第17个问题：计算仿射和投影解的平均多项式时间，J.Amer。数学。Soc.，22，2，363-385（2009）·Zbl 1206.90173号 ·doi:10.1090/S0894-0347-08-00630-9 [9] 皮带\'{a} n个卡洛斯；Pardo，Luis Miguel，找到多项式系统近似零点的快速线性同伦，Found。计算。数学。，11, 1, 95-129 (2011) ·Zbl 1232.65075号 ·doi:10.1007/s10208-010-9078-9 [10] 皮带\'{a} n个卡洛斯；Michael Shub，Bezout定理的复杂性。七、。条件度量中的距离估计，已找到。计算。数学。，9, 2, 179-195 (2009) ·Zbl 1175.65058号 ·doi:10.1007/s10208-007-9018-5 [11] Blum、Lenore；嘘，迈克；Steve Smale，《实数的计算和复杂性理论：NP-完备性、递归函数和通用机器》，Bull。阿默尔。数学。Soc.（N.S.），21，1，1-46（1989）·Zbl 0681.03020号 ·doi:10.1090/S0273-0979-1989-15750-9 [12] Bostan Chyzak GiustiEtAl_2017 Alin Bostan，Fr’ed’eric Chyzack，Marc Giusti，Romain Lebreton，Gr’egoire Lecerf，Bruno Salvy，and’eric Schost，Algorithmes Efficaces En Calcul Formel。Fr‘ed’eric Chyzak（自出版），2017年第1版。 [13] Paul Breiding；Vannieuwenhoven，Nick，连接分解的条件数，SIAM J.矩阵分析。申请。，39, 1, 287-309 (2018) ·Zbl 1384.49035号 ·doi:10.1137/17M1142880 [14] 爱尔兰Briquel{e} n个\'{e} 电子; Cucker，费利佩；Pe公司\~{n} 一个哈维尔；Roshchina，Vera，有限精度下有界次多项式系统零点的快速计算，数学。公司。，83, 287, 1279-1317 (2014) ·Zbl 1291.65158号 ·doi:10.1090/S0025-5718-2013-02765-2 [15] B“{u} 乔治尔，Peter；Felipe Cucker，关于数学安·史蒂夫·斯梅尔（Steve Smale）提出的一个问题。(2), 174, 3, 1785-1836 (2011) ·Zbl 1248.65047号 ·doi:10.4007/年鉴2011.174.3.8 [16] B“{u} 乔治尔，Peter；Cucker，Felipe，Condition，Grundlehren der Mathematischen Wissenschaften[数学科学基本原理]349，xxxi+554 pp.（2013），斯普林格，海德堡·Zbl 1280.65041号 ·doi:10.1007/978-3-642-38896-5 [17] Burgisser-Lerario_2018 Peter B“urcisser和Antonio Lerario，概率舒伯特演算。 [18] Jean-Pierre Dedieu；格雷戈里奥·马拉乔维奇（Gregorio Malajovich）；Michael Shub，解多项式方程同伦方法的自适应步长选择，IMA J.Numer。分析。，33, 1, 1-29 (2013) ·Zbl 1266.65080号 ·doi:10.1093/imanum/drs007 [19] Dedieu、Jean-Pierre、Points fixes、z\'{e} 活性氧等一下“{e} 方法德牛顿，数学{e} 马戏&应用（柏林）【数学与应用】54，xii+196 pp.（2006），柏林斯普林格·Zbl 1095.65047号 [20] James W.Demmel，《数值分析问题困难的概率》，数学。公司。，50, 182, 449-480 (1988) ·Zbl 0657.65066号 ·doi:10.2307/2008617 [21] Edelman，Alan Stuart，随机矩阵的特征值和条件数，（无分页）pp.（1989），ProQuest LLC，密歇根州安阿伯 [22] 费德勒，赫伯特，曲率测量，Trans。阿默尔。数学。Soc.，93418-491（1959年）·Zbl 0089.38402号 ·doi:10.307/1993504 [23] 约阿希姆·冯·祖尔·盖森；杰哈德，J“{u} rgen公司《现代计算机代数》，xiv+753 pp.（1999），剑桥大学出版社，纽约·Zbl 0936.11069号 [24] 乔纳森·霍恩斯坦（Jonathan D.Hauenstein）。；Liddell，Alan C.，Jr.，牛顿同伦的认证预测-校正跟踪，J.符号计算。，74, 239-254 (2016) ·Zbl 1329.65110号 ·doi:10.1016/j.jsc.2015.07.001 [25] 乔纳森·霍恩斯坦（Jonathan D.Hauenstein）。；Sottile，Frank，算法921:alphaCertified:多项式系统的证明解决方案，ACM Trans。数学。《软件》，第38、4条，第28条，第20页（2012年）·Zbl 1365.65148号 ·数字对象标识代码：10.1145/2331130.2331136 [26] 克里斯托弗·希勒（Christopher J.Hillar）。；Lim，Lek-Heng，《大多数张量问题是NP-hard》，J.ACM，60，6，第45条，39页（2013）·Zbl 1281.68126号 ·doi:10.1145/2512329 [27] Householder，Alston S.，非对称矩阵的酉三角化，J.协会计算。机器。，5, 339-342 (1958) ·Zbl 0121.33802号 ·数字对象标识代码：10.1145/320941.320947 [28] 霍华德，拉尔夫，黎曼齐次空间中的运动学公式，Mem。阿默尔。数学。Soc.，106，509，vi+69 pp.（1993）·Zbl 0810.53057号 ·doi:10.1090/memo/0509 [29] Kahan_1966 William Kahan，对称三对角矩阵的精确特征值，斯坦福大学，1966年。 [30] Lairez，Pierre，在多项式平均时间内计算多项式系统近似根的确定性算法，Found。计算。数学。，17, 5, 1265-1292 (2017) ·兹比尔1458.65058 ·doi:10.1007/s10208-016-9319-7 [31] Malajovich，Gregorio，《广义牛顿算法：二次收敛、路径允许和误差分析》，Theoret。计算。科学。，133, 1, 65-84 (1994) ·Zbl 0811.65039号 ·doi:10.1016/0304-3975（94）00065-4 [32] Malajovich，Gregorio，稀疏多项式求解的复杂性：复曲面簇上的同伦和条件度量，发现。计算。数学。，19, 1, 1-53 (2019) ·Zbl 1408.65032号 ·doi:10.1007/s10208-018-9375-2 [33] Renegar，J.，《关于牛顿法逼近复多项式系统所有零点的效率》，《数学》。操作。研究，12，1，121-148（1987）·Zbl 0618.65038号 ·doi:10.1287/门12.1.121 [34] James Renegar，《关于多项式系统逼近零点的最坏情况算法复杂性》，SIAM J.Compute。，18, 2, 350-370 (1989) ·兹伯利0676.65045 ·doi:10.1137/0218024 [35] Shub，Michael，关于齐次多项式到零集的距离，复杂性，5，303-305（1989）·Zbl 0691.12006号 ·doi:10.1016/0885-064X（89）90027-7 [36] Michael Shub，关于Bezout定理和复杂性理论的一些评论。从拓扑到计算：Smalefest会议录，加州伯克利，1990，443-455（1993），纽约斯普林格·Zbl 0811.13021号 [37] Michael Shub，Bezout定理的复杂性。六、 条件（数量）公制测地线，已找到。计算。数学。，9, 2, 171-178 (2009) ·Zbl 1175.65060号 ·doi:10.1007/s10208-007-9017-6 [38] Michael Shub；Smale，Steve，《B的复杂性》{e} 佐特的定理。I.几何方面，J.Amer。数学。Soc.，6，2，459-501（1993）·Zbl 0821.65035号 ·doi:10.2307/2152805 [39] 舒布，M。；Smale，S.，Bezout定理的复杂性。二、。体积和概率。计算代数几何，尼斯，1992，Progr。数学。109，267-285（1993），Birkh“{a} 用户马萨诸塞州波士顿市·Zbl 0851.65031号 ·doi:10.1007/9781-4612-2752-6\_19 [40] Michael Shub；斯梅尔，史蒂夫，贝佐特定理的复杂性。三、 条件编号和包装，J.Complexity，9，1，4-14（1993）·Zbl 0846.65018号 ·doi:10.1006/jcom.1993.1002 [41] 舒布，M。；Smale，S.，Bezout定理的复杂性。V.多项式时间，理论。计算。科学。，133, 1, 141-164 (1994) ·Zbl 0846.65022号 ·doi:10.1016/0304-3975（94）90122-8 [42] Michael Shub；斯梅尔，史蒂夫，贝佐特定理的复杂性。四、 成功概率；扩展，SIAM J.Numer。分析。，33, 1, 128-148 (1996) ·Zbl 0843.65035号 ·数字对象标识代码：10.1137/0733008 [43] 斯梅尔，史蒂夫，关于分析算法的效率，布尔。阿默尔。数学。Soc.（N.S.），13，2，87-121（1985年）·兹比尔0592.65032 ·doi:10.1090/S0273-0979-1985-15391-1 [44] 史蒂夫·斯梅尔（Steve Smale）和牛顿（Newton）的方法根据一点数据进行估算。《学科融合：纯数学、应用数学和计算数学的新方向》，拉雷米，怀俄明州，1985年，185-196年（1986年），纽约斯普林格·Zbl 0613.65058号 [45] 斯梅尔，史蒂夫，下世纪的数学问题，数学。Intelligencer，20，2，7-15（1998）·Zbl 0947.01011号 ·doi:10.1007/BF03025291 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。