×
陈天然;李宗林;李天恩

HOM4ps中的混合单元计算。 （英语） Zbl 1365.13047号

J.塞姆。计算。 79，第3部分，516-534（2017）.
在数值代数几何中，多项式系统是通过沿着同伦追踪解来求解的，即从易于求解的起始系统到所需的系统。要限制要跟踪的路径数，B.胡贝尔和B.斯图尔姆费尔斯[数学计算64，第212号，1541–1555（1995年；Zbl 0849.65030号)]定义了多面体同伦，利用了科学和工程中许多系统的稀疏性。其方法的一个主要瓶颈是枚举特定Minkowski和的所谓混合单元。本文讨论了对混合单元计数的许多改进。最重要的进步可能是将问题重新表述为可以有效并行化的图遍历。这大大改善了多面体同伦的瓶颈步骤。本文还讨论了实现的各种技术细节，如内存管理。这些改进已由汽车公司在其软件Hom4PS版本3中实现。
审核人：托马斯·卡勒（马格德堡）

引用于三文件

理学硕士：

第13页第15页 求解多项式系统；结果
68宽10 计算机科学中的并行算法
52B55号 与凸性相关的计算方面
2005年5月 并行数值计算
65年20月 数值算法的复杂性和性能
05C85号 图形算法（图论方面）
1999年第14季度 代数几何中的计算方面

关键词：

混合体积;混合电池;多面体同构;多项式系统求解;并行计算

引文：

Zbl 0849.65030号

软件：

PoSSo公司;涡流计算;贝尔蒂尼;二项式.m2;纳4平方米;霍姆4PS-3;石溪;主页;alpha认证;菲律宾比索;DEMiC公司;HOM4PS（主页4PS）;PHC包;CUDA公司;混合音量;数字代数几何
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，J.Symb。计算。79，第3部分，516-534（2017年；兹bl 1365.13047）
全文： 内政部

参考文献：

[1] 亚伯拉罕·R·H。；Robbin，J.W.，《横向映射和流》（1967），本杰明·Zbl 0171.44404号
[2] Albouy，A。；Kaloshin，V.，平面上五个物体中心构型的有限性，《数学年鉴》。，176, 1, 535-588 (2012) ·Zbl 1362.70014号
[3] Allgower，E。；Georg，K.，《数值连续方法导论》，第45卷（2003），工业和应用数学学会·Zbl 1036.65047号
[4] 阿塔迪，G。；Traverso，C.，《多项式系统求解的PoSSo库》（AIHENP95（1995）的Proc.）
[5] 贝茨，D.J。；Hauenstein，J.D。；Sommese，A.J.，高效路径跟踪方法，数值。算法，58，4，451-459（2011年4月）·Zbl 1230.65059号
[6] 贝茨，D.J。；Hauenstein，J.D。；Sommese，A.J。；Wampler，C.W.，自适应多精度路径跟踪，SIAM J.Numer。分析。，46, 2, 722-746 (2008) ·Zbl 1162.65026号
[7] 贝茨，D.J。；Hauenstein，J.D。；Sommese，A.J。；Wampler，C.W.，与Bertini一起数值求解多项式系统（2013），工业与应用数学学会·Zbl 1295.65057号
[8] 贝茨，D.J。；Hauenstein，J.D。；Sommese，A.J。；Wampler，C.W.，路径跟踪的步长控制，（经典和数值代数几何的相互作用。经典和数值代数学的相互作用，上下文数学，第496卷（2009年），Amer。数学。Soc.：美国。数学。Soc.Providence，RI），21-31·Zbl 1181.65071号
[9] 贝茨，D.J。；Sommese，A.J。；Wampler，C.W.，多精度路径跟踪（2006），预打印·Zbl 1162.65026号
[10] Bernshtein，D.N.，方程组的根数，Funct。分析。申请。，9, 3, 183-185 (1975) ·Zbl 0328.32001号
[11] 比约克，G。；Fröberg，R.，《计算非齐次代数方程组解的更快方法，以及循环n根的应用》，J.Symb。计算。，12, 3, 329-336 (1991) ·Zbl 0751.12001号
[12] Bozóki，S。；Lee，T.-L。；Rónyai，L.，《七个相互接触的无限圆柱体》，计算。地理。，4887-93（2015年2月）·Zbl 1310.65022号
[13] Chen，T。；Lee，T.-L。；Li，T.-Y.，《并行混合体积计算》，台湾。数学杂志。，18, 1, 93-114 (2014) ·Zbl 1357.52009年
[14] Chen，T。；Li，T.-Y.，同伦延拓方法的球面投影路径跟踪，Commun。信息系统。，12, 3, 195-220 (2012) ·Zbl 1308.65078号
[15] Chen，T。；Li，T.-Y.，二项式方程组的解，《数学年鉴》。西尔。，28, 7-34 (2014) ·Zbl 1439.13079号
[16] Drexler，F.-J.，Eine methode zur Berechnung sämtlicher Lösungen von Polynomgleichungssystemen，Numer。数学。，29，1，45-58（1977年3月）·Zbl 0352.65023号
[17] 埃米里斯，I.Z。；Canny，J.F.，稀疏结果和混合体积的高效增量算法，J.Symb。计算。，20, 2, 117-149 (1995) ·Zbl 0843.68036号
[18] 高，T。；Li，T.-Y.，通过线性规划进行混合体积计算，台湾。数学杂志。，4、4、599-619（2000年1月）·Zbl 0997.65081号
[19] 高，T。；Li，T.-Y.，半混合系统的混合体积计算，离散计算。地理。，29、2、257-277（2003年1月）·Zbl 1052.68131号
[20] 高，T。；Li，T.-Y。；Wang，X.，通过稳定混合体积求（C^n）中多项式系统的所有孤立零点，J.Symb。计算。，28,1-2187-212（1999年7月）·Zbl 0944.65055号
[21] 高，T。；Li，T.-Y。；Wu，M.，《846:MixedVol:混合体积计算软件包》，ACM-Trans。数学。软质。，31, 4, 555-560 (2005) ·Zbl 1136.65320号
[22] 加西亚，C.B。；Zangwill，W.I.，《寻找多项式系统和其他方程组的所有解》，数学。程序。，16、1、159-176（1979年12月）·Zbl 0409.65026号
[23] Gunji，T。；Kim，S。；小岛，M。；武田。；藤泽，K。；Mizutani，T.，PHoM-多项式系统的多面体同伦延拓方法，计算，73，1，57-77（2004）·Zbl 1061.65041号
[24] M.汉普顿。；Jensen，A.，五体问题中空间中心配置的有限性，Celest。机械。动态。阿童木。，109, 4, 321-332 (2011) ·Zbl 1270.70038号
[25] M.汉普顿。；Moeckel，R.，四涡问题的定常构型的有限性，Trans。美国数学。《社会学杂志》，361317-1332（2009）·Zbl 1161.76011号
[26] Hauenstein，J.D。；海伍德，I。；Liddell，A.C.，newton homopies的后验证明算法，（第39届符号和代数计算国际研讨会论文集。第39届符号和代数计算国际研讨会论文集，ISSAC’14（2014），ACM:ACM纽约，纽约，美国），248-255·兹比尔1325.65074
[27] Hauenstein，J.D。；Levandovskyy，V.，证明多项式指数方程平方系的解（2011年9月）
[28] Hauenstein，J.D。；Sottile，F.，《算法921:AlphaCertified:多项式系统的证明解决方案》，ACM Trans。数学。软质。，38、4、28:1-28:20（2012年8月）·Zbl 1365.65148号
[29] Herlihy，M。；Shavit，N.，《多处理器编程的艺术》（2012年6月），爱思唯尔出版社
[30] Huber，B。；Sturmfels，B.，求解稀疏多项式系统的多面体方法，数学。计算。，64, 212, 1541-1555 (1995) ·Zbl 0849.65030号
[31] Kahle，T.，二项式理想的分解，Ann.Inst.Stat.Math。，62, 4, 727-745 (2010) ·Zbl 1440.62394号
[32] Kuo，Y.C。；Li，T.-Y.，《确定包含多项式系统计算零点的解分量的维数》，J.Math。分析。申请。，338、2840-851（2008年2月）·Zbl 1133.65028号
[33] Lee，T.-L。；Li，T.-Y.，求解多项式系统中的混合体积计算，Contemp。数学。，556, 97-112 (2011) ·Zbl 1416.65145号
[34] Lee，T.-L。；Li，T.-Y。；Tsai，C.-H.，HOM4ps-2.0：用多面体同伦延拓法求解多项式系统的软件包，《计算》，83，2，109-133（2008）·Zbl 1167.65366号
[35] Lee，T.-L。；桑托普雷特，M.，等质量五体问题的中心构型，《天体》。机械。动态。阿童木。，104, 4, 369-381 (2009) ·Zbl 1204.70013号
[37] Leykin，A.，《数值代数几何》，J.Softw。代数几何。，3, 1, 5-10 (2011) ·Zbl 1311.14057号
[38] Li，T.-Y.，用同伦延拓方法求解多项式系统的数值解，（Ciarlet，P.G.，Handb.Numer.Anal.，vol.11（2003），North-Holland），209-304·兹比尔1059.65046
[39] Li，T.-Y。；Li，X.，《在混合体积计算中寻找混合单元》，Found。计算。数学。，161-181年1月1日（2001年1月）·Zbl 1012.65019号
[40] Li，T.-Y。；Sauer，T。；Yorke，J.A.，《骗子同伦：求解多项式方程组的有效程序》，SIAM J.Numer。分析。，1241-1251 (1989) ·Zbl 0689.65032号
[41] Li，T.-Y。；Tsai，C.-H.，HOM4ps-2.0para:用于求解多项式系统的HOM4ps-2.0并行化，并行计算。，35, 4, 226-238 (2009)
[42] Li，T.-Y。；Wang，X.，（C^n）中的BKK根计数，数学。计算。阿默尔。数学。《社会学杂志》，65，216，1477-1484（1996）·Zbl 0855.65053号
[43] Mehta，D.，《晶格与连续介质：Landau规范固定和’t Hooft-Polyakov单极子》（2009），《Uni》。阿德莱德博士论文，澳大利亚数字论文项目
[44] Mehta，D.，通过数值多项式同伦延拓法求势能景观的所有驻点，Phys。E版，84，第025702条，第（2011）页
[45] Mehta，D.，数值多项式同伦延拓方法与弦真空，高级高能物理。，2011, 263937 (2011) ·Zbl 1234.83028号
[46] 梅塔，D。；他，Y.-H。；Hauenstein，J.D.，《数值代数几何：弦和规范理论的新视角》，J.高能物理学。，1207，第018条pp.（2012）
[47] 梅塔，D。；Nguyen，H。；Turitsyn，K.，定位所有潮流解的数值多项式同伦延拓法（2014），预印本
[48] 梅塔，D。；斯特恩贝克，A。；冯·斯梅卡尔，L。；Williams，A.G.，《Lattice Landau规范和代数几何》，PoS，QCD-TNT09，第025页，（2009）
[49] Minkowski，H.，《konvexen Korper理论》，《insbesondere Begrundung ihres Oberflachenbegriff》，Gesammelte Abh，赫尔曼·明科斯基，2131-229（1911）
[50] Mizutani，T。；Takeda，A.，DEMiCs:通过动态枚举所有混合单元计算混合体积的软件包，（Stillman，M.；Verschelde，J.；Takayama，N.，《代数几何软件》，《代数几何学软件》，IMA卷《数学应用》，第148卷（2008年1月），Springer），59-79·Zbl 1148.68580号
[51] Mizutani，T。；武田。；Kojima，M.，所有混合细胞的动态枚举，离散计算。地理。，37:3351-367（2007年3月）·Zbl 1113.65055号
[52] Morgan，A.P.，多项式系统避免无穷大解的变换，应用。数学。计算。，18, 1, 77-86 (1986) ·Zbl 0597.65045号
[53] Morgan，A.P.，《利用工程和科学问题的延拓求解多项式系统》，课堂。申请。数学。，第57卷（2009），工业和应用数学学会·Zbl 1170.65316号
[54] 摩根会计师事务所。；Sommese，A.J.，系数参数多项式延拓，应用。数学。计算。，29, 2, 123-160 (1989) ·Zbl 0664.65049号
[55] 摩根会计师事务所。；Sommese，A.J。；Wampler，C.W.，计算非线性分析系统的奇异解，数值。数学。，581669-684（1990年12月）·Zbl 0721.65027号
[56] 摩根会计师事务所。；Sommese，A.J。；Wampler，C.W.，计算非线性分析系统奇异解的幂级数方法，数值。数学。，63、1、391-409（1992年12月）·兹伯利0756.65079
[57] 摩根会计师事务所。；Sommese，A.J。；Watson，L.T.，使用HOMPACK找到多项式系统的所有孤立解，ACM Trans。数学。软质。，第15、2、93-122页（1989年6月）·Zbl 0900.65151号
[59] Skiena，S.S.，《算法设计手册》（2009年4月），Springer Science&Business Media
[60] Sommese，A.J。；Wampler，C.W.，数值代数几何，（《数值分析数学》，《数值分析数学》，Lect.Appl.Math.，第32卷（1996），AMS），749-763·Zbl 0856.65054号
[61] Sommese，A.J。；Wampler，C.W.，《工程与科学中多项式系统的数值解》（2005），世界科学出版社·Zbl 1091.65049号
[62] 武田。；小岛，M。；Fujisawa，K.，由多面体同源延拓方法产生的组合线性不等式系统的所有解的枚举，J.Oper。Soc.Jpn.公司。，45, 64-82 (2000) ·兹比尔1031.65074
[63] Verschelde，J.，Algorithm 795:PHCpack：多项式系统的一种通用解算器，通过同源延拓，ACM Trans。数学。软质。，25, 2, 251-276 (1999) ·Zbl 0961.65047号
[64] Verschelde，J。；Gatermann，K。；Cools，R.，应用于多项式系统求解的动态提升混合体积计算，离散计算。地理。，16、1、69-112（1996年1月）·Zbl 0854.68111号
[65] von Helmholtz，H.，Uber Integrale der hydrodynamischen Gleichungen welche den Wirbelbeweggungen entsprechen，Crelle的J.Math。，55, 25-55 (1858)
[66] Watson，L.T。；比卢普斯，南卡罗来纳州。；Morgan，A.P.，《算法652:HOMPACK:全局收敛同伦算法的一组代码》，ACM-Trans。数学。软质。，13, 3, 281-310 (1987) ·Zbl 0626.65049号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。