tion::::简介.施特拉森演算法在1969年由提出来，是第一个时间复杂度低于formula_2的矩阵乘法演算法。由于演算法简单理解，且为第一个被提出来的特性，常被演算法教材拿来当作主定理（）计算时间复杂度的例子。另外，因为施特拉森演算法证明了矩阵乘法存在时间复杂度低于formula_2的演算法，使得更多学者投入研究，寻找更快的演算法。
算法.
定义.设formula_4、formula_5为域formula_6上的方矩阵。求两者的积formula_7