SIAM Journal on Scientific Computing · 2012 · 382 citations · 43 references
Mathematical ProgrammingTheory Of ComputingMassively-parallel ComputingEngineeringMatrix FactorizationSequential QrParallel Complexity TheoryNew Lower BoundsParallel Qr AlgorithmsCommunication ComplexityComputational ComplexityParallel ProgrammingComputer ScienceMatrix TheoryParallel ComputingMulti-terminal Information TheoryLower Bounds
We present parallel and sequential dense QR factorization algorithms that are both optimal (up to polylogarithmic factors) in the amount of communication they perform and just as stable as Householder QR. We prove optimality by deriving new lower bounds for the number of multiplications done by “non-Strassen-like” QR, and using these in known communication lower bounds that are proportional to the number of multiplications. We not only show that our QR algorithms attain these lower bounds (up to polylogarithmic factors), but that existing LAPACK and ScaLAPACK algorithms perform asymptotically more communication. We derive analogous communication lower bounds for LU factorization and point out recent LU algorithms in the literature that attain at least some of these lower bounds. The sequential and parallel QR algorithms for tall and skinny matrices lead to significant speedups in practice over some of the existing algorithms, including LAPACK and ScaLAPACK, for example, up to 6.7 times over ScaLAPACK. A performance model for the parallel algorithm for general rectangular matrices predicts significant speedups over ScaLAPACK.
43
Gaussian elimination is not optimal
Volker Strassen · Numerische Mathematik · 1969 · 2.5K citations
Mathematical Programming, Engineering, Gaussian Elimination +5
Gaussian Elimination is not Optimal
Volker Trassen · 2005 · 453 citations
Mathematical Programming, Numerical Analysis, Usual Algorithms +16