通常、formula_1行列同士の積を計算するにはformula_2の時間が必要だが、このアルゴリズムを用いると、formula_3の時間で計算できる。