Como provar que a multiplicação de duas matrizes 2x2 não pode ser feita em menos de 7 multiplicações?


19

Na multiplicação de matrizes de Strassen, afirmamos um fato estranho (pelo menos para mim): a multiplicação de matrizes de dois 2 x 2 exige 7 multiplicações.

Pergunta: Como provar que é impossível multiplicar duas matrizes 2 x 2 em 6 multiplicações?

Observe que as matrizes estão sobre números inteiros.


Existem outros algoritmos de multiplicação de matrizes que podem ser mais rápidos. Este artigo da Web de uma classe Stanford CME 323 fornece detalhes sobre o algoritmo de Strassen, multiplicação de matrizes: algoritmo de Strassen . Há um tópico da Wikipedia, o algoritmo Strassen, que entra em detalhes e possui links para informações adicionais.
Richard Chambers

@RichardChambers Observe que o algoritmo de Strassen tem multiplicações. Parece-me plausível que esse limite inferior seja verdadeiro. 7
Stella Biderman

Como formulado, esta pergunta está errada. Existem muitas matrizes que podem ser multiplicadas com multiplicações. Você quer dizer para pedir uma prova de que, no pior dos casos, leva 7 aka existe alguma matriz que requer 76
Stella Biderman

@StellaBiderman sim, eu vi que o Strassen tem 7 multiplicações. Não olhei para o outro, mais rápido e algoritmos com menor complexidade. Pelo que sei, eles usam a mesma abordagem sub-matriz que a de Strassen, mas não tenho certeza. Eu estava apenas adicionando algumas informações adicionais sobre o Strassen especificamente.
Richard Chambers

5
Parece haver algo faltando na sua pergunta. Eu posso facilmente dar um algoritmo que pode multiplicar pelo menos algumas matrizes com 0 multiplicações. Provavelmente há uma restrição que você não está mencionando.
Jörg W Mittag

Respostas:


23

Este é um resultado clássico de Winograd: Na multiplicação de matrizes 2x2 .

n×nO(nα)n,n,nn×nO(nα)O(nlog27)R(2,2,2)7

R(2,2,2)=72,2,2


7

Você pode encontrar o resultado em:

S.Winograd, Na multiplicação de matrizes 2 × 2 , Álgebra Linear e Appl. 4 (1971), 381-388, MR0297115 (45: 6173).

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.