ON COMPUTING INVERSE ENTRIES OF A SPARSE MATRIX IN AN OUT-OF-CORE ENVIRONMENT

被引:24
作者
Amestoy, Patrick R. [1 ]
Duff, Iain S. [2 ,3 ]
L'Excellent, Jean-Yves [4 ]
Robert, Yves [4 ]
Rouet, Francois-Henry [1 ]
Ucar, Bora [5 ]
机构
[1] Univ Toulouse, INPT, ENSEEIHT, IRIT, Toulouse, France
[2] CERFACS, F-31057 Toulouse, France
[3] Rutherford Appleton Lab, Didcot OX11 0QX, Oxon, England
[4] UCBL, INRIA, UMR CNRS ENS Lyon, Lab Informat Parallelisme, F-69364 Lyon 7, France
[5] UCBL, CNRS, F-69364 Lyon 7, France
关键词
sparse matrices; direct methods for linear systems and matrix inversion; multi-frontal method; graphs and hypergraphs; RECTANGULAR MATRICES; ELIMINATION; IMPLEMENTATION; FACTORIZATION; ALGORITHM; SYSTEMS;
D O I
10.1137/100799411
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
The inverse of an irreducible sparse matrix is structurally full, so that it is impractical to think of computing or storing it. However, there are several applications where a subset of the entries of the inverse is required. Given a factorization of the sparse matrix held in out-of-core storage, we show how to compute such a subset efficiently, by accessing only parts of the factors. When there are many inverse entries to compute, we need to guarantee that the overall computation scheme has reasonable memory requirements, while minimizing the volume of communication (data transferred) between disk and main memory. This leads to a partitioning problem that we prove is NP-complete. We also show that we cannot get a close approximation to the optimal solution in polynomial time. We thus need to develop heuristic algorithms, and we propose (i) a lower bound on the cost of an optimum solution; (ii) an exact algorithm for a particular case; (iii) two other heuristics for a more general case; and (iv) hypergraph partitioning models for the most general setting. We compare the proposed algorithms and illustrate the performance of our algorithms in practice using the MUMPS software package on a set of real-life problems.
引用
收藏
页码:A1975 / A1999
页数:25
相关论文
共 36 条
  • [1] Analysis of the solution phase of a parallel multifrontal approach
    Amestoy, P.
    Duff, I. S.
    Guermouche, A.
    Slavova, Tz.
    [J]. PARALLEL COMPUTING, 2010, 36 (01) : 3 - 15
  • [2] Amestoy P. R., 2010, RTAPO1006 INPTIRIT
  • [3] Hybrid scheduling for the parallel solution of linear systems
    Amestoy, PR
    Guermouche, A
    L'Excellent, JY
    Pralet, S
    [J]. PARALLEL COMPUTING, 2006, 32 (02) : 136 - 156
  • [4] A fully asynchronous multifrontal solver using distributed dynamic scheduling
    Amestoy, PR
    Duff, IS
    L'Excellent, JY
    Koster, J
    [J]. SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2001, 23 (01) : 15 - 41
  • [5] [Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
  • [6] [Anonymous], THESIS ECOLE NORMALE
  • [7] Permuting sparse rectangular matrices into block-diagonal form
    Aykanat, C
    Pinar, A
    Çatalyürek, ÜV
    [J]. SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2004, 25 (06) : 1860 - 1879
  • [8] Bekas C., 2009, Proceedings of the 2nd Workshop on High Performance Computational Finance, P8
  • [9] Bjorck A, 1996, NUMERICAL METHODS L
  • [10] Integral SPI observation of the galactic central radian:: Contribution of discrete sources and implication for the diffuse emission
    Bouchet, L
    Roques, JP
    Mandrou, P
    Strong, A
    Diehl, R
    Lebrun, F
    Terrier, R
    [J]. ASTROPHYSICAL JOURNAL, 2005, 635 (02) : 1103 - 1115