德利奥，M。;Dratman，E。;G.马特拉。 多项式系统求解中的数值与符号同伦算法：案例研究。 （英语） Zbl 1098.65052号 J.复杂性 21，第4期，第502-531页（2005年）. 考虑了一类多项式方程组，它是在分析某些离散化的半线性抛物型微分方程的平稳解时产生的。只有积极的解决方案才有意义。提出了一种求未知数下所有正解的多项式复杂度的数值同伦算法。结果表明，任何通用符号方法都可能具有未知数成指数的复杂性。审核人：沃尔特·祖莱纳（林茨） 引用于5文件 MSC公司： 65H20个 全局方法，包括非线性方程数值解的同伦方法 68瓦30 符号计算和代数计算 65年第68季度 算法和问题复杂性分析 65H10型 方程组解的数值计算 2005年12月 场论和多项式的计算方面（MSC2010） 26立方厘米 实多项式：零点的位置 65年20月 数值算法的复杂性和性能 关键词：多项式系统;同伦方法;符号方法;复杂性;半线性抛物问题;积极的解决方案 软件：克罗内克 PDF格式BibTeX公司 XML格式引用 \textit{M.De Leo}等人，J.Complexity 21，No.4，502--531（2005；Zbl 1098.65052） 全文： 内政部 参考文献： [1] E.Allgower，K.Georg，《数值延拓方法：导论》，《计算数学中的Springer级数》，第13卷，Springer，纽约，1990年。；E.Allgower，K.Georg，《数值延拓方法：导论》，《计算数学中的Springer系列》，第13卷，Springer，纽约，1990年·Zbl 0717.65030号 [2] 班德尔，C。；Brunner，H.，《扩散方程中的放大调查》，J.Compute。申请。数学。，97, 1-2, 3-22 (1998) ·Zbl 0932.65098号 [3] 拜耳，D。；芒福德，D.，代数几何中可以计算什么？，（Eisenbud，D.；Robbiano，L.，《计算代数几何和交换代数》，数学研讨会，第34卷（1993），剑桥大学出版社：剑桥大学出版社），1-49·Zbl 0846.13017号 [4] 比尼，D。；Pan，V.，多项式和矩阵计算，理论计算机科学进展（1994），Birkhäuser：Birkhäuser波士顿·Zbl 0809.65012号 [5] 布鲁姆，L。；Cucker，F。；舒布，M。；Smale，S.，《复杂性与实际计算》（1998），施普林格出版社：施普林格纽约，柏林，海德堡 [6] J.Bochnack、M.Coste、M.-F.Roy，《实代数几何》，Ergebnisse der Mathematik und ihrer Grenzgebiete，Folge 3，第36卷，Springer，柏林，1998年。；J.Bochnack、M.Coste、M.-F.Roy，《实代数几何》，《Ergebnisse der Mathematik und ihrer Grenzgebiete》，《Folge 3》，第36卷，施普林格出版社，柏林，1998年·Zbl 0912.14023号 [7] Bompadre，A。；马特拉，G。；Wachenchauzer，R。；Waissbein，A.，通过提升程序求解分支纤维的多项式方程，Theoret。计算。科学。，315, 2-3, 335-369 (2004) ·兹比尔1060.65054 [8] 邦德，J.F。；Rossi，J.，《放大与虚假稳定解》，Proc。阿默尔。数学。《社会学杂志》，129，1，139-144（2001）·Zbl 0970.35003号 [9] 巴德，C。；黄，W。；Russell，R.，《爆破问题的移动网格方法》，SIAM J.Sci。计算。，17, 2, 305-327 (1996) ·Zbl 0860.35050号 [10] P.Bürgisser，M.Clausen，M.Shokrollahi，代数复杂性理论，Grundlehren der mathematischen Wissenschaften。第315卷，施普林格出版社，柏林，1997年。；P.Bürgisser，M.Clausen，M.Shokrollahi，代数复杂性理论，Grundlehren der mathematischen Wissenschaften。第315卷，施普林格出版社，柏林，1997年·Zbl 1087.68568号 [11] 卡斯特罗，D。；Giusti，M。；海因茨，J。；马特拉，G。；Pardo，L.，多项式方程求解的困难，发现。计算。数学。，3, 4, 347-420 (2003) ·Zbl 1049.68070号 [12] 墨西哥Chipot。；菲拉，M。；Quittner，P.，具有非线性边界条件的半线性抛物方程的定态解、爆破和收敛到定态解，《数学学报》。科曼尼亚大学。，60, 1, 35-103 (1991) ·Zbl 0743.35038号 [13] A.Chistov，D.Grigoriev，代数方程的次指数时间求解系统。一、 II，LOMI预印本E-9-83，E-10-83，斯特克罗夫研究所，列宁格勒，1983年。；A.Chistov，D.Grigoriev，代数方程的次指数时间求解系统。一、 II，LOMI预印本E-9-83，E-10-83，列宁格勒Steklov研究所，1983年。 [14] D.Cox，J.Little，D.O'Shea，《使用代数几何》，《数学研究生教材》，第185卷，施普林格出版社，纽约，1998年。；D.Cox，J.Little，D.O'Shea，《使用代数几何》，《数学研究生教材》，第185卷，施普林格出版社，纽约，1998年·Zbl 0920.13026号 [15] E.Dratman，G.Matera，《计算特定多项式方程系统实解的变形技术》，载于：阿根廷国家信息局会议论文集，2002年9月，阿根廷圣菲，2002年，Anales JAIIO，第31卷，SADIO，布宜诺斯艾利斯，2002，第42-52页。；E.Dratman，G.Matera，《计算特定多项式方程系统实解的变形技术》，载于：阿根廷国家信息局会议论文集，2002年9月，阿根廷圣菲，2002年，Anales JAIIO，第31卷，SADIO，布宜诺斯艾利斯，2002，第42-52页。 [16] D.Eisenbud，《交换代数与代数几何》，数学研究生教材，第150卷，Springer，纽约，1995年。；D.Eisenbud，《从代数几何的角度看交换代数》，《数学研究生论文》，第150卷，纽约施普林格，1995年·Zbl 0819.13001号 [17] 费雷拉，R。；Groisman，P。；Rossi，J.，带非线性边界条件的非线性问题的数值爆破，数学。模型方法应用。科学。，12, 4, 461-484 (2002) ·Zbl 1028.35082号 [18] Fulton，W.，交叉理论（1984），Springer:Springer Berlin，Heidelberg，New York·Zbl 0541.14005号 [19] J.von zur Gathern，《并行算术计算：一项调查》，载于：J.Gruska，B.Rovan，J.Wiedermann（编辑），第十二届计算机科学数学基础国际研讨会论文集，捷克布拉迪斯拉发，1986年8月25日至29日，《计算机科学讲义》，第233卷，柏林斯普林格，1986年，第93-112页。；J.von zur Gathern，《并行算术计算：一项调查》，载于：J.Gruska，B.Rovan，J.Wiedermann（编辑），第十二届计算机科学数学基础国际研讨会论文集，捷克布拉迪斯拉发，1986年8月25日至29日，《计算机科学讲义》，第233卷，柏林斯普林格，1986年，第93-112页·Zbl 0616.68037号 [20] 冯·祖尔·盖森，J。；Gerhard，J.，《现代计算机代数》（1999），剑桥大学出版社：剑桥大学出版社·Zbl 0936.11069号 [21] Giusti，M。；哈格尔，K。；海因茨，J。；Morais，J.E。；蒙塔尼亚，J.L。；Pardo，L.M.，丢番图近似的下限，J.Pure Appl。代数，117118，277-317（1997）·Zbl 0871.68101号 [22] Giusti，M。；Heintz，J.，《点的终止与维数d'une variétéalgébrique peut se faire en temps多项式》，（艾森巴德，d.；罗比亚诺，L.，《计算代数几何与交换代数》，《数学讨论会》，第34卷（1993），剑桥大学出版社），216-256·Zbl 0829.14029号 [23] Giusti，M。；海因茨，J。；Morais，J.E。；Morgenstern，J。；Pardo，L.M.，《几何消元理论中的直线程序》，J.Pure Appl。代数，124101-146（1998）·Zbl 0944.12004号 [24] Giusti，M。；海因茨，J。；Sabia，J.，关于有效Nullstellensätze的效率，计算。复杂性，356-95（1993）·Zbl 0824.68051号 [25] Giusti，M。；Lecerf，G。；Salvy，B.，多项式系统求解的无Gröbner替代方案，J.复杂性，17，1154-211（2001）·兹比尔1003.12005 [26] 戈麦斯，J.L。；V.马奎兹。；Wolanski，N.，通过边界具有非线性吸收的反应扩散问题正解的动力学行为，Rev.Un。Mat.Argentina，38，196-209（1993）·Zbl 0808.35062号 [27] Gonzalez-Vega，L。；罗利尔，F。；罗伊，M.-F。；Trujillo，G.，《真实解决方案的符号食谱》（Cohen，A.；etal.，《计算机代数中的一些塔帕》，《计算数学中的算法》，第4卷（1999），Springer:Springer-Blin），121-167·Zbl 0994.12003号 [28] Heintz，J.，代数闭域中的可定义性和快速量词消除，理论。计算。科学。，24, 3, 239-277 (1983) ·Zbl 0546.03017号 [29] 海因茨，J。；杰罗尼莫，G。；Sabia，J。；圣马汀，J。；Solernó，P.，《交集理论和变形算法——多均质情况》，手稿（2002年），布宜诺斯艾利斯大学 [30] 海因茨，J。；Krick，T。；普杜，S。；Sabia，J。；Waissbein，A.，高效多项式方程求解的变形技术，J.Complexity，16，1，70-109（2000）·Zbl 1041.65044号 [31] 海因茨，J。；马特拉，G。；帕尔多，L。；Wachenchauzer，R.，参数消除方法的内在复杂性，电子。J.SADIO，1，1，37-51（1998）·Zbl 0915.68073号 [32] 海因茨，J。；马特拉，G。；Waissbein，A.，关于几何消除过程的时空复杂性，应用。代数工程通信计算。，11, 4, 239-296 (2001) ·Zbl 0977.68101号 [33] 海因茨，J。；罗伊，M.-F。；Solernó，P.，《在指数简化的时间内，组合半代数的组合描述》，C.R.数学。阿卡德。科学。，313, 167-170 (1991) ·Zbl 0764.14024号 [34] D.Henry，半线性抛物方程的几何理论，数学讲义，第840卷，Springer，纽约，1981年。；D.Henry，半线性抛物方程的几何理论，数学讲义，第840卷，Springer，纽约，1981年·Zbl 0456.35001号 [35] Huber，B。；Sturmfels，B.，求解稀疏多项式系统的多面体方法，数学。公司。，64, 112, 1541-1555 (1995) ·Zbl 0849.65030号 [36] Huber，B。；Sturmfels，B.，仿射空间中的伯恩斯坦定理，离散计算。地理。，17, 137-141 (1997) ·Zbl 0891.65055号 [37] Levine，H.，爆破定理中临界指数的作用，SIAM Rev.，32，262-288（1990）·Zbl 0706.35008号 [38] Li，T.，用同伦延拓方法求解多元多项式系统，Acta Numer。，6, 399-436 (1997) ·Zbl 0886.65054号 [39] 李·T。；Wang，X.，用实同伦求解实多项式系统，数学。公司。，60, 202, 669-680 (1993) ·Zbl 0779.65033号 [40] Lickteig，T。；Roy，M.-F.，Sylvester-Habicht序列和快速Cauchy指数计算，J.符号计算。，31, 3, 315-341 (2001) ·Zbl 0976.65043号 [41] Matsumura，H.，交换环理论（1986），剑桥大学出版社：剑桥大学出版社·兹比尔0603.13001 [42] 米格诺特，M.，《计算机代数数学》（1992），施普林格出版社：纽约施普林格·Zbl 0741.11002号 [43] Moré，J.，《非线性模型问题集》（Allgower，E.；Georg，K.，非线性方程组的计算解（1990），美国数学学会：美国数学学会普罗维登斯，RI），723-762·Zbl 0695.65031号 [44] Morgan，A.，《利用延拓求解工程和科学问题的多项式系统》（1987），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0733.65031号 [45] 摩根。；Sommese，A。；Wampler，C.，Bézout数的通用乘积分解公式，SIAM J.Numer。分析。，32, 1308-1325 (1995) ·Zbl 0854.65038号 [46] 芒福德，D.，《代数几何I.复杂射影多样性》（1995），《数学经典》，《斯普林格：数学经典》（Springer Berlin）·Zbl 0821.14001号 [47] Nabben，R.，对角占优三对角矩阵逆矩阵的双边界，线性代数应用。，287, 1-3, 289-305 (1998) ·Zbl 0951.15005号 [48] 奥尔特加，J。；Rheinboldt，W.，多变量非线性方程的迭代解（1970），学术出版社：纽约学术出版社·Zbl 0241.65046号 [49] Pao，C.，非线性抛物方程和椭圆型方程（1992），阻燃出版社：阻燃出版社，纽约·Zbl 0777.35001号 [50] L.Pardo，通用消去法需要指数运行时间，见：A.Montes（Ed.），《计算机代数与应用》，《2000年EACA-2000会议录》，西班牙巴塞罗那，2000年9月，第25-51页。；L.Pardo，《普遍消除需要指数运行时间》，载于：A.Montes（Ed.），《计算机代数与应用》，《2000年EACA-2000会议录》，西班牙巴塞罗那，2000年9月，第25-51页。 [51] 帕尔多，L。；San Martín，J.，求解广义Pham系统的变形技术，Theoret。计算。科学。，315, 2-3, 593-625 (2004) ·Zbl 1053.65038号 [52] L.Perko，微分方程和动力系统，第二版，应用数学教材，第7卷，施普林格出版社，柏林，1996年。；L.Perko，微分方程和动力系统，第二版，应用数学教材，第7卷，施普林格出版社，柏林，1996年·Zbl 0854.34001号 [53] M.Rojas，《为什么多面体在非线性方程求解中很重要》，载于：代数几何和几何建模会议论文集，（立陶宛维尔纽斯，2002年7月29日至8月2日），《当代数学》，第334卷，美国数学学会，普罗维登斯，RI，2003年，第293-320页。；M.Rojas，《为什么多面体在非线性方程求解中很重要》，载于：代数几何和几何建模会议论文集，（立陶宛维尔纽斯，2002年7月29日至8月2日），《当代数学》，第334卷，美国数学学会，普罗维登斯，RI，2003年，第293-320页·2007年3月1073日Zbl [54] A.Samarskii，V.Galaktionov，S.Kurdyumov，A.Mikhailov，拟线性抛物方程中的爆破，德格鲁伊特实验数学，第19卷，德格鲁伊特，柏林，1995年。；A.Samarskii，V.Galaktionov，S.Kurdyumov，A.Mikhailov，拟线性抛物方程中的爆破，德格鲁伊特实验数学，第19卷，德格鲁伊特，柏林，1995年·Zbl 1020.35001号 [55] Savage，J.，《计算模型》。《探索计算的力量》（1998），Addison-Wesley：马萨诸塞州Addison-Whesley Reading·Zbl 0890.68059号 [56] Schost，E.，计算参数几何分辨率，应用。代数工程通信计算。，13, 349-393 (2003) ·Zbl 1058.68123号 [57] Shafarevich，I.，《投影空间中的基本代数几何变化》（1994），施普林格：施普林格柏林，海德堡，纽约·Zbl 0797.14001号 [58] Sommese，A。；Verschelde，J。；Wampler，C.，《多项式系统解集到不可约分量的数值分解》，SIAM J.Numer。分析。，38, 6, 2022-2046 (2001) ·Zbl 1002.65060号 [59] Verschelde，J。；Gatermann，K。；Cools，R.，应用于多项式系统求解的动态提升混合体积计算，离散计算。地理。，16, 1, 69-112 (1996) ·Zbl 0854.68111号 [60] Verschelde，J。；Verlinden，P。；Cools，R.，利用牛顿多面体求解稀疏多项式系统的同伦，SIAM J.Numer。分析。，31, 3, 915-930 (1994) ·Zbl 0809.65048号 [61] Zippel，R.，《有效多项式计算》，Kluwer国际工程与计算机科学系列（1993），Kluwer学术出版社：Kluwer学术出版社Dordrecht·兹伯利0794.11048 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。