×

稀疏高斯消去模\(p\):更新。 (英语) Zbl 1453.65086号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9890, 101-116 (2016).
摘要:本文研究了有限域上稀疏矩阵的消去算法。我们主要集中在计算秩上,因为它提出了与求解线性系统相同的挑战,但稍微简单一些。{}受Gilbert-Pieerls稀疏LU分解的启发,我们开发了一种新的稀疏消除算法,该算法在数值计算界很有名。我们使用Jean-Guillaume Dumas的稀疏整数矩阵集合,针对通常的右向稀疏高斯消去和Wiedemann算法对其进行了基准测试。{}在许多情况下,我们可以获得较大的加速比(1000倍或更多)。特别是,与以前的方法相比,我们能够以秒或分钟计算几个大型稀疏矩阵的秩。
关于整个系列,请参见[Zbl 1346.68010号].

MSC公司:

65层50 稀疏矩阵的计算方法
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Amestoy,P.R.,Duff,I.S.,Koster,J.,L'Excellent,J.-Y.:使用分布式动态调度的完全异步多前沿求解器。SIAM J.矩阵分析。申请。23(1),15-41(2001)·Zbl 0992.65018号 ·doi:10.1137/S0895479899358194
[2] Bosma,W.,Cannon,J.,Playout,C.:岩浆代数系统。I.用户语言。J.符号计算。24(3–4), 235–265 (1997). http://dx.doi.org/10.1006/jsco.1996.0125 . 计算代数和数论,伦敦(1993)·Zbl 0898.68039号
[3] Boyer,B.,Eder,C.,Faugère,J.,Lachartre,S.,Martani,F.:GBLA-gröbner基线性代数包。CoRR abs/1602.06097(2016)。网址:http://arxiv.org/abs/1602.060097 ·Zbl 1361.13014号
[4] Cavallar,S.:数字域筛选中的过滤策略。收录:Bosma,W.(编辑)ANTS 2000。LNCS,第1838卷,第209-232页。斯普林格,海德堡(2000)。http://dx.doi.org/10.1007/10722028_11 ·Zbl 1006.11076号 ·doi:10.1007/10722028_11
[5] Chen,Y.,Davis,T.A.,Hager,W.W.,Rajamanickam,S.:算法887:CHOLMOD,超节点稀疏cholesky分解和更新/停机。ACM事务处理。数学。柔和。35(3), 22:1–22:14 (2008). http://doi.acm.org/10.1145/1391989.1391995 ·Zbl 05517414号 ·doi:10.1145/1391989.1391995
[6] Cleveland-Ashcraft,C.,Grimes,R.G.,Lewis,J.G.,Peyton,P.W.,Simon,H.D.,Björstad,P.E.:向量超级计算机上大型线性系统稀疏矩阵方法的进展。国际期刊高性能计算。申请。1(4),10–30(1987)。http://dx.doi.org/10.1177/109434208700100403 ·doi:10.1177/109434208700100403
[7] Coppersmith,D.:求解齐次线性方程\[\马特布{F} _2\]通过块wiedemann算法。数学。计算。62(205), 333–350 (1994) ·Zbl 0805.65046号
[8] Davis,T.A.:算法832:UMFPACK V4.3–一种非对称模式的多面方法。ACM事务处理。数学。柔和。30(2), 196–199 (2004). http://dx.doi.org/10.1145/992200.992206 ·Zbl 1072.65037号 ·doi:10.1145/992200.992206
[9] Davis,T.A.:稀疏线性系统的直接方法(算法基础2)。费城工业和应用数学学会(2006)·Zbl 1119.65021号 ·doi:10.1137/1.9780898718881
[10] Davis,T.A.,Natarajan,E.P.:算法907:KLU,电路模拟问题的直接稀疏求解器。ACM事务处理。数学。柔和。37(3)(2010年)。http://doi.acm.org/10.1145/1824801.1824814 ·Zbl 1364.65066号 ·数字对象标识代码:10.1145/1824801.1824814
[11] Demmel,J.W.,Eisenstat,S.C.,Gilbert,J.R.,Li,X.S.,Liu,J.W.H.:稀疏部分旋转的超节点方法。SIAM J.矩阵分析。申请。20(3), 720–755 (1999) ·Zbl 0931.65022号 ·doi:10.1137/S0895479895291765
[12] Duff,I.S.,Erisman,A.M.,Reid,J.K.:稀疏矩阵的直接方法。《数值数学与科学计算》,牛津大学出版社,美国,第一版,平装版。(1989) ·Zbl 0666.65024号
[13] Duff,I.S.,Reid,J.K.:稀疏矩阵代码的一些设计特征。ACM事务处理。数学。柔和。5(1), 18–35 (1979). http://doi.acm.org/10.1145/355815.355817 ·Zbl 0401.65023号 ·数字对象标识代码:10.1145/355815.355817
[14] Duff,I.S.,Reid,J.K.:不定稀疏对称线性方程的多面解。ACM事务处理。数学。柔和。9(3), 302–325 (1983). http://doi.acm.org/10.1145/356044.356047 ·Zbl 0515.65022号 ·数字对象标识代码:10.1145/356044.356047
[15] Dumas,J.G.,Villard,G.:计算有限域上稀疏矩阵的秩。收录于:Ganzha,V.G.,Mayr,E.W.,Vorozhtsov,E.V.(编辑)CASC 2002,第五届科学计算中的计算机代数国际研讨会论文集,乌克兰雅尔塔,第47-62页。德国慕尼黑理工大学,2002年9月。http://ljk.imag.fr/members/Jean-Guillaume.Dumas/Publications/sparseliminationCASC2002.pdf
[16] Dumas,J.-G.:稀疏整数矩阵集合。http://hpac.imag.fr
[17] Dumas,J.-G.,Elbaz-Vencent,P.,Giorgi,P.和Urbanska,A.:从代数并行计算大型稀疏矩阵的秩\[k个\]-理论。摘自:Maza,M.M.,Watt,S.M.(编辑)《并行符号计算》,PASCO 2007,国际研讨会,2007年7月27日至28日,加拿大安大略省伦敦市西安大略大学,第43-52页。ACM,纽约(2007年)。http://doi.acm.org/10.1145/1278177.1278186
[18] Faugére,J.-C.,Lachartre,S.:有限域中gröbner基计算的并行高斯消去。摘自:Maza,M.M.,Roch,J.-L.(编辑)PASCO,第89-97页。ACM,纽约(2010年)
[19] Gilbert,J.R.,Peierls,T.:与算术运算成比例的时间稀疏部分旋转。SIAM J.科学。统计计算。9(5), 862–874 (1988). http://dx.doi.org/10.1137/0909058 ·Zbl 0656.65036号 ·doi:10.1137/0909058
[20] Kleinjung,T.,Aoki,K.,Franke,J.,Lenstra,A.K.,Thomé,E.,Bos,J.W.,Gaudry,P.,Kruppa,A.,Montgomery,P.L.,Osvik,D.A.,te Riele,H.,Timofeev,A.,Zimmermann,P.:768位RSA模的因式分解。收录:Rabin,T.(编辑)《2010年密码》。LNCS,第6223卷,第333-350页。施普林格,海德堡(2010)。http://dx.doi.org/10.1007/978-3642-14623-7_18 ·Zbl 1196.11167号 ·doi:10.1007/978-3-642-14623-7_18
[21] LaMacchia,B.A.,Odlyzko,A.M.:求解有限域上的大型稀疏线性系统。在:Menezes,A.,Vanstone,S.A.(编辑)CRYPTO 1990。LNCS,第537卷,第109-133页。施普林格,海德堡(1991)。http://dx.doi.org/10.1007/3-540-38424-3_8 ·Zbl 0786.65028号 ·doi:10.1007/3-540-38424-38
[22] Markowitz,H.M.:逆的消除形式及其在线性规划中的应用。管理。科学。3(3), 255–269 (1957). http://dx.doi.org/10.1287/mnsc.3.3.255 ·Zbl 0995.90592号 ·数字对象标识代码:10.1287/mnsc.3.225
[23] May,J.P.,Saunders,B.D.,Wan,Z.:高效矩阵秩计算及其在强正则图研究中的应用。作者:Wang,D.(编辑)符号和代数计算,国际研讨会,ISSAC 2007,加拿大安大略省滑铁卢,2007年7月28日至8月1日,会议记录,第277-284页。ACM(2007)。http://doi.acm.org/10.1145/1277548.1277586 ·Zbl 1190.15003号
[24] Saunders,B.D.,Youse,B.S.:大矩阵,小秩。摘自:2009年符号和代数计算国际研讨会论文集,ISSAC 2009,第317-324页。ACM,纽约(2009年)。http://doi.acm.org/10.1145/1576702.1576746 ·Zbl 1237.15004号 ·doi:10.1145/1576702.1576746
[25] 桑德斯:每行有两个非零项的矩阵。摘自:2015年ACM符号和代数计算国际研讨会论文集,ISSAC 2015,第323–330页。ACM,纽约(2015)。http://doi.acm.org/10.1145/2755996.2756679 ·Zbl 1345.65026号 ·doi:10.1145/2755996.2756679
[26] CADO-NFS开发团队:CADO-NLS,数字域筛选算法的实现(2015),版本2.2.0。http://cado-nfs.gforge.inria.fr/
[27] FFLAS-FFPACK组:FFLAS-FPACK:有限域线性代数子程序/包,2.0.0版。(2014). http://linalg.org/projects/fflas-ffpack
[28] Sage开发者:Sage数学软件(5.7版)(2013年)。http://www.sagemath.org
[29] Wiedemann,D.H.:求解有限域上的稀疏线性方程。IEEE传输。《信息论》32(1),54–62(1986)。http://dx.doi.org/10.1109/TIT.1986.1057137 ·Zbl 0607.65015号 ·doi:10.1109/TIT.1986.1057137
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。