跳到主要内容
10.1145/2790282.2790294acm会议文章/章节视图摘要出版物页面伊萨克会议记录会议集合
研究论文

用双双和四双算法在图形处理器上加速多项式同伦延拓

出版:2015年7月10日出版历史

摘要

数值延拓方法跟踪同伦定义的解路径。我们考虑的系统是由多个复系数变量的多项式定义的。对于较大的尺寸和度数,数值条件恶化,硬件双精度通常不足以达到求解路径的终点。使用双双和四双算法,我们可以解决硬件双算法无法解决的较大问题,但计算成本较高。此成本开销可以通过图形处理单元(GPU)上的加速来补偿。我们描述了我们在基准多项式系统上的实现和计算结果报告。

工具书类

  1. D.Adrovic和J.Verschelde。计算代数曲面的Puiseux级数。编辑J.van der Hoeven和M.van Hoeij,第37届符号与代数计算国际研讨会论文集(ISSAC 2012),第20-27页。ACM,2012年。谷歌学者谷歌学者数字图书馆数字图书馆
  2. D.Adrovic和J.Verschelde。利用循环对称性的空间曲线多面体方法n个-根源问题。编辑V.P.Gerdt、W.Koepf、E.W.Mayr和E.V.Vorozhtsov,2013年中国社会科学院院刊,第10-29页,2013年。谷歌学者谷歌学者数字图书馆数字图书馆
  3. D.C.S.Allison、A.Chakraborty和L.T.Watson。超立方体上通过全局收敛算法求解多项式系统的粒度问题。超级计算杂志, 3(1):5--20, 1989.谷歌学者谷歌学者交叉引用交叉引用
  4. J.Backelin。平方倍数n给出无穷多个循环n根。报告,Matematiska Instituten 8,Stockholms Universite,1989年。谷歌学者谷歌学者
  5. T.Bartkewitz和T.Guneysu。图形卡上的全点阵基缩减。编辑F.Armknecht和S.Lucks,WEWoRC’11第四届西欧密码学研究会议论文集,第7242卷,共页计算机科学课堂讲稿,第30-44页。Springer-Verlag,2012年。谷歌学者谷歌学者数字图书馆数字图书馆
  6. D.J.Bates、J.D.Hauenstein、A.J.Sommese和C.W.Wampler。贝尔蒂尼:数值代数几何软件。可在网址:http://www.nd.edu/~sommese/贝尔蒂尼/。谷歌学者谷歌学者
  7. W.Bauer和V.Strassen。偏导数的复杂性。理论计算机科学, 22(3):317--330, 1983.谷歌学者谷歌学者交叉引用交叉引用
  8. C.Bischof、N.Guertler、A.Kowartz和A.Walther。使用ADOL-C对OpenMP程序进行并行反向模式自动区分。In C.Bischof,H.M.Bücker,P.Hovland,U.Naumann,and J.Utke,editors,自动微分的进展,第163-173页。Springer-Verlag,2008年。谷歌学者谷歌学者交叉引用交叉引用
  9. N.Bliss、J.Sommars、J.Verschelde和X.Yu。用多项式同伦延拓法求解云中的多项式系统。arXiv:1506.02618{cs.MS},接受在中发布第17届科学计算中的计算机代数研讨会论文集(CASC 2015)。谷歌学者谷歌学者
  10. R.W.Brockett和C.I.Byrnes。多元奈奎斯特标准、根轨迹和极点位置:几何观点。IEEE传输。自动化。合同。, 26:271--284, 1981.谷歌学者谷歌学者交叉引用交叉引用
  11. T.Chen、T.-L.Lee和T.-Y.Li.Hom4PS-3:基于多面体同伦延拓方法的多项式方程组并行数值求解器。在H.Hong和C.Yap的编辑中,数学软件——ICMS 2014,第四届国际会议,韩国首尔,2014年8月4-9日,会议记录,第8592卷,共计算机科学课堂讲稿,第183-190页。Springer-Verlag,2014年。谷歌学者谷歌学者交叉引用交叉引用
  12. 陈先生和李先生。二项式方程组的解。数学年鉴Silesianae, 28:7--34, 2014.谷歌学者谷歌学者
  13. T.Chen和D.Mehta。二项式系统解空间的并行度计算及其在主空间中的应用N个=1规范理论。arXiv:1501.02237v1{math.AG}。谷歌学者谷歌学者
  14. Y.Dai、S.Kim和M.Kojima。使用多面体同伦延拓方法计算循环n多项式的所有非奇异解。J.计算。申请。数学。, 152(1-2):83--97, 2003.谷歌学者谷歌学者数字图书馆数字图书馆
  15. J.C.福盖尔。使用Gröbner基技巧求Cyclic 9的所有解。计算机数学-第五届亚洲学术研讨会论文集(ASCM 2001),第9卷,共页计算机系列讲座笔记,第1-12页。《世界科学》,2001年。谷歌学者谷歌学者交叉引用交叉引用
  16. T.Gao、T.-Y.Li和X.Li。HOM4PS,2002年。可在http://www.csulb.edu网站/~tgao/REARCH/Software.htm。谷歌学者谷歌学者
  17. M.Grabner、T.Pock、T.Gross和B.Kainz。GPU加速2D/3D注册的自动区分。在C.Bischof、H.M.Bücker、P.Hovland、U.Naumann和J.Utke编辑中,自动微分的进展,第259--269页。Springer-Verlag,2008年。谷歌学者谷歌学者交叉引用交叉引用
  18. A.Griewank和A.Walther。评估导数:算法微分的原理和技术。SIAM,第二版,2008年。谷歌学者谷歌学者数字图书馆数字图书馆
  19. T.Gunji、S.Kim、M.Kojima、A.Takeda、K.Fujisawa和T.Mizutani。PHoM——多项式系统的多面体同伦延拓方法。计算机, 73(4):55--77, 2004.谷歌学者谷歌学者数字图书馆数字图书馆
  20. S.A.Haque、X.Li、F.Mansouri、M.M.Maza、W.Pan和N.Xie。使用CUMODP库对有限域进行密集运算。在H.Hong和C.Yap的编辑中,数学软件——ICMS 2014,第8592卷,共计算机科学课堂讲稿,第725-732页。Springer-Verlag,2014年。谷歌学者谷歌学者交叉引用交叉引用
  21. Y.Hida、X.S.Li和D.H.Bailey。四双精度浮点运算的算法。2001年6月11日至17日,美国科罗拉多州维尔市,第15届IEEE计算机算术研讨会(2001年算术-15),第155-162页。IEEE计算机学会,2001年。技术报告LBNL-46996的简短版本,软件位于网址:http://crd.lbl.gov/~dhbailey/mpdist。谷歌学者谷歌学者数字图书馆数字图书馆
  22. B.Huber、F.Sottile和B.Sturmfels。数值舒伯特微积分。J.符号计算, 26(6):767--788, 1998.谷歌学者谷歌学者数字图书馆数字图书馆
  23. B.Huber和J.Verschelde。枚举几何问题的Pieri同伦应用于线性系统控制中的极点配置。SIAM J.控制优化。, 38(4):1265--1287, 2000.谷歌学者谷歌学者数字图书馆数字图书馆
  24. M.Kim、J.Rosenthal和X.Wang。极点配置和矩阵扩展问题:一个共同的观点。SIAM J.控制。最佳方案。, 42(6):2078--2093, 2004.谷歌学者谷歌学者数字图书馆数字图书馆
  25. 李天乐、李天佑和蔡振海。HOM4PS-2.0:通过多面体同伦延拓方法求解多项式系统的软件包。计算机, 83(2-3):109--133, 2008.谷歌学者谷歌学者数字图书馆数字图书馆
  26. A.莱金。数值代数几何。代数和几何软件杂志:Macaulay 2,2011年3月5日至10日。谷歌学者谷歌学者交叉引用交叉引用
  27. 李振英。用同伦延拓法求解多项式系统。编辑F.Cucker,数值分析手册。第十一卷。特别卷:计算数学基础,第209--304页。北荷兰,2003年。谷歌学者谷歌学者
  28. 李T.Y.、王X.和吴M。数值舒伯特微积分的pieri算法。SIAM J.数字。分析。, 20(2):578--600, 2002.谷歌学者谷歌学者数字图书馆数字图书馆
  29. M.Lu、B.He和Q.Luo。支持图形处理器上的扩展精度。编辑A.Ailamaki和P.A.Boncz,第六届新硬件数据管理国际研讨会会议记录(DaMoN 2010),2010年6月7日,印第安纳州印第安纳波利斯,第19-26页,2010年。软件位于http://code.google.com/p/gpuprec/。谷歌学者谷歌学者数字图书馆数字图书馆
  30. G.马拉乔维奇。pss3.0.5:多项式系统解算器,3.0.5版。可在http://www.labma.ufrj.br/~gregorio/software.php。谷歌学者谷歌学者
  31. M.M.Maza和W.Pan。在GPU上求解二元多项式系统。计算机代数中的ACM通信, 45(2):127--128, 2011.谷歌学者谷歌学者数字图书馆数字图书馆
  32. R.萨贝蒂。cyclic-12的数字-符号精确不可约分解。LMS计算与数学杂志, 14:155--172, 2011.谷歌学者谷歌学者交叉引用交叉引用
  33. A.J.Sommese、J.Verschelde和C.W.Wampler。使用PHCpack进行数值不可约分解。编辑M.Joswig和N.Takayama,代数、几何和软件系统,第109-130页。施普林格出版社,2003年。谷歌学者谷歌学者
  34. A.J.Sommese、J.Verschelde和C.W.Wampler。数字代数几何导论。求解多项式方程。基础、算法和应用,第14卷,共页数学中的算法和计算,第301-337页。Springer-Verlag,2005年。谷歌学者谷歌学者交叉引用交叉引用
  35. F.索蒂尔。通过显式有理等价的Pieri公式。可以。数学杂志。, 49(6):1281--1298, 1997.谷歌学者谷歌学者交叉引用交叉引用
  36. F.Szöllősi。复杂阿达玛矩阵的构造、分类和参数化。2011年布达佩斯中欧大学博士论文。arXiv:1110.5590v1。谷歌学者谷歌学者
  37. J.Verschelde。算法795:PHCpack:通过同伦延拓的多项式系统通用求解器。ACM事务处理。数学。柔和。, 25(2):251--276, 1999.谷歌学者谷歌学者数字图书馆数字图书馆
  38. J.Verschelde。通过phcpy实现PHCpack的现代化。编辑P.de Buyl和N.Varoqueux,第六届欧洲Python科学大会论文集(EuroSciPy 2013),第71-76页,2014年。谷歌学者谷歌学者
  39. J.Verschelde和G.Yoffe。多核工作站上的多项式同伦。编辑M.M.Maza和J.-L.Roch,第四届并行符号计算国际研讨会论文集(PASCO 2010),2010年7月21日至23日,法国格勒诺布尔,第131-140页。ACM,2010年。谷歌学者谷歌学者数字图书馆数字图书馆
  40. J.Verschelde和G.Yoffe。在GPU计算处理器上计算多个变量及其导数中的多项式。2012年IEEE第26届国际并行和分布式处理研讨会会议记录(PDSEC 2012),第1391-1399页。IEEE计算机学会,2012年。谷歌学者谷歌学者数字图书馆数字图书馆
  41. J.Verschelde和G.Yoffe。在通用图形处理单元上使用双双和四双算法进行正交化。2013年IEEE第27届国际并行和分布式处理研讨会会议记录(PDSEC 2013),第1373至1380页。IEEE计算机学会,2013年。谷歌学者谷歌学者数字图书馆数字图书馆
  42. J.Verschelde和X.Yu。在图形处理单元上跟踪多项式同伦的多个解路径。arXiv:1505.00383v1,接受在第17届IEEE高性能计算与通信国际会议记录(HPCC 2015)。谷歌学者谷歌学者
  43. J.Verschelde和X.Yu。双二重和四二重算术中的大型多项式方程组的牛顿方法的GPU加速。第16届IEEE高性能计算与通信国际会议记录(HPCC 2014),第161-164页。IEEE计算机学会,2014年。谷歌学者谷歌学者数字图书馆数字图书馆
  44. V.Volkov和J.Demmel。对GPU进行基准测试以调整密集线性代数。2008年ACM/IEEE超级计算会议论文集。IEEE出版社,2008年。第31条。谷歌学者谷歌学者数字图书馆数字图书馆
  45. L.T.Watson、S.C.Billups和A.P.Morgan。算法652:HOMPACK:一组用于全局收敛同伦算法的代码。ACM事务处理。数学。柔和。, 13(3):281--310, 1987.谷歌学者谷歌学者数字图书馆数字图书馆
  46. L.T.Watson、M.Sosonkina、R.C.Melville、A.P.Morgan和H.F.Walker。HOMPACK90:用于全局收敛同伦算法的Fortran 90代码套件。ACM事务处理。数学。柔和。, 23(4):514--549, 1997.谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 用双双和四双算法在图形处理器上加速多项式同伦延拓

            建议

            评论

            登录选项

            检查您是否可以通过登录凭据或您的机构访问本文。

            登录

            完全访问权限

            • 发布于

              封面图片ACM会议
              PASCO’15:2015年并行符号计算国际研讨会论文集
              2015年7月
              256页
              国际标准图书编号:9781450335997
              内政部:10.1145/2790282

              版权所有©2015 ACM

              如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

              出版商

              计算机协会

              美国纽约州纽约市

              出版历史

              • 出版:2015年7月10日

              权限

              请求有关此文章的权限。

              请求权限

              检查更新

              限定符

              • 研究论文

            PDF格式

            以PDF文件查看或下载。

            PDF格式

            电子阅读器

            使用eReader联机查看。

            电子阅读器