Strassen's algorithm is not optimally accurate - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Strassen's algorithm is not optimally accurate

Résumé

We propose a non-commutative algorithm for multiplying 2×2 matrices using 7 coefficient products. This algorithm reaches simultaneously a better accuracy in practice compared to previously known such fast algorithms, and a time complexity bound with the best currently known leading term (obtained via alternate basis sparsification). To build this algorithm, we consider matrix and tensor norms bounds governing the stability and accuracy of numerical matrix multiplication. First, we reduce those bounds by minimizing a growth factor along the unique orbit of Strassen's 2×2-matrix multiplication tensor decomposition. Second, we develop heuristics for minimizing the number of operations required to realize a given bilinear formula, while further improving its accuracy. Third, we perform an alternate basis sparsification that improves on the time complexity constant and mostly preserves the overall accuracy.
Fichier principal
Vignette du fichier
strassenaccurate.pdf (714.98 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04441653 , version 1 (07-02-2024)
hal-04441653 , version 2 (27-06-2024)

Identifiants

Citer

Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic. Strassen's algorithm is not optimally accurate. 49th International Symposium on Symbolic and Algebraic Computation (ISSAC'24), ACM SIGSAM, Jul 2024, Raleigh, NC, United States. pp.254-263, ⟨10.1145/3666000.3669697⟩. ⟨hal-04441653v2⟩
322 Consultations
102 Téléchargements

Altmetric

Partager

More