加布里埃拉·杰罗尼莫;吉列尔莫·马特拉;巴勃罗·索勒诺;阿里尔·韦斯贝因 稀疏系统的变形技术。 （英语） 兹比尔1167.14039 已找到。计算。数学。 9，第1期，1-50页（2009年）. 摘要：我们展示了一种求解零维稀疏系统的概率符号算法。我们的算法结合了符号同伦过程，基于仿射变种的某种态射的平面变形，以及Huber和Sturmfels的多面体变形。我们算法的复杂度在输入系统的组合结构的大小上是立方的。该尺寸主要由输入多项式的牛顿多面体的基数和混合体积以及与所考虑变形相关的混合体积的算术模拟表示。 引用于1审查引用于24文件 MSC公司： 2005年第14季度 代数曲线的计算方面 52B20型 凸几何中的格多面体（包括与交换代数和代数几何的关系） 68瓦30 符号计算和代数计算 2005年12月 场论和多项式的计算方面（MSC2010） 13层25 形式幂级数环 2014年第20季度 代数几何的有效性、复杂性和计算方面 68瓦40 算法分析 软件：克罗内克 PDF格式BibTeX公司 XML格式引用 \textit{G.Jeronimo}等人，发现。计算。数学。9，第1号，1-50（2009；Zbl 1167.14039） 全文： 内政部 arXiv公司 参考文献： [1] E.L.Allgower，K.Georg，《数值延拓方法：导论》。斯普林格爵士。计算。数学。，第13卷（Springer，纽约，1990年）·Zbl 0717.65030号 [2] M.E.Alonso、E.Becker、M.-F.Roy、T.Wörmann，《零维系统的零、重数和幂等元》，收录于《代数几何算法与应用》，MEGA’94会议录。掠夺。数学。，第143卷（Birkhäuser，波士顿，1996年），第1-15页·Zbl 0879.14033号 [3] J.L.Balcázar，J.Díaz，J.Gabarró，《结构复杂性I.Monogr》。理论。计算。科学。EATCS系列。，第11卷（施普林格出版社，柏林，1988年）。 [4] W.Baur，V.Strassen，偏导数的复杂性，Theor。计算。科学。22, 317–330 (1983). ·Zbl 0498.68028号 ·doi:10.1016/0304-3975（83）90110-X [5] D.N.Bernstein，方程组的根数，Funct。分析。申请。9, 183–185 (1975). ·Zbl 0328.32001号 ·doi:10.1007/BF01075595 [6] D.Bini，V.Pan，多项式和矩阵计算。《理论计算机科学进展》（Birkhäuser，波士顿，1994年）·Zbl 0809.65012号 [7] L.Blum，F.Cucker，M.Shub，S.Smale，《复杂性与实际计算》（Springer，纽约，1998年）·Zbl 0872.68036号 [8] A.Bompadre，G.Matera，R.Wachenchauzer，A.Waissbein，《通过提升程序求解分支纤维的多项式方程》，理论。计算。科学。315(2–3), 335–369 (2004). ·兹比尔1060.65054 ·doi:10.1016/j.tcs.2004.01.015 [9] A.Bostan，G.Lecerf，E.Schost，《Tellegen的原理在实践中的应用》，《符号和代数计算国际研讨会论文集》（ISSAC’03），宾夕法尼亚州费城，2003年8月3日至6日，J.R.Sendra编辑（ACM出版社，纽约，2003），第37-44页·Zbl 1072.68649号 [10] A.Bostan，E.Schost，特殊点集上的多项式求值和插值，《复杂性杂志》21（4），420–446（2005）·Zbl 1101.68039号 ·doi:10.1016/j.jco.2004.09.009 [11] P.Bürgisser，M.Clausen，M.A.Shokrollahi，代数复杂性理论。格兰德伦数学。威斯。，第315卷（施普林格出版社，柏林，1997年）·兹比尔1087.68568 [12] A.Cafure，G.Matera，A.Waissbein，《有限域上双射多项式映射的反演》，《2006年信息理论研讨会论文集》，ITW2006，乌拉圭埃斯特角，2006年3月13-17日，G.Seroussi，A.Viola编辑（IEEE信息理论学会，纽约，2006），第27-31页。 [13] D.Castro，M.Giusti，J.Heintz，G.Matera，L.M.Pardo，《多项式方程求解的困难》，Found。计算。数学。3(4), 347–420 (2003). ·Zbl 1049.68070号 ·doi:10.1007/s10208-002-0065-7 [14] D.Cox，J.Little，D.O'Shea，《使用代数几何》。毕业生。数学课文。，第185卷（Springer，纽约，1998年）。 [15] J.-P.Dedieu，稀疏多项式系统的条件数分析，载于《计算数学基础》，里约热内卢，1997年，F.Cucker，M.Shub编辑（Springer，柏林，1997年），第267-276页。 [16] C.Durvye，G.Lecerf，《克朗克多项式系统解算器从无到有的简明证明》，《实验数学》。（2006年，出版）。doi:10.1016/j.expmath.2007.07.001·Zbl 1134.14317号 [17] I.Z.Emiris，J.Canny，《稀疏结果和混合体积的高效增量算法》，J.Symb。计算。2117-149页（1995年）·Zbl 0843.68036号 ·doi:10.1006/jsco.1995.1041 [18] G.Ewald，组合凸性和代数几何。毕业生。数学课文。，第168卷（Springer，纽约，1996年）·Zbl 0869.52001 [19] I.M.Gelfand、M.M.Kapranov、A.V.Zelevinsky，《判别、结果和多维决定因素》（Birkhäuser，波士顿，1994年）·Zbl 0827.14036号 [20] M.Giusti，K.Hägele，J.Heintz，J.E.Morais，J.L.Montaña，L.M.Pardo，丢番图近似的下限，J.Pure Appl。代数117–118、277–317（1997）·Zbl 0871.68101号 ·doi:10.1016/S0022-4049（97）00015-7 [21] M.Giusti，J.Heintz，J.E.Morais，J.Morgenstern，L.M.Pardo，几何消元理论中的直线程序，J.Pure Appl。《代数》124、101–146（1998）·Zbl 0944.12004号 ·doi:10.1016/S0022-4049（96）00099-0 [22] M.Giusti，G.Lecerf，B.Salvy，多项式系统求解的无Gröbner替代方法，J.Complex。17(1), 154–211 (2001). ·Zbl 1003.12005年 ·doi:10.1006/jcom.2000.0571 [23] J.Heintz，《关于多项式和双线性映射的计算复杂性》，载于第五届应用代数、代数算法和纠错码国际研讨会论文集，AAECC-5，西班牙梅诺卡，1987年6月15日至19日，L.Huguet，A.Poli编辑。计算机课堂讲稿。科学。，第356卷（施普林格出版社，柏林，1989年），第269-300页。 [24] J.Heintz、G.Jeronimo、J.Sabia、P.Solernó，交集理论和变形算法。《多元同质案例》，《手稿》，布宜诺斯艾利斯大学，2002年。 [25] J.Heintz，T.Krick，S.Puddu，J.Sabia，A.Waissbein，高效多项式方程求解的变形技术，J.Complex。16(1), 70–109 (2000). ·Zbl 1041.65044号 ·doi:10.1006/jcom.1999.0529 [26] B.Huber，B.Sturmfels，求解稀疏多项式系统的多面体方法，数学。计算。64(212), 1541–1555 (1995). ·Zbl 0849.65030号 ·doi:10.1090/S0025-5718-1995-1297471-4 [27] B.Huber，B.Sturmfels，仿射空间中的Bernstein定理，离散计算。几何。17, 137–141 (1997). ·Zbl 0891.65055号 ·doi:10.1007/BF02770870 [28] G.Jeronimo，T.Krick，J.Sabia，M.Sombra，Chow形式的计算复杂性，Found。计算。数学。4（1），41-117（2004）·Zbl 1058.14075号 ·doi:10.1007/s10208-002-0078-2 [29] A.G.Khovanski，牛顿多面体和完全交点的属，Funct。分析。申请。12, 38–46 (1978). ·Zbl 0406.14035号 [30] A.G.Kushnirenko，牛顿多面体和Bézout定理，Funct。分析。申请。10, 233–235 (1976). ·Zbl 0341.32001号 ·doi:10.1007/BF01075534文件 [31] G.Lecerf，具有多重性系统的二次牛顿迭代，Found。计算。数学。2(3), 247–293 (2002). ·Zbl 1030.65050号 ·doi:10.1007/s102080010026 [32] G.Lecerf，通过提升纤维计算代数闭集的等维分解，J.Complex。19（4），564–596（2003年）·Zbl 1230.68222号 ·doi:10.1016/S0885-064X（03）00031-1 [33] 李政英，李晓霞，在混合体积计算中发现混合单元，发现。计算。数学。1(2), 161–181 (2001). ·Zbl 1012.65019号 ·doi:10.1007/s102080010005 [34] 李东云，用同伦延拓方法求解多元多项式系统，数值学报。6, 399–436 (1997). ·Zbl 0886.65054号 ·doi:10.1017/S0962492900002749 [35] T.Y.Li，X.Wang，（mathbb{C}）n中的BKK根计数，数学。计算。65(216), 1477–1484 (1996). ·Zbl 0855.65053号 ·doi:10.1090/S0025-5718-96-00778-8 [36] G.Malajovich，J.M.Rojas，稀疏多项式系统条件数的高概率分析，Theor。计算。科学。315(2–3), 525–555 (2004). ·Zbl 1067.65053号 ·doi:10.1016/j.tcs.2004.01.006 [37] A.Morgan，《利用工程和科学问题的连续性解决多项式系统》（Prentice-Hall，Englewood Cliffs，1987）·Zbl 0733.65031号 [38] A.Morgan，A.Sommese，C.Wampler，《Bézout数的通用乘积分解公式》，SIAM J.Numer。分析。32, 1308–1325 (1995). ·兹比尔0854.65038 ·doi:10.1137/0732061 [39] M.Oka，非退化完全交叉奇点（赫尔曼，巴黎，1997）·Zbl 0930.14034号 [40] L.M.Pardo，《应用代数、代数算法和纠错码》中复杂度下限和上限如何满足消去理论，《AAECC-11学报》，G.Cohen，M.Giusti，T.Mora编辑。计算机课堂讲稿。科学。，第948卷（施普林格出版社，柏林，1995年），第33-69页·Zbl 0899.68054号 [41] L.M.Pardo，J.San Martín，求解广义Pham系统的变形技术，理论。计算。科学。315（2-3）、593–625（2004年）·Zbl 1053.65038号 ·doi:10.1016/j.tcs.2004.01.009 [42] P.Pedersen，B.Sturmfels，结果和Chow形式的乘积公式，数学。Z.214（3），377-396（1993）·Zbl 0792.13006号 ·doi:10.1007/BF202572411 [43] P.Philippon、M.Sombra、Hauteur normalsée e des variétés toriques projectives、J.Inst.Math。Jussieu（2003年，出版）。doi:10.1017/S1474748007000138，35页。，eprint数学。NT/0406476。 [44] P.Philippon、M.Sombra、Géométrie Diophantiene et variétés toriques、C.R.Math。阿卡德。科学。巴黎340，507–512（2005）·Zbl 1110.14024号 [45] P.Philippon，M.Sombra，《Kušnirenko–Bernštein估算的精化》，手稿，2006年。arXiv:0709.3306。 [46] J.M.Rojas，更快地求解退化稀疏多项式系统，J.符号计算。28(1/2), 155–186 (1999). ·Zbl 0943.65060号 ·doi:10.1006/jsco.1998.0271 [47] J.M.罗哈斯（J.M.Rojas），《四环上的代数几何和可驾驭性的前沿》，载于根特大学希尔伯特第十问题及相关学科会议记录，1999年11月1日至5日，由J.Denef等人（Contemp）编辑。数学。，第270卷（AMS，普罗维登斯，2000），第275–321页 [48] J.M.Rojas，《为什么多面体在非线性方程求解中很重要》，《代数几何和几何建模会议论文集》，立陶宛维尔纽斯，2002年7月29日至8月2日。康斯坦普。数学。，第334卷（AMS，普罗维登斯，2003），第293–320页·2007年3月1073日Zbl [49] J.M.Rojas，X.Wang，通过点牛顿多边形计算多项式系统的仿射根，J.Complex。12(2), 116–133 (1996). ·Zbl 0885.12007号 ·文件编号：10.1006/jcom.1996.0009 [50] J.Sabia，P.Solernó，Nullstellensatz中完全交点和度数的迹线边界，应用。代数工程通讯。计算。6(6), 353–376 (1996). ·Zbl 0844.14018号 ·doi:10.1007/BF01198015 [51] J.E.Savage，计算模型。探索计算的力量（Addison-Wesley，Reading，1998）·Zbl 0890.68059号 [52] E.Schost，计算参数几何分辨率，应用。代数工程通讯。计算。13449–393（2003年）·Zbl 1058.68123号 ·doi:10.1007/s00200-002-0109-x [53] A.Sommese，C.Wampler，《工程与科学中多项式系统的数值解》（世界科学，新加坡，2005年）·Zbl 1091.65049号 [54] A.Storjohann，矩阵规范形式的算法，博士论文，ETH，瑞士苏黎世，2000年。 [55] V.Strassen，代数复杂性理论，载于J.van Leeuwen编辑的《理论计算机科学手册》（Elsevier，Amsterdam，1990），第634–671页·Zbl 0900.68247号 [56] J.Verschelde，K.Gatermann，R.Cools，应用于多项式系统求解的动态提升混合体积计算，离散计算。几何。16(1), 69–112 (1996). ·Zbl 0854.68111号 ·doi:10.1007/BF02711134 [57] J.Verschelde，P.Verlinden，R.Cools，利用牛顿多面体求解稀疏多项式系统的同伦，SIAM J.Numer。分析。31(3), 915–930 (1994). ·Zbl 0809.65048号 ·doi:10.1137/0731049 [58] J.von zur Gathern，《并行算术计算：一项调查》，载于第十二届计算机科学数学基础国际研讨会论文集，捷克布拉迪斯拉发，1986年8月25日至29日，J.Gruska，B.Rovan，J.Wiedermann编辑。计算机课堂讲稿。科学。，第233卷（施普林格出版社，柏林，1986年），第93-112页·Zbl 0616.68037号 [59] J.von zur Gathern，J.Gerhard，《现代计算机代数》（剑桥大学出版社，剑桥，1999年）·Zbl 0936.11069号 [60] R.J.Walker，《代数曲线》（1950年，纽约多佛）·Zbl 0039.37701号 [61] R.Zippel，有效多项式计算。Kluwer国际服务。工程计算。科学。，第241卷（Kluwer，Dordrecht，1993）·Zbl 0794.11048号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。