Description of fast matrix multiplication algorithm: ⟨10×20×20:2407⟩

Algorithm type

X2⁢Y12⁢Z3+X2⁢Y9⁢Z4+X⁢Y12⁢Z2+2⁢X5⁢Y3⁢Z6+8⁢X2⁢Y9⁢Z3+X⁢Y11⁢Z2+X⁢Y10⁢Z2+6⁢X6⁢Y4⁢Z2+192⁢X4⁢Y4⁢Z4+8⁢X4⁢Y2⁢Z6+X2⁢Y6⁢Z4+2⁢X⁢Y9⁢Z2+5⁢X4⁢Y2⁢Z5+X3⁢Y2⁢Z6+X2⁢Y7⁢Z2+5⁢X2⁢Y5⁢Z4+9⁢X⁢Y8⁢Z2+6⁢X4⁢Y4⁢Z2+9⁢X4⁢Y2⁢Z4+2⁢X3⁢Y6⁢Z+X3⁢Y2⁢Z5+64⁢X2⁢Y6⁢Z2+X2⁢Y5⁢Z3+2⁢X⁢Y7⁢Z2+2⁢X4⁢Y2⁢Z3+2⁢X2⁢Y6⁢Z+X2⁢Y3⁢Z4+X⁢Y7⁢Z+3⁢X⁢Y6⁢Z2+66⁢X4⁢Y2⁢Z2+3⁢X4⁢Y⁢Z3+8⁢X3⁢Y4⁢Z+318⁢X2⁢Y4⁢Z2+X2⁢Y3⁢Z3+63⁢X2⁢Y2⁢Z4+21⁢X⁢Y6⁢Z+X⁢Y5⁢Z2+X⁢Y⁢Z6+X3⁢Y⁢Z3+8⁢X2⁢Y4⁢Z+X2⁢Y2⁢Z3+X⁢Y4⁢Z2+10⁢X3⁢Y2⁢Z+X3⁢Y⁢Z2+22⁢X2⁢Y3⁢Z+443⁢X2⁢Y2⁢Z2+34⁢X2⁢Y⁢Z3+83⁢X⁢Y4⁢Z+39⁢X⁢Y3⁢Z2+98⁢X2⁢Y2⁢Z+24⁢X2⁢Y⁢Z2+40⁢X⁢Y3⁢Z+93⁢X⁢Y2⁢Z2+2⁢X⁢Y⁢Z3+126⁢X2⁢Y⁢Z+260⁢X⁢Y2⁢Z+113⁢X⁢Y⁢Z2+187⁢X⁢Y⁢ZX2Y12Z3X2Y9Z4XY12Z22X5Y3Z68X2Y9Z3XY11Z2XY10Z26X6Y4Z2192X4Y4Z48X4Y2Z6X2Y6Z42XY9Z25X4Y2Z5X3Y2Z6X2Y7Z25X2Y5Z49XY8Z26X4Y4Z29X4Y2Z42X3Y6ZX3Y2Z564X2Y6Z2X2Y5Z32XY7Z22X4Y2Z32X2Y6ZX2Y3Z4XY7Z3XY6Z266X4Y2Z23X4YZ38X3Y4Z318X2Y4Z2X2Y3Z363X2Y2Z421XY6ZXY5Z2XYZ6X3YZ38X2Y4ZX2Y2Z3XY4Z210X3Y2ZX3YZ222X2Y3Z443X2Y2Z234X2YZ383XY4Z39XY3Z298X2Y2Z24X2YZ240XY3Z93XY2Z22XYZ3126X2YZ260XY2Z113XYZ2187XYZX^2*Y^12*Z^3+X^2*Y^9*Z^4+X*Y^12*Z^2+2*X^5*Y^3*Z^6+8*X^2*Y^9*Z^3+X*Y^11*Z^2+X*Y^10*Z^2+6*X^6*Y^4*Z^2+192*X^4*Y^4*Z^4+8*X^4*Y^2*Z^6+X^2*Y^6*Z^4+2*X*Y^9*Z^2+5*X^4*Y^2*Z^5+X^3*Y^2*Z^6+X^2*Y^7*Z^2+5*X^2*Y^5*Z^4+9*X*Y^8*Z^2+6*X^4*Y^4*Z^2+9*X^4*Y^2*Z^4+2*X^3*Y^6*Z+X^3*Y^2*Z^5+64*X^2*Y^6*Z^2+X^2*Y^5*Z^3+2*X*Y^7*Z^2+2*X^4*Y^2*Z^3+2*X^2*Y^6*Z+X^2*Y^3*Z^4+X*Y^7*Z+3*X*Y^6*Z^2+66*X^4*Y^2*Z^2+3*X^4*Y*Z^3+8*X^3*Y^4*Z+318*X^2*Y^4*Z^2+X^2*Y^3*Z^3+63*X^2*Y^2*Z^4+21*X*Y^6*Z+X*Y^5*Z^2+X*Y*Z^6+X^3*Y*Z^3+8*X^2*Y^4*Z+X^2*Y^2*Z^3+X*Y^4*Z^2+10*X^3*Y^2*Z+X^3*Y*Z^2+22*X^2*Y^3*Z+443*X^2*Y^2*Z^2+34*X^2*Y*Z^3+83*X*Y^4*Z+39*X*Y^3*Z^2+98*X^2*Y^2*Z+24*X^2*Y*Z^2+40*X*Y^3*Z+93*X*Y^2*Z^2+2*X*Y*Z^3+126*X^2*Y*Z+260*X*Y^2*Z+113*X*Y*Z^2+187*X*Y*Z

Algorithm definition

The algorithm ⟨10×20×20:2407⟩ is serendipitous tensor product (⟨5×5×5:93⟩ - 10) ⊗ ⟨2×4×4:26⟩ +⟨2×4×12:77⟩ +⟨2×4×8:51⟩ +⟨6×4×4:73⟩ +⟨4×4×4:48⟩.

Algorithm description

These encodings are given in compressed text format using the maple computer algebra system. In each cases, the last line could be understood as a description of the encoding with respect to classical matrix multiplication algorithm. As these outputs are structured, one can construct easily a parser to its favorite format using the maple documentation without this software.


Back to main table