Алгоритм Копперсмита — Винограда

Алгоритм Копперсмита—Винограда — алгоритм умножения квадратных матриц, предложенный в 1987 году Д. Копперсмитом и Ш. Виноградом. В исходной версии асимптотическая сложность алгоритма составляла $O(n^{2.3755})$ , где $n$ — размер стороны матрицы. Алгоритм Копперсмита—Винограда, с учетом серии улучшений и доработок в последующие годы, обладает лучшей асимптотикой среди известных алгоритмов умножения матриц.

На практике алгоритм Копперсмита—Винограда не используется, так как он имеет очень большую константу пропорциональности и начинает выигрывать в быстродействии у других известных алгоритмов только для матриц, размер которых превышает память современных компьютеров.

Улучшения алгоритма

В 2010 Эндрю Стотерс усовершенствовал алгоритм до $O(n^{2.374}).$ [1]
В 2011 году Вирджиния Вильямс усовершенствовала алгоритм ещё раз — $O(n^{2.3728642}).$ [2]
В 2014 году Франсуа Ле Галль упростил метод Вильямс и получил новую улучшенную оценку $O(n^{2.3728639}).$ [3]

См. также

Алгоритм Штрассена
Гипотеза Штрассена
Открытые математические проблемы — определить точную нижнюю границу сложности алгоритма умножения матриц.

Примечания

Stothers, Andrew (2010), On the Complexity of Matrix Multiplication, <https://www.era.lib.ed.ac.uk/handle/1842/4734>.
Williams, Virginia (2011), Breaking the Coppersmith-Winograd barrier
«Even if someone manages to prove one of the conjectures—thereby demonstrating that ω = 2—the wreath product approach is unlikely to be applicable to the large matrix problems that arise in practice. (…) the input matrices must be astronomically large for the difference in time to be apparent.»Le Gall, François (2014), Powers of tensors and fast matrix multiplication, Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)

Литература

Henry Cohn, Robert Kleinberg, Balazs Szegedy, and Chris Umans. Group-theoretic Algorithms for Matrix Multiplication. arXiv:math.GR/0511460. Proceedings of the 46th Annual Symposium on Foundations of Computer Science, 23-25 October 2005, Pittsburgh, PA, IEEE Computer Society, pp. 379—388.
Don Coppersmith and Shmuel Winograd. Matrix multiplication via arithmetic progressions. Journal of Symbolic Computation, 9:251-280, 1990.
Robinson, Sara (2005), Toward an Optimal Algorithm for Matrix Multiplication, SIAM News Т. 38 (9), <http://www.siam.org/pdf/news/174.pdf>. Проверено 20 февраля 2009. Архивная копия от 31 марта 2010 на Wayback Machine.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Stothers, Andrew (2010), On the Complexity of Matrix Multiplication, <https://www.era.lib.ed.ac.uk/handle/1842/4734>.

[2] Williams, Virginia (2011), Breaking the Coppersmith-Winograd barrier

[3] «Even if someone manages to prove one of the conjectures—thereby demonstrating that ω = 2—the wreath product approach is unlikely to be applicable to the large matrix problems that arise in practice. (…) the input matrices must be astronomically large for the difference in time to be apparent.»Le Gall, François (2014), Powers of tensors and fast matrix multiplication, Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)