ACM Transactions on Algorithms · 2005 · 254 citations · 31 references
Sparse RepresentationEngineeringMatrix FactorizationMatrix AnalysisArray ComputingComputer EngineeringRing RAlgebraic MethodComputational ComplexityParallel ProgrammingComputer ScienceMatrix TheoryParallel ComputingB TwoApplied AlgebraNew Algorithm
Let A and B two n × n matrices over a ring R (e.g., the reals or the integers) each containing at most m nonzero elements. We present a new algorithm that multiplies A and B using O ( m 0.7 n 1.2 + n 2+ o (1) ) algebraic operations (i.e., multiplications, additions and subtractions) over R . The naïve matrix multiplication algorithm, on the other hand, may need to perform Ω( mn ) operations to accomplish the same task. For m ≤ n 1.14 , the new algorithm performs an almost optimal number of only n 2+ o (1) operations. For m ≤ n 1.68 , the new algorithm is also faster than the best known matrix multiplication algorithm for dense matrices which uses O ( n 2.38 ) algebraic operations. The new algorithm is obtained using a surprisingly straightforward combination of a simple combinatorial idea and existing fast rectangular matrix multiplication algorithms. We also obtain improved algorithms for the multiplication of more than two sparse matrices. As the known fast rectangular matrix multiplication algorithms are far from being practical, our result, at least for now, is only of theoretical value.
31
Adhi Harmoko S, M.Komp, Joseph Marie Jacquard et al. · 2005 · 18.3K citations
Mathematical Programming, Computational Science, Engineering +6
Gaussian elimination is not optimal
Volker Strassen · Numerische Mathematik · 1969 · 2.5K citations
Mathematical Programming, Engineering, Gaussian Elimination +5
Noga Alon, Raphael Yuster, Uri Zwick · Journal of the ACM · 1995 · 984 citations · Full text