カラツバ、ガウス、ストラッセン乗算の一般的な考え方


19

乗算アルゴリズムで使用されるID

非常に密接に関連しているようです。共通の抽象的なフレームワーク/一般化はありますか?


3
シェーンハーゲの漸近和不等式を調べます。
ユヴァルフィルマス

あなたはどのアイデンティティについて話しているのですか?答えるために3つの記事すべてを読むことになっていますか?質問に関連情報を追加してください。
ラファエル

1
@Raphael:アルゴリズムの基礎となるアイデンティティ。3つの乗算で4つの数値乗算、7で8つの行列乗算を
表します。– sdcvvc

回答:


5

古典的なフレームワークは、双線形アルゴリズムとテンソルランク分解の1つです。基本的に、あなたは、双線形マップに関連した3ウェイテンソル構築f(A,B)=AB、係数を基に、その後、(ランク1テンソルの和として、それの分解を探しすなわち、Ti,j,k=uivjwkの形式)これについては、たとえば、Bläserによるこの記事や、Bürgisser、Clausen、Shokrollahi、代数的複雑性理論による本などでさらに詳しく説明されています。

私が理解している限り、Sureshが彼の答えで言及しているグループ表現に関する再定式化は後のものであり、主題への最初のアプローチには適していないことがわかります(もちろん、それは私の側のバイアスかもしれません)。


1
これは正解です。欠けている側面の1つは、カラツバのアルゴリズムと高速(正方)行列乗算アルゴリズムの両方の背後にあるテンソル化/分割統治です。
ユヴァルフィルマス

8

あなたの質問に対する部分的な答えは、最初にCohnとUmansによって開発され、さらにCohn、Kleinberg、SzegedyおよびUmansによって開発されたグループ理論的アプローチです。行列乗算のためにStrassenとCoppersmith-Winogradを「ソート」することができます。


これは本当にポイントを見逃しています。グループ理論的アプローチは、そもそもそのようなアイデンティティを思い付く方法の1つにすぎません。
ユヴァルフィルマス
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.