×
Fisikopoulos，维萨里昂;路易斯·佩纳兰达

通过动态行列式计算实现更快的几何算法。 （英语） Zbl 1338.65118号

计算。地理。 54, 1-16 (2016).
摘要：行列式或其符号的计算是许多重要几何算法的核心步骤，例如凸壳、体积和点定位。随着计算空间维数的增加，这些计算所消耗的总计算时间的百分比会增加。本文研究几何算法中出现的行列式序列。单个行列式的计算通过使用该序列中先前计算的信息来加速。我们提出了两种动态行列式算法，用于凸壳和体积计算时具有二次算法复杂性，用于点定位问题时具有线性算法复杂性。我们实现了所提出的算法，并进行了广泛的实验分析。一方面，我们的分析是对最先进的行列式算法和实现的性能研究。另一方面，我们证明了我们的方法优于状态-行列式和几何算法的艺术实现。我们的实验结果包括体积和点位置计算在维（6）和维（11）中的速度分别提高了20倍和78倍。

引用于2文件

MSC公司：

65平方英尺 行列式的数值计算
65D18天 计算机图形、图像分析和计算几何的数值方面

关键词：

行列式算法;方向谓词;体积计算;排名-1的更新;实验分析;数值示例;凸包;体积;点位置

软件：

多晶的;CGAL公司;艾根;LinBox（接线盒）;TOPCOM公司;船体;三角测量;呼吸
PDF格式BibTeX公司 XML格式引用
\textit{V.Fisikopoulos}和\textit{L.Peñaranda}，计算。地理。54、1-16（2016年；Zbl 1338.65118）
全文： DOI程序 arXiv公司

参考文献：

[1] Yap，C.K。；Dubé，T.，《精确计算范式》（Du，D.-Z.；Hwang，F.，《欧几里德几何中的计算》（1995），《世界科学：世界科学新加坡》，452-492，第11章
[2] CGAL，计算几何算法库（2015）
[3] Kettner，L。；Mehlhorn，K。；Pion，S。；Schirra，S。；Yap，C.-K.，几何计算中鲁棒性问题的课堂示例，计算。地理。，40, 1, 61-78 (2008) ·Zbl 1135.65311号
[4] Boissonnat，J.-D。；Yvinec，M.，《算法几何》（1998），剑桥大学出版社：剑桥大学出版社，美国纽约州纽约市·Zbl 0917.68212号
[5] Seidel，R.，偶数维点集的最优凸包算法（1981），Comp部门。科学。，不列颠哥伦比亚大学：计算机系。科学。，不列颠哥伦比亚大学温哥华分校，硕士论文
[6] Büeler，B。；Enge，A。；Fukuda，K.，《多面体的精确体积计算：一项实践研究》，（多面体：组合数学和计算，多面体，组合数学与计算，Oberwolfach研讨会，第29卷（2000年），Birkhäuser），131-154·Zbl 0960.68162号
[7] 邦奇，J。；Hopcroft，J.，《快速矩阵乘法的三角因式分解和反演》，数学。计算。，28, 125, 231-236 (1974) ·兹伯利0276.15006
[8] Le Gall，F.，《张量的幂与快速矩阵乘法》，（第39届符号与代数计算国际研讨会论文集。第39届国际符号与代数运算研讨会论文集，ISSAC’14（2014），ACM：美国纽约州纽约市ACM），296-303·Zbl 1325.65061号
[9] Bareiss，E.H.，Sylvester的恒等式和多步积分-保留高斯消去，数学。计算。，22, 565-578 (1968) ·Zbl 0187.09701号
[10] Kaltoffen，E。；Villard，G.，关于计算行列式的复杂性，计算。复杂。，13, 91-130 (2005) ·Zbl 1061.68185号
[11] 马哈詹，M。；Vinay，V.，《行列式的组合算法》（第八届ACM-SIAM离散算法研讨会论文集。第八届年度ACM-SIAM离散算法研讨会文献集，SODA’97（1997），工业和应用数学学会：美国宾夕法尼亚州费城工业和应用数学学会）， 730-738 ·Zbl 1321.65072号
[12] Rote，G.，行列式和Pfaffian的无除法算法：代数和组合方法，（Alt，H.，计算离散数学。计算离散数学，计算机科学讲义，第2122卷（2001年），Springer:Springer-Blin，Heidelberg），119-135·Zbl 1010.65022号
[13] Bird，R.S.，计算行列式的简单无除法算法，Inf.Process。莱特。，111, 1072-1074 (2011) ·Zbl 1260.65042号
[14] 科珀史密斯，D。；Winograd，S.，《通过算术级数进行矩阵乘法》，（第十九届美国计算机学会计算理论研讨会论文集。第十九届ACM计算理论研讨会文献集，STOC’87（1987），美国计算机学会：美国纽约州纽约市ACM），1-6
[15] Urbaáska，A.，行列式和Pfaffian的快速组合算法，算法，56，35-50（2010）·Zbl 1193.65049号
[16] Kratethaler，C.，《高级行列式微积分：补码》，《线性代数应用》。，411, 68 (2005) ·Zbl 1079.05008号
[17] Barvinok，A。；Pommersheim，J.E.，多面体晶格点的算法理论，（代数组合学的新观点，第38卷（1999）），91-147·Zbl 0940.05004号
[18] Rambau，J.，TOPCOM：点配置和定向拟阵的三角剖分，（Cohen，A.；Gao，X.-S.；Takayama，N.，数学软件：ICMS（2002），世界科学），330-340·Zbl 1057.68150号
[19] 考克斯，D.A。；Little，J.B。；O'Shea，D.，《使用代数几何》，《数学研究生教材》（2005），斯普林格·弗拉格：斯普林格尔·弗拉格·柏林-海德堡-纽约·兹伯利1079.13017
[20] 巴苏，S。；波拉克，R。；Roy，M.-F.，《实代数几何中的算法》（2003年），施普林格-弗拉格：柏林施普林格·Zbl 1031.14028号
[21] 埃米利斯，I.Z。；卡林卡，T。；Konaxis，C。；Ba，T.L.，使用预测支持的曲线和（超）曲面隐式化，符号-数值算法。符号-数字算法。计算。科学。，479，81-98（2013）·Zbl 1297.68272号
[22] 杜马，J.-G。；戈蒂埃，T。；吉斯布雷希特，M。；乔治·P。；Hovinen，B。；Kaltoffen，E。；桑德斯，B.D。；特纳，W.J。；Villard，G.，LinBox:精确线性代数的通用库，（Cohen，a.M.；Gao，X.S.；Takayama，N.，第一届国际数学软件大会。第一届国际数理软件大会，ICMS’2002年8月（2002），世界科学：世界科学北京，中国），40-50·Zbl 1011.68182号
[23] Guennebaud，G。；Jacob，B.，Eigen v3（2010年）
[24] Clarkson，K.L.，安全有效的行列式评估，（第33届计算机科学基础年度研讨会，第33届计算科学基础年度会议，宾夕法尼亚州匹兹堡（1992）），387-395·Zbl 0927.68040号
[25] Brönnimann，H。；埃米利斯，I.Z。；潘，V。；Pion，S.，剩余数系统中的符号测定，Theor。计算。科学。，210, 1, 173-197 (1999) ·Zbl 0912.68083号
[26] 雅培，J。；Bronstein，M。；Mulders，T.，密集矩阵行列式的快速确定性计算，（1999年符号与代数计算国际研讨会论文集。1999年符号和代数计算国际会议论文集，ISSAC’99（1999），ACM:ACM纽约，美国纽约州），197-204
[27] Brönnimann，H。；Yvinec，M.，《行列式符号的有效精确评估》，《算法》，27，1，21-56（2000）·Zbl 0947.65053号
[28] Brönnimann，H。；Burnikel，C。；Pion，S.，《区间算法为计算几何生成高效的动态过滤器》，第14届欧洲计算几何研讨会。第14届欧洲计算几何研讨会，离散应用。数学。，109，1-2，25-47（2001）·Zbl 0967.68157号
[29] Kaltoffen，E。；Villard，G.，《计算整数矩阵行列式的符号或值》，复杂性调查，J.Compute。申请。数学。，162, 1, 133-146 (2004) ·Zbl 1037.65044号
[30] 埃米利斯一世。；费西科普洛斯，V。；Konaxis，C。；Peñaranda，L.，一种基于神谕的输出敏感算法，用于生成的多面体的投影，国际计算杂志。地理。申请。，23，4-5397-423（2013），（SoCG’12邀请论文特刊）·Zbl 1297.68238号
[31] 谢尔曼，J。；莫里森，W.J.，《与给定矩阵中一个元素的变化相对应的逆矩阵的调整》，《数学年鉴》。Stat.，21，1，124-127（1950）·Zbl 0037.00901号
[32] Bartlett，M.S.，《判别分析中出现的逆矩阵调整》，《数学年鉴》。《统计》，22，1，107-111（1951）·Zbl 0042.38203号
[33] Sankowski，P.，通过动态矩阵逆的动态传递闭包：扩展摘要，（第45届IEEE计算机科学基础年度研讨会，2004年。会议记录（2004），IEEE），509-517
[34] Avrachenkov，K。；利特瓦克，N.，新链接对谷歌PageRank的影响，斯托克。模型，22，2，319-331（2006）·邮编1094.68005
[35] 费西科普洛斯，V。；Peñaranda，L.，《通过动态行列式计算实现更快的几何算法》，（第20届欧洲算法研讨会论文集。第20届欧盟算法研讨会论文集中，2012年欧洲航天局。第20届欧洲算法研讨会论文集。第20届欧洲算法研讨会论文集，ESA 2012，计算机科学讲义，第7501卷（2012），斯普林格：斯普林格卢布尔雅那，斯洛文尼亚），443-454·Zbl 1365.68439号
[36] Harville，D.A.，《统计学家视角下的矩阵代数》（1997），Springer-Verlag:Springer-Verlag纽约·Zbl 0881.15001号
[37] Edelsbrunner，H.，《组合几何中的算法》（1987），Springer-Verlag:Springer-Verlag New York，Inc.，纽约州纽约市，美国·Zbl 0634.52001号
[38] 克拉克森，K.L。；Shor，P.W.，随机抽样在计算几何中的应用，II，离散计算。地理。，4, 1, 387-421 (1989) ·Zbl 0681.68060号
[39] Garling，D.J.H.，《不等式：线性分析之旅》（2007），剑桥大学出版社，剑桥在线图书·Zbl 1135.26014号
[40] 齐格勒，G.M.，《关于多面体的讲座》（1995年），施普林格·Zbl 0823.52002号
[41] （2015），Boost:同行评审的C++库
[42] 霍努斯，S。；魔鬼，O。；Jamin，C.，dD三角测量，（CGAL用户和参考手册（2015）），CGAL编辑委员会
[44] Villard，G.，《使用矩阵多项式研究Coppersmith的块Wiedemann算法》（1997年4月），IMAG研究报告975-I-M
[45] 杜马，J.-G。；Urbaáska，A.，《整数行列式的内省算法》（Dumas，J.-G.，《超越计算》，2006年）。2006年《超越计算》，西班牙格拉纳达马德里科皮亚斯·科卡出版社（2006年），185-202年·Zbl 1193.65047号
[46] Poole，D.，《线性代数：现代导论》，Cengage Learning（2006）
[47] Berkowitz，S.J.，关于使用少量处理器在小并行时间内计算行列式，Inf.Process。莱特。，18, 3, 147-150 (1984) ·Zbl 0541.68019号
[48] Iliopoulos，C.S.，计算有限Abelian群的规范结构和整数矩阵的Hermite和Smith正规形式的算法的最坏情况复杂度界限，SIAM J.Compute。，18, 4, 658-659 (1989) ·Zbl 0689.68059号
[49] Robinson，S.，走向矩阵乘法的最优算法，SIAM News，38，9（2005）
[50] 出版社，W.H。；Teukolsky，S.A。；韦特林，W.T。；Flannery，B.P.，《数字配方：科学计算的艺术》（2007），剑桥大学出版社·Zbl 1132.65001号
[51] 克拉克森，K.L。；Mehlhorn，K。；Seidel，R.，关于随机增量结构的四个结果，计算。地理。，185-212年3月4日（1993年）·Zbl 0781.68112号
[52] Gawrilow，E。；Joswig，M.，polymake:分析凸多面体的框架，（Kalai，G.；Ziegler，G.，polytopes-组合数学和计算（2000），Birkhäuser），43-74·Zbl 0960.68182号
[53] Fukuda，K.（2008），cddlib，版本0.94f
[54] Avis，D.，Lrs:反向搜索顶点枚举算法的修订实现，（Polytopes-组合数学与计算。Polytopes-组合数学和计算，Oberwolfach研讨会，第29卷（2000年），Birkhäuser-Verlag），177-198·Zbl 0960.68171号
[55] Büeler，B。；恩格，A.，文西
[56] Gelfand，I。；卡普兰诺夫，M。；Zelevinsky，A.，《判别、结果和多维决定因素》（1994），Birkhäuser:Birkháuser Boston·Zbl 0827.14036号
[57] Boehm，H.-J.，节省空间的保守垃圾收集，（编程语言设计与实现（1993），ACM），197-206
[58] Chand，D.R。；Kapur，S.S.，凸多面体的算法，J.ACM，17，1，78-86（1970）·Zbl 0199.50902号
[59] Conway，J.，《数字书》（1996），哥白尼：哥白尼纽约·Zbl 0866.00001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。